Software per sistemi embedded (2015/2016)

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 1-ott-2015 al 29-gen-2016.

Orario lezioni

I semestre
Giorno Ora Tipo Luogo Note
martedì 10.30 - 13.30 lezione Laboratorio didattico Laboratorio Ciberfisico  
mercoledì 10.30 - 12.30 lezione Laboratorio didattico Laboratorio Ciberfisico  

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.

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

Prova scritta (SI/NO) più elaborato relativo ad una delle tre tematiche.

Materiale didattico

Documenti

Opinione studenti frequentanti - 2015/2016


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

Statistiche esiti
Esiti Esami Esiti Percentuali Media voti Deviazione Standard
Positivi 100.0% 29 1
Respinti --
Assenti --
Ritirati --
Annullati --
Distribuzione degli esiti positivi
18 19 20 21 22 23 24 25 26 27 28 29 30 30 e Lode
0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 0.0% 8.3% 0.0% 16.6% 0.0% 16.6% 58.3%

Valori relativi all'AA 2015/2016 calcolati su un totale di 12 iscritti. I valori in percentuale sono arrotondati al numero intero più vicino.