Questo libro presenta le nozioni fondamentali della progettazione logica dei sistemi digitali, con specifico riferimento alle tecniche, esatte ed euristiche, su cui si basano gli strumenti di progettazione automatica.
[...]
Vengono trattate le caratteristiche e le proprietà dell'algebra, con particolare riferimento a quella a due valori; la sintesi e l'ottimizzazione delle reti combinatorie, sia a due livelli sia multi-livello; la sintesi e l'ottimizzazione delle macchine sequenziali sincrone a partire dal livello comportamentale, includendo il problema dell'assegnamento dello stato e le metodologie di ottimizzazione a livello strutturale.