Software per sistemi embedded (2011/2012)

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 3-ott-2011 al 31-gen-2012.

Orario lezioni

I semestre
Giorno Ora Tipo Luogo Note
giovedì 11.30 - 13.30 lezione Aula C  
venerdì 8.30 - 11.30 lezione Aula C  

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.

Modalità d'esame

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

Materiale didattico

Documenti

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

I dati relativi all'AA 2011/2012 non sono ancora disponibili