Opracowano metodologię specyfikacji systemów wbudowanych w języku SystemC, umożliwiające wykonanie automatycznej syntezy systemów wbudowanych na podstawie specyfikacji w tym języku. Opracowano metodę, ... więcej

Opracowano metodologię specyfikacji systemów wbudowanych w języku SystemC, umożliwiające wykonanie automatycznej syntezy systemów wbudowanych na podstawie specyfikacji w tym języku. Opracowano metodę, która na podstawie tzw. atrybutowanego grafu zadań, specyfikującego funkcję systemu wbudowanego i zawierającego informację o alokacji i przydziale zadań do zasobów, generuje wyspecjalizowaną topologię dla architektury systemu implementowanego w formie sieci jednoukładowej NOC. Efektem pracy jest również metoda symbolicznej syntezy RTL-owskiej. Na podstawie specyfikacji projektowanego systemu cyfrowego na poziomie przesłań międzyrejestrowych (RTL), generowana jest struktura systemu w formie sieci funkcji wielowartościowych i binarnych. Następnie stosowane są metody syntezy symbolicznej minimalizującej koszt implementacji funkcji wielowartościowych w technologii FPGA. Opracowana została również nowa metoda generacji ścieżek testowych wspomagających walidację systemów obiektowych. Skupiono się w niej na obiektach pojawiających się w systemie i na ich interakcjach.