CODICE 66270 ANNO ACCADEMICO 2018/2019 CFU 9 cfu anno 1 INGEGNERIA INFORMATICA 8719 (L-8) - GENOVA SETTORE SCIENTIFICO DISCIPLINARE ING-INF/05 LINGUA Italiano SEDE GENOVA PERIODO 1° Semestre MATERIALE DIDATTICO AULAWEB 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 categorie e le metodologie per lo studio ed il progetto di sistemi digitali. Contenuti: algebra di Boole, descrizione, sintesi e ottimizzazione di reti combinatorie, progettazione di macchine a stati finiti asincrone e sincrone, analisi e sintesi di sottosistemi complessi (contatori, sommatori, unità aritmetiche, memorie,..). Per la descrizione dei sistemi digitali verrà insegnato e utilizzato il linguaggio VHDL. OBIETTIVI FORMATIVI (DETTAGLIO) E RISULTATI DI APPRENDIMENTO Lo studente acquisirà le basi per l'analisi e il progetto di semplici sistemi digitali. PREREQUISITI Nessuno. MODALITA' DIDATTICHE Il corso alterna lezioni frontali ed esercitazioni di laboratorio. PROGRAMMA/CONTENUTO Algebra di Boole, descrizione, sintesi e ottimizzazione di reti combinatorie, mappe di Karnaugh, , sistemi di numerazione, reti combinatorie complesse (reti aritmetiche, rivelazione e correzione di errori), reti sequenziali, registri, Macchine a Stati Finiti (MSF), strumenti per la descrizione di una MSF: Algorithmic State Machine, progettazione di MSF sincrone e cenni di progettazione di MSF asincrone, assegnazione degli stati, problema delle corse, ottimizzazione di MSF, cenni alle tecnologie a semiconduttore, organizzazione e descrizione di un calcolatore e dei suoi sottoinsiemi. Descrizione dei sistemi digitali con Hardware Description Language (HDL). TESTI/BIBLIOGRAFIA G.Donzellini, L.Oneto, D.Ponta, D.Anguita, "Introduzione al Progetto di Sistemi Digitali", Springer, 2018. Testi per approfondimenti: In italiano A.Gentile, F.Sorbello, S.Vitabile, “Reti Logiche” (adattamento e traduzione di M.Morris Mano, C.R.Kime, “Digital Logic and Computer Design”), Prentice-Hall, 2008 (4° Ed.). C.Bolchini, C.Brandolese, F.Salice, D.Sciuto, “Reti Logiche”, Apogeo, 2008 (2° Ed.). In inglese J.Daniels, "Digital Design from Zero to One", Wiley, 1996. M. Morris Mano, M.D.Ciletti, "Digital Design", Prentice-Hall, 2012 (5th Ed.). F.Vahid, “Digital Design”, Wiley, 2010 (2nd Ed.). F.Vahid, R.Lysecky, “VHDL for Digital Design”, 2010. J.F.Wakerly, “Digital Design Principles and Practices”, Prentice-Hall, 2005 (5th Ed.) DOCENTI E COMMISSIONI DAVIDE ANGUITA Ricevimento: Su appuntamento, tramite e-mail LUCA ONETO Ricevimento: Su appuntamento, tramite e-mail Commissione d'esame DAVIDE ANGUITA (Presidente) LUCA ONETO (Presidente) GIULIANO DONZELLINI DOMENICO PONTA LEZIONI Orari delle lezioni RETI LOGICHE ESAMI MODALITA' D'ESAME L'esame, se sostenuto nella prima sessione utile (sessione invernale), consiste in una prova scritta integrabile con una prova orale facoltativa. Non è previsto un "voto minimo" della prova scritta per sostenere la prova orale. A partire dalle sessioni successive, la prova scritta è sostituita da una prova orale. Durante lo svolgimento del corso sarà possibile integrare, facoltativamente, la valutazione finale attraverso valutazioni intermedie, ottenute con lo svolgimento di una prova scritta intermedia (“compitino”) o con la consegna di elaborati relativi alle esercitazioni/laboratori. Calendario appelli Data appello Orario Luogo Tipologia Note 09/01/2019 14:00 GENOVA Scritto 04/02/2019 09:00 GENOVA Scritto 12/06/2019 09:00 GENOVA Scritto 26/07/2019 09:00 GENOVA Scritto 06/09/2019 09:00 GENOVA Scritto