Laurea magistrale in Ingegneria e scienze informatiche

Software per sistemi embedded (2010/2011)

Codice insegnamento 4S02912 Docenti Tiziano Villa Franco Fummi Graziano Pravadelli Coordinatore Tiziano Villa crediti 6 Settore disciplinare INF/01 - INFORMATICA Lingua di erogazione Italiano Periodo I semestre dal 4-ott-2010 al 31-gen-2011.

Pagine collegate Avvisi relativi al corso Seminari relativi al corso

Orario lezioni

Obiettivi formativi

Il corso presenta le principali tecniche algoritmiche alla base delle metodologie di progettazione automatica di sistemi embedded.
Si analizzano le piu' 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.

Copertura delle asserzioni, identificazione di asserzioni vacue, generazione automatica di checker.

Modalita d'esame

Prova scritta (ON/OFF) più elaborato relativo ad una delle tre tematiche.

Materiale didattico
Titolo	Formato (Lingua, Dimensione, Data pubblicazione)
Calendario del corso	pdf (it, 30,884 KB, 31/10/10)
Presentazione del corso	pdf (it, 839,12 KB, 31/10/10)
Sintesi logica - Esercitazioni	pdf (it, 169,057 KB, 31/10/10)
Sintesi logica - Teoria	x-gzip (en, 1.733,045 KB, 31/10/10)

Statistiche per i requisiti di trasparenza (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

Valori relativi all'AA 2010/2011 calcolati su un campione di 10 iscritti. I valori in percentuale sono arrotondati al numero intero più vicino.