Laurea a distanza in Ingegneria Informatica

  Reti Logiche Informazioni Generali | Dove Iscriversi | Piano degli Studi

Prof. Paolo Prinetto
(Professore Ordinario al Politecnico di Torino)

40 ore di videolezioni trasmesse in televisione

Scopi

- Inquadrare la fase di progetto di un sistema digitale all'interno del ciclo di vita del medesimo; - Presentare le metodologie principali di progetto di circuiti combinatori e sequenziali sincroni; - Analizzare il ruolo degli strumenti automatici di ausilio alla progettazione di sistemi digitali (strumenti CAE).

Contenuti

- Il progetto:
Il ciclo di vita di un sistema digitale;
La fase di progetto;
Metodologie di descrizione dei progetti.
- Introduzione all'Algebra Booleana
- Strumenti automatici di ausilio alla progettazione di sistemi digitali:
Organizzazione di un ambiente CAE;
L'immissione del progetto;
La sintesi automatica;
La verifica del progetto.
- Circuiti combinatori:
Metodologie di analisi;
Metodologie di sintesi manuale;
Metodologie di sintesi automatica;
Esempi applicativi.
- Circuiti sequenziali sincroni:
Metodologie di analisi;
Metodologie di sintesi manuale;
Metodologie di sintesi automatica;
Esempi applicativi
- Introduzione alle problematiche del collaudo.

Testi

F. CORNO, P. PRINETTO, Reti logiche (copia dei lucidi), Consorzio NETTUNO, Libera Editrice Universitaria Levrotto & Bella , Torino, 1995

A. BENSO, F. CORNO, P. PRINETTO, Reti Logiche (Esercizi commentati e risolti), ed. Esculapio, Bologna 1997

Prerequisiti

Elettronica II, Calcolatori Elettronici I, Fondamenti di Informatica I, Fondamenti di Informatica II.

Esercitazioni

Esercizi illustrativi degli argomenti trattati.

Titoli delle videolezioni

1Ciclo di vita di un sistemaPaolo Prinetto
2Il progettoPaolo Prinetto
3Le fasi di un progettoPaolo Prinetto
4L'algebra booleanaPaolo Prinetto
5Proprietà delle Algebre BooleanePaolo Prinetto
6CubiPaolo Prinetto
7CoperturePaolo Prinetto
8Esercizi di coperturePaolo Prinetto
9Introduzione ai sistemi CAEPaolo Prinetto
10La simulazione digitalePaolo Prinetto
11La sintesi automaticaPaolo Prinetto
12Introduzione ai circuiti logiciPaolo Prinetto
13Analisi e sintesi di circuiti combinatoriPaolo Prinetto
14Sintesi manuale di circuiti combinatori a livello logicoPaolo Prinetto
15Sintesi automatica di circuiti combinatori a livello logicoPaolo Prinetto
16Sintesi logica con tecniche alternativePaolo Prinetto
17Sintesi di circuiti combinatori a livello RT (blocchi funzionali)Paolo Prinetto
18Sintesi di circuiti combinatori a livello RT (metodologia di sintesi)Paolo Prinetto
19Sintesi di circuiti combinatori a livello RT (technology mapping)Paolo Prinetto
20Esercizi di sintesi di circuiti combinatoriPaolo Prinetto
21LATCHe FLIP-FLOPPaolo Prinetto
22Introduzione alle FFMPaolo Prinetto
23Classificazione delle FFMPaolo Prinetto
24Analisi e sintesi di FSM sempliciPaolo Prinetto
25Sintesi manuale di FSM semplici a livello logico (I parte)Paolo Prinetto
26Sintesi manuale di FSM semplici a livello logico (II parte)Paolo Prinetto
27Sintesi automatica di FSM semplici a livello logicoPaolo Prinetto
28Blocchi sequenziali a livello RTPaolo Prinetto
29Regole di buon progettoPaolo Prinetto
30Sintesi di FSM semplici a livello RTPaolo Prinetto
31Esercizi di sintesi di FSM semplici (I parte)Paolo Prinetto
32Esercizi di sintesi di FSM semplici (II parte)Paolo Prinetto
33Introduzione al collaudo dei sistemi digitali (I parte)Paolo Prinetto
34Introduzione al collaudo dei sistemi digitali (II parte)Paolo Prinetto
35Introduzione al collaudo dei sistemi digitali (III parte)Paolo Prinetto
36Introduzione al collaudo dei sistemi digitali (IV parte)Paolo Prinetto
37Design for testability (I parte)Paolo Prinetto
38Design for testability (II parte)Paolo Prinetto
39BISTPaolo Prinetto
40Boundary scanPaolo Prinetto
indietro