Il corso presenta le principali tecniche algoritmiche alla base delle metodologie di progettazione automatica di sistemi embedded. Si analizzano le più importanti strutture dati per rappresentare e ottimizzare descrizioni di sistemi digitali, e si descrivono gli algoritmi utilizzati per la sintesi, verifica e collaudo di sistemi embedded.
Rappresentazioni di funzioni logiche, logica a piu' valori, diagrammi di decisione binaria, reti a piu' livelli, ottimizzazione di reti logiche rispetto ad area, tempo e consumo energetico. Macchine a stati e circuiti sequenziali, ottimizzazione micro-architetturale.
Definizione dei difetti, caratterizzazione dei difetti, modellazione dei guasti, simulazione dei guasti, modellazione degli errori, simulazione degli errori. Generazione delle sequenze di collaudo per circuiti combinatori e per circuiti sequenziali, circuiti autocollaudanti, tolleranza ai guasti, circuiti di tolleranza ai guasti.
Verifica dinamica basata su asserzioni. Tecniche per la valutazione della qualità delle asserzioni: copertura delle asserzioni, identificazione di asserzioni vacue. Tecniche per la generazione automatica di asserzioni.
| Autore | Titolo | Casa editrice | Anno | ISBN | Note |
| Gary D.Hachtel, Fabio Somenzi | Logic Synthesis and Verification Algorithms (Edizione 1) | Kluwer Academic Publishers | 1996 | 0792397460 |
.L'esame consiste in:
- una prova scritta contenente domande ed esercizi;
- un elaborato relativo a una delle tre tematiche trattate nel corso da svolgere con la supervisione di uno dei tre docenti del corso a scelta dello studente.
Il voto finale sara' ottenuto dallo dalla seguente formula: 1/2 * voto scritto + 1/2 voto progetto.
Ariadne - 1
(pdf, en, 1146 KB, 19/10/20)
Ariadne - 2 (Progetti)
(pdf, it, 117 KB, 22/10/20)
Calendario dell'insegnamento
(xslx, it, 13 KB, 08/10/20)
Sintesi Logica - Esercitazioni
(pdf, en, 294 KB, 30/09/20)
Sintesi Logica - Laboratorio CUDD
(x-gzip, en, 4636 KB, 06/11/20)
Sintesi Logica - Presentazione CUDD
(pdf, it, 427 KB, 05/11/20)
Sintesi Logica - Presentazione Espresso
(pdf, en, 574 KB, 22/10/20)
Sintesi Logica - Presentazione SIS
(pdf, it, 1478 KB, 22/10/20)
Sintesi Logica - Teoria
(x-gzip, en, 1965 KB, 30/09/20)
