| Attività | Crediti | Periodo | Docenti | Orario |
|---|---|---|---|---|
| Teoria | 3 | I semestre | Franco Fummi, Graziano Pravadelli, Tiziano Villa | |
| Laboratorio | 3 | I semestre | Franco Fummi, Graziano Pravadelli, Tiziano Villa |
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.
.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.
| Titolo | Formato (Lingua, Dimensione, Data pubblicazione) |
| Calendario delle Lezioni |
 vnd.ms-excel (it, 28 KB, 19/11/19)
|
| Documenti per progetti con Ariadne |
 x-gzip (it, 917 KB, 30/10/19)
|
| Nota per sorgenti Espresso e SIS |
plain (it, 0 KB, 31/10/19)
|
| Sintesi Logica - Esercitazioni |
 pdf (it, 286 KB, 14/10/19)
|
| Sintesi Logica - Laboratorio CUDD |
x-gzip (it, 1560 KB, 31/10/19)
|
| Sintesi Logica - Presentazione CUDD |
pdf (it, 427 KB, 31/10/19)
|
| Sintesi Logica - Presentazione Espresso |
pdf (it, 574 KB, 31/10/19)
|
| Sintesi Logica - Presentazione SIS |
pdf (it, 1478 KB, 31/10/19)
|
| Sintesi Logica - Teoria |
x-gzip (en, 1965 KB, 14/10/19)
|
