Laurea magistrale in Ingegneria e scienze informatiche

Laurea magistrale in Ingegneria e scienze informatiche

Software per sistemi embedded (2019/2020)

Codice insegnamento
4S02912
Crediti
6
Coordinatore
Tiziano Villa
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano

Pagine collegate al corso



L'insegnamento è organizzato come segue:
Attività Crediti Periodo Docenti
Teoria 3 I semestre Franco Fummi
Graziano Pravadelli
Tiziano Villa
Laboratorio 3 I semestre Franco Fummi
Graziano Pravadelli
Tiziano Villa

Vai all'orario delle lezioni

Obiettivi formativi

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.

Programma

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.

Modalità d'esame

.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.

Materiale didattico 
Attività Titolo Formato (Lingua, Dimensione, Data pubblicazione)
Teoria Calendario delle Lezioni  vnd.ms-excel vnd.ms-excel (it, 28 KB, 19/11/19)
Teoria Documenti per progetti con Ariadne  x-gzip x-gzip (it, 917,282 KB, 30/10/19)
Teoria Nota per sorgenti Espresso e SIS plain plain (it, 0,376 KB, 31/10/19)
Teoria Sintesi Logica - Esercitazioni  pdf pdf (it, 286,32 KB, 14/10/19)
Teoria Sintesi Logica - Laboratorio CUDD  x-gzip x-gzip (it, 1.560,285 KB, 31/10/19)
Teoria Sintesi Logica - Presentazione CUDD  pdf pdf (it, 427,33 KB, 31/10/19)
Teoria Sintesi Logica - Presentazione Espresso  pdf pdf (it, 574,172 KB, 31/10/19)
Teoria Sintesi Logica - Presentazione SIS  pdf pdf (it, 1.478,679 KB, 31/10/19)
Teoria Sintesi Logica - Teoria  x-gzip x-gzip (en, 1.965,27 KB, 14/10/19)




© 2002 - 2019  Universit√† degli studi di Verona
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234