Software per sistemi embedded (2009/2010)

Codice insegnamento
4S02912
Docenti
Tiziano Villa, Franco Fummi, Graziano Pravadelli
Coordinatore
Tiziano Villa
crediti
6
Altri corsi di studio in cui è offerto
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Periodo
I semestre dal 1-ott-2009 al 31-gen-2010.

Orario lezioni

I semestre
Giorno Ora Tipo Luogo Note
martedì 10.30 - 13.30 lezione Aula F  
giovedì 12.30 - 14.30 lezione Aula B  

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)

Statistiche esiti
Esiti Esami Esiti Percentuali Media voti Deviazione Standard
Positivi 33.33% 30 0
Respinti --
Assenti 66.66%
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% 0.0% 0.0% 0.0% 0.0% 0.0% 100.0%

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