28011 - RETI LOGICHE T

Anno Accademico 2016/2017

  • Docente: Stefano Mattoccia
  • Crediti formativi: 6
  • SSD: ING-INF/05
  • Lingua di insegnamento: Italiano
  • Moduli: Stefano Mattoccia (Modulo 1) Alfredo D'Elia (Modulo 2)
  • Modalità didattica: Convenzionale - Lezioni in presenza (Modulo 1) Convenzionale - Lezioni in presenza (Modulo 2)
  • Campus: Bologna
  • Corso: Laurea in Ingegneria informatica (cod. 0926)

Conoscenze e abilità da conseguire

Conoscenza di modelli e metodologie di progetto dei sistemi digitali. Conoscenza dei metodi di analisi e di sintesi di reti combinatorie e di reti sequenziali asincrone e sincrone.

Contenuti

  1. Livelli di progettazione di una macchina digitale. Descrizione a blocchi di una struttura. Descrizione a parole di un comportamento. Classificazione dei segnali. Reti di interruttori.
  2. Rappresentazione binaria dell'informazione. Proprietà dei codici. Codifica dei testi e dei numeri.
  3. Elaborazione di stringhe di simboli. La classificazione delle macchine digitali in combinatorie, asincrone e sincrone. Il modello della macchina a stati finiti: la descrizione del comportamento tramite grafo degli stati e tramite tabella di flusso.
  4. La rete logica combinatoria. Funzioni, tabelle della verità e schemi logici. Algebra di commutazione: operazioni, espressioni e teoremi di equivalenza. Sintesi ed analisi con espressioni canoniche e con espressioni generali. Reti combinatorie reali: comportamento in transitorio ed a regime.
  5. Mappe di Karnaugh. Sintesi con espressioni minime. Sintesi ed analisi di reti combinatorie contenenti MUX, ROM e Matrici Logiche Programmabili.
  6. La rete logica sequenziale asincrona come rete combinatoria con retroazioni dirette. Comportamenti ottenibili, vincoli di corretto impiego e tecniche per l'eliminazione a priori dei malfunzionamenti.
  7. La rete logica sequenziale sincrone come rete combinatoria con retroazioni a flip-flop. Progetto del periodo del segnale di clock. Metodi di sintesi e di analisi per reti con flip-flop di tipo D. Metodi di sintesi e di analisi per reti sequenziali sincrone contenenti Registri, Contatori e Registri a scorrimento.
  8. Metodologie per la sintesi di reti sequenziali sincrone senza l'ausili di diagrammi degli stati.

Testi/Bibliografia

Lucidi resi disponibili sul sito del corso: http://vision.disi.unibo.it/~smatt/Site/Courses.html

Metodi didattici

L'attività didattica è svolta bilanciando la parte teorica con esercizi su casi di studio rilevanti. 

Modalità di verifica e valutazione dell'apprendimento

La prova d'esame mira a verificare il raggiungimento dei seguenti obiettivi formativi:

• conoscenza approfondita dei principi su cui si basa la progettazione logica delle macchine digitali;

• padronanza e capacità di concreta applicazione delle metodologie di progetto orientate all'analisi e alla sintesi di reti combinatorie e di reti sequenziali.

Gli studenti verranno valutati in base allo svolgimento di una prova scritta sull'intero programma del corso. Durante lo svolgimento della prova scritta non è possibile consultare materiale didattico in nessuna forma.

Si terranno appelli nei mesi di giugno, luglio, settembre, gennaio e febbraio.

Strumenti a supporto della didattica

Le lezioni in aula vengono svolte con l'ausilio di un proiettore di diapositive (di cui è possibile preventivamente procurarsi una copia cartacea accedendo al sito WEB del corso), in modo da consentire allo Studente di concentrarsi sui contenuti esposti piuttosto che sulla stesura di appunti.

Lezioni ed esercitazioni sono continuamente intercalate, alternando l'esposizione di concetti con esemplificazioni applicative.

Per completare la preparazione sono inoltre proposti approfondimenti da sviluppare attraverso esercitazioni guidate o autonome in laboratorio.

Link ad altre eventuali informazioni

http://vision.disi.unibo.it/~smatt/Site/Courses.html

Orario di ricevimento

Consulta il sito web di Stefano Mattoccia

Consulta il sito web di Alfredo D'Elia