|
Escape from the Design and Verification Babel
L'avanzamento tecnologico nella produzione dei circuiti integrati richiede sempre nuovi strumenti e nuove tecniche di progettazione per affrontare problematiche e ottimizzazioni di larga scala in scenari in cui la linea di demarcazione tra hardware e software scompare aprendo la strada a nuove convenienti opportunità. Le idee del gruppo di ricerca Electronic System Design (ESD) trovano in EDALab rapida applicazione e ingegnerizzazione.
Suite di librerie e strumenti per la manipolazione di descrizioni di componenti hardware in SystemC, VHDL e Verilog. Per maggiori informazioni si rimanda al sito dedicato. |
|
|
Modulo di estensione di radCASE, strumento per la progettazione di software embedded. radCHECK mette a disposizione dello sviluppatore un intero flusso di verifica basato su tecniche formali. Questo strumento è commercializzato da STM Products e sono disponibili approfondimenti e maggiori informazioni presso il sito www.verificationsuite.com
|
|
|
Libreria SystemC per la simulazione di reti di comunicazione a commutazione di pacchetto (Internet, ethernet, WLAN, bus di campo, Zigbee). La libreria è disponibile come software open source su SourceForge.
|
|
|
|
Strumento per la simulazione di sistemi complessi che permette di utilizzare in maniera congiunta diversi simulatori, ciascuno specifico per la natura del componente da simulare: componenti hardware (H), moduli software (S) ed elementi di rete (N).
|
|
|
