Politecnico di Torino
Politecnico di Torino
   
Login  
en
Politecnico di Torino
Anno Accademico 2014/15
02LVNOV, 02LVNOQ
Synthesis and optimization of digital systems
Corso di Laurea Magistrale in Ingegneria Informatica (Computer Engineering) - Torino
Corso di Laurea Magistrale in Ingegneria Elettronica (Electronic Engineering) - Torino
Docente Qualifica Settore Lez Es Lab Anni incarico
Calimera Andrea   RC ING-INF/05 30 10 20 5
SSD CFU Attivita' formative Ambiti disciplinari
ING-INF/05 6 B - Caratterizzanti Ingegneria informatica
ORA-01722: invalid number
Presentazione
The course is taught in English.
In questo corso vengono introdotti ed approfonditi gli argomenti legati alla sintesi ed ottimizzazione automatica di circuiti digitali implementati in tecnologia CMOS.
Risultati di apprendimento attesi
- Conoscenza dei flussi di progettazione automatica digitale con particolare enfasi sul concetto di sintesi/ottimizzazione ed i rispettivi strumenti CAD
- Modellistica dei circuiti digitali e delle rispettive strutture dati utilizzate negli strumenti CAD
- Apprendimento dei principali algoritmi di sintesi automatica a livello comportamentale e logico
- Comprensione delle tecniche di ottimizzazione e dei relativi algoritmi per diverse funzioni di costo (Area, Frequenza, Consumo di Potenza)
- Utilizzo di strumenti CAD industriali, di tecnologie CMOS commerciali e del linguaggio di scripting TCL
Prerequisiti / Conoscenze pregresse
- Programmazione software;
- Elettronica digitale di base (funzionamento dei dispositivi CMOS, reti logiche ed architettura dei calcolatori);
- Linguaggio di descrizione dell'hardware (VHDL/VERILOG).
Programma
- Introduzione alla progettazione automatica di sistemi digitali integrati e formalizzazione dei concetti base di modellistica, sintesi ed ottimizzazione circuitale (1 credito)
- Principi di progettazione automatica e relativi algoritmi a diversi livelli di astrazione (3 crediti):
o Algoritmi di sintesi ed ottimizzazione di circuiti digitali a livello comportamentale (algoritmi di Scheduling e Sharing/Binding);
o Algoritmi di sintesi ed ottimizzazione di circuiti digitali a livello logico (metodi Booleani ed Algebrici)
o Mapping tecnologico (metodi Booleani e Strutturali)
- Principi di progettazione automatica per circuiti a basso consumo di potenza (2 crediti)
o Modelli e stima di potenza
o Tecniche di progettazione a livello comportamentale, logico e fisico