I metodi formali per la progettazione dell’hardware trovano ancora un uso limitato nell’industria. Tuttavia, la pratica attuale deve cambiare per far fronte alla diminuzione dei tempi di progettazione e ai crescenti requisiti di qualità. Questo rapporto di ricerca presenta i risultati del progetto Esprit FORMAT (metodi formali nella verifica dell'hardware) che ha coinvolto la collaborazione delle aziende Siemens, Italtel, Telefonica I+D, TGI e AHL, l'istituto di ricerca OFFIS e le università di Madrid e Passau. Il lavoro presentato coinvolge linguaggi di specifica avanzati per la progettazione hardware che sono intuitivi per il progettista, come diagrammi temporali e linguaggi basati sullo stato, così come la loro relazione con VHDL e linguaggi formali come la logica temporale e un calcolo algebrico dei processi. Vengono inoltre presentati i risultati delle prove sperimentali degli strumenti.
caricamento...
