Metodi ufficiali pratici per la progettazione hardware
Quale parte della collana "Relazioni di ricerca ESPRIT" prodotta da Springer Verlag, è stata pubblicata una relazione sul tema "Metodi ufficiali pratici per la progettazione hardware". La relazione esamina dettagliatamente le conclusioni e la metodologia del progetto FORMAT (Formal Methods in Hardware Verification), finanziato nel quadro dello specifico programma di ricerca della Comunità europea nel settore delle tecnologie dell'informazione (ESPRIT). Il progetto FORMAT si proponeva di ridurre i tempi si progettazione per i moduli hardware complessi mediante la fornitura di una serie di metodi a livello di sistema e strumenti di progettazione che supportino una versione migliorata di VHDL. La relazione è suddivisa in tre parti principali. La prima offre una visione d'insieme degli obiettivi e degli approcci principali del progetto FORMAT. La seconda parte prende in esame alcuni degli esperimenti eseguiti dalle società del settore industriale appartenenti al consorzio. La parte terza, infine, contiene materiale inerente all'attività pratica effettuata nell'ambito del progetto, trattando in sezioni distinte le tecnologie chiave che sono alla base degli strumenti di sintesi e verifica.