CALCOLATORI ELETTRONICI MODULO 1: RETI LOGICHE

CALCOLATORI ELETTRONICI MODULO 1: RETI LOGICHE

_
iten
Ultimo aggiornamento 25/05/2021 13:39
Codice
66270
ANNO ACCADEMICO
2021/2022
CFU
6 cfu al 1° anno di 8719 INGEGNERIA INFORMATICA (L-8) GENOVA
SETTORE SCIENTIFICO DISCIPLINARE
ING-INF/05
LINGUA
Italiano
SEDE
GENOVA (INGEGNERIA INFORMATICA )
periodo
1° Semestre
moduli
Questo insegnamento è un modulo di:
materiale didattico

PRESENTAZIONE

Il corso è finalizzato a fornire le basi della logica e dell'aritmetica binaria, dell’analisi e del progetto dei sistemi digitali.

OBIETTIVI E CONTENUTI

OBIETTIVI FORMATIVI

Il corso introduce le nozioni e le metodologie per lo studio ed il progetto di sistemi digitali

OBIETTIVI FORMATIVI (DETTAGLIO) E RISULTATI DI APPRENDIMENTO

Al termine del corso lo studente che lo ha seguito con successo sarà in grado di capire, analizzare e progettare (a livello funzionale) semplici sistemi digitali basati su Macchine a Stati Finiti ed architetture digitali standard. 

PREREQUISITI

Nessuno.

Modalità didattiche

Il corso alterna lezioni frontali ed esercitazioni di laboratorio.

PROGRAMMA/CONTENUTO

1. Algebra booleana e reti combinatorie
- Trattazione classica che non richiede conoscenze preliminari.
2. Progetto di reti combinatorie
- Sintesi e minimizzazione con le mappe di Karnaugh.
- Reti Combinatorie standard
- Ritardi di propagazione.
3. Aritmetica binaria
- Trattazione classica.
- Reti aritmetiche.
4. Introduzione alle reti sequenziali
- Transizione intuitiva dalle reti combinatorie alle sequenziali.
- Struttura e funzionamento dei principali tipi di flip-flop.
- Caratteristiche dinamiche dei flip-flop.
5. Reti sincrone di flip-flop
- Introduzione alle reti sincrone di flip-flop.
- Reti sequenziali: registri e contatori.
- Tecniche di analisi temporale delle reti sincrone.
6. Reti sequenziali come Macchine a Stati Finiti
- Progetto della MSF, realizzata tramite i diagrammi ASM.
- Esercizi risolti di diagrammi ASM.
- Sintesi della MSF con tabelle di stato e mappe.
7. La Macchina a Stati Finiti come controllore di sistema.
- Progettazione di sistemi controllore - datapath.
- Esercizi risolti sui sistemi controllore - datapath.

TESTI/BIBLIOGRAFIA

Donzellini, G. and Oneto, L. and Ponta, D. and Anguita. D., Springer, Introduzione al Progetto di Sistemi Digitali, 2018.
Donzellini, G. and Oneto, L. and Ponta, D. and Anguita. D., Springer, Introduction to Digital Systems Design, 2019.

DOCENTI E COMMISSIONI

Ricevimento: Su appuntamento, tramite e-mail

Ricevimento: Su appuntamento, tramite e-mail

Commissione d'esame

LUCA ONETO (Presidente)

PIERPAOLO BAGLIETTO (Presidente Supplente)

DAVIDE ANGUITA (Presidente Supplente)

LEZIONI

Modalità didattiche

Il corso alterna lezioni frontali ed esercitazioni di laboratorio.

ESAMI

Modalità d'esame

Esame scritto più discussione orale.

Modalità di accertamento

La prova ha lo scopo di verificare la capacità dello studente di risolvere problemi di progettazione di sistemi digitali e la prova orale ha lo scopo di verificare sia il livello di conoscenza raggiunto sia la capacità di usare gli strumenti di progettazione e analisi delle reti combinatorie e sequenziali.