Specyfikacje wykonywania dla wyższego poziomu abstrakcji
Ponieważ poziom złożoności systemów elektronicznych stale rośnie, a jednocześnie harmonogramy projektowania stają się coraz bardziej napięte, rośnie zainteresowanie nowych metodami i narzędziami automatyzacji projektowania elektronicznego. Interesujący postęp stanowi adopcja specyfikacji wykonywania jako potencjalnego zamiennika tradycyjnych specyfikacji pisemnych, co pozwoli wyeliminować niejasności i zapewnić kompletność. Aby projektanci mogli tworzyć takie specyfikacje wykonywania, europejski projekt ODETTE wprowadził metody obiektowe do projektowania sprzętu cyfrowego dla osadzonych systemów programowych/sprzętowych. Choć metody obiektowe od długiego czasu są stosowane w procesie tworzenia oprogramowania, do niedawna nie było możliwe ich użycie do projektowania układów scalonych. Dzięki zdefiniowaniu rozszerzeń obiektowych do języka opisu sprzętu SystemC stało się możliwe stworzenie narzędzi syntezy do projektowania układów scalonych na wysokim poziomie abstrakcji. Syntetyzer wysokiego poziomu, który został zaproponowany przez partnerów projektu w laboratoriach OFFIS, umożliwia przejście od specyfikacji poziomu algorytmu dla systemu cyfrowego do struktury poziomu transferu rejestru (RTL), implementując jego zachowanie. Wynikowy model sprzętowy zapewnia te same wyniki symulacji co model wejściowy, a co więcej, może być przetwarzany przy użyciu bieżących narzędzi EDA. Rozszerzony podzestaw syntezy języka SystemC zawiera koncepcje językowe, które umożliwią wyższą wydajność osadzonych elementów sprzętowych/programowych. Co więcej, elastyczna architektura syntetyzera pozwala na wprowadzanie dalszych ulepszeń, mogących obejmować nawet obsługę dodatkowych typów danych, które początkowo nie były rozpatrywane, a także alternatywnych podzestawów języków wejściowych.