Il testo è dedicato all'ambito accademico e vuole essere un supporto agli studenti delle varie facoltà che presentano, all'interno del loro corso di studi, l'argomento dell'elettronica digitale. Per questo si è preferito affrontare i vari argomenti, e dimostrare i vari enunciati, attraverso l'uso estensivo di esercizi risolti ed esempi pratici - a cui è anche dedicata una intera Appendice - piuttosto che usare formalismi o lessici logico / matematici. Nei vari capitoli sono illustrati alcuni dei metodi e degli algoritmi più comuni utilizzabili per la sintesi e la verifica di circuiti digitali, sia combinatori che sequenziali, ma, al fine di fornire una panoramica il più completa possibile sul tema dell'elettronica digitale, non si manca di affrontare argomenti ad essa strettamente legati, come • VHDL • Tipologie di circuiti integrati digitali • Design for Testability (D.F.T.) • JTAG