Specifiche eseguibili per un livello di astrazione superiore
Dal momento che la complessità dei sistemi elettronici aumenta sempre più e i tempi per la progettazione diventano sempre più stringenti, cresce sempre più l'interesse per nuovi strumenti e metodi di automatizzazione della progettazione elettronica. Un interessante sviluppo, come potenziale sostituto delle specifiche scritte convenzionali, è rappresentato dall'adozione di specifiche eseguibili, che promettono chiarezza e completezza. Affinché i progettisti possano sviluppare tali specifiche eseguibili, il progetto europeo ODETTE ha introdotto metodi orientati a oggetti nella progettazione di hardware digitale per sistemi software/hardware integrati. Anche se i metodi orientati a oggetti hanno rappresentato una fase naturale nello sviluppo del software per un lungo periodo, fino a poco tempo fa non era possibile adoperarli nella progettazione di circuiti integrati. Con la definizione di estensioni orientate a oggetti per il linguaggio di descrizione hardware SystemC, è stato reso possibile lo sviluppo di strumenti di sintesi a supporto della progettazione di circuiti integrati ad alto livello di astrazione. Il sintetizzatore di alto livello proposto dai partner del progetto presso i laboratori OFFIS supporta la transizione da una specifica di livello algoritmico di un sistema digitale a una struttura RTL (Register-Transfer-Level) che ne implementa il funzionamento. Il modello hardware risultante presenta gli stessi risultati di simulazione del modello di input, ma soprattutto può essere elaborato dagli attuali strumenti EDA (Electronic Design Automation). Il sottoinsieme di sintesi SystemC esteso contiene concetti di linguaggio che mantengono la promessa di una maggiore produttività dei componenti hardware/software integrati. L'architettura flessibile del sintetizzatore, inoltre, consente futuri miglioramenti, tra cui il supporto per ulteriori tipi di dati che originariamente non erano stati considerati e il supporto per sottoinsiemi di linguaggi di input alternativi.