| 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
|