Questo libro presenta le nozioni fondamentali della progettazione logica dei sistemi digitali su cui si basano gli strumenti di sviluppo automatico, con specifico riferimento alle tecniche, esatte ed euristiche. Vengono trattate le caratteristiche e le proprieta' dell’algebra booleana e di commutazione; la sintesi e l’ottimizzazione delle macchine sequenziali sincrone sia dal punto di vista comportamentale che strutturale.
Ogni capitolo e' integrato da un'ampia sezione dedicata a esempi svolti ed esercizi, il cui obiettivo e' quello di supportare la comprensione degli argomenti trattati conducendo, passo dopo passo, alla soluzione dei problemi proposti.
Gli autori insegnano presso il Politecnico di Milano; Cristiana Bolchini e Fabio Salice sono professori associati di Sistemi di elaborazione; Carlo Brandolese e Donatella Sciuto sono, rispettivamente, ricercatore e professore ordinario della stessa materia. |
Universita' e ricerca