Lezioni ed esercitazioni |
Ore |
Argomenti |
Contenuti specifici |
|
Introduzione all'analisi e sintesi di algoritmi |
|
4 |
Rappresentazione di funzioni logiche |
Algebra di Boole.
Diagrammi di decisione.
Espansioni canoniche.
|
4 |
Sintesi di circuiti a due valori logici |
Sintesi logica a due livelli.
Sintesi logica a piu' livelli.
Rappresentazione e sintesi di sistemi sequenziali.
Compilazione in una libreria di porte logiche.
|
6 |
Sintesi di circuiti a piu' valori logici |
|
4 |
Sintesi ad alto livello |
|
2 |
Algoritmi per la generazione della vista geometrica (layout) |
|
2 |
Simulazione, verifica e collaudo di circuiti logici |
Simulazione di circuiti logici.
Verifica di equivalenza di circuiti combinatori e sequenziali.
Collaudo di circuiti combinatori e sequenziali. |
6 |
Metodologie di temporizzazione |
Analisi dei ritardi.
Sistemi globalmente asincroni localmente sincroni (GALS).
Progetto insensibile alla latenza.
Circuiti asincroni. |
6 |
Architetture di sistemi digitali |
Temi avanzati di architettura del processore.
Sistemi riconfigurabili.
Sistemi incorporati e sintesi del software.
Calcolo pervasivo.
|
6 |
Totale ore lezioni ed esercitazioni |
40 |
di cui di esercitazione |
|
Ulteriori attività di didattica assistita
|
Ore
|
Laboratorio |
|
Seminari e/o testimonianze |
|
Corsi integrativi |
|
Visite guidate |
|
|
|
Totale ore dedicate ad altre attività di didattica
assistita |
0 |
Totale ore complessive |
40
|