Questo libro presenta le nozioni fondamentali della progettazione logica dei sistemi digitali su cui si basano gli strumenti di sviluppo automatico, con particolare riferimento alle tecniche esatte ed euristiche.

Vengono trattate le caratteristiche e le proprietà dell'algebra booleana e di commutazione; la sintesi e l'ottimizzazione delle reti combinatorie a due e più livelli; la sintesi e l'ottimizzazione delle macchine sequenziali sincrone sia dal punto di vista comportamentale che strutturale.

La presentazione dei singoli argomenti è completata e arricchita da un gran numero di esercizi, tutti corredati da dettagliate soluzioni.

Gli autori insegnano presso il Politecnico di Milano; Cristiana Bolchini e Fabio Salice sono professori associati di Sistemi di elaborazione delle informazioni; Carlo Brandolese e Donatella Sciuto sono, rispettivamente, ricercatore e professore ordinario della stessa materia.