Modellazione, simulazione e verifica di piattaforme per MPSoC (PRIN 2005)

Starting date
January 30, 2006
Duration (months)
24
Departments
Computer Science, Department of Engineering for Innovation Medicine
Managers or local contacts
Fummi Franco
URL
2005095528_005

Lo sforzo principale di questa unità di ricerca sarà speso nello sviluppo di un ambiente di modellazione/simulazione/verifica di
piattaforme che permetta lo sfruttamento dei seguenti aspetti:
° Co-simulazione hardware/rete integrando il linguaggio SystemC con simulatori di rete.
° Co-simulazione hardware/software/middleware integrando SystemC con software compilato per sistemi embedded.
° Verifica basata su asserzioni della parte hardware integrando il linguaggio SystemVerilog nell'ambiente di simulazione e/o
supportando descrizioni SystemC/PSL.
SystemC sarà il linguaggio di riferimento del progetto a livello di sistema. Al contrario, SystemVerilog verrà utilizzato per la verifica
basata su asserzioni a livello comportamentale e RT. Entrambi i linguaggi saranno integrati nell'ambiente di modellazione/verifica.
La metodologia sviluppata verrà esemplificata tramite la progettazione di almeno un dispositivo complesso basato su piattaforma.
Tale dispositivo verrà esaminato tramite le metodologie sviluppate dalle varie unità di ricerca.
In tale contesto, l'ambiente di co-simulazione e verifica sviluppato da questa unità di ricerca sarà utile durante l'intero flusso di
progettazione del sistema selezionato.
In particolare, questa unità di ricerca collaborerà a stretto contatto con UNITA' I, UNITA' 4 e UNITA' 5 durante la fase di
esplorazione e definizione della piattaforma. Quindi, riscontri sulle prestazioni verranno forniti all'UNITA' I durante la fase di
partizionamento HW/SW e all'UNITA' II per analizzare le problematiche relative ai protocolli di comunicazione e alle politiche di
instradamento dei NOC. Infine, la metodologia di verifica basata su asserzioni verrà utilizzata per fornire riscontri a TUTTE le
unità in modo da garantire la correttezza del dispositivo in ogni passo del flusso di progettazione.

Sponsors:

Ministero dell'Istruzione dell'Università e della Ricerca
Funds: assigned and managed by the department
Syllabus: COFIN - Progetti di Ricerca di Interesse Nazionale

Project participants

Franco Fummi
Full Professor
Giovanni Perbellini
Graziano Pravadelli
Full Professor
Davide Quaglia
Associate Professor
Research areas involved in the project
Sistemi ciberfisici
Embedded and cyber-physical systems

Activities

Research facilities

Share