Topics in switching and finite automata theory have been an important part of the curriculum in electrical engineering and computer science departments for several decades. The third edition of this book builds on the comprehensive foundation provided by the second edition and adds: significant new material in the areas of CMOS logic; modern two-level and multi-level logic synthesis methods; logic design for emerging nanotechnologies; test generation, design for testability and built-in self-test for combinational and sequential circuits; modern asynchronous circuit synthesis techniques; etc. We have attempted to maintain the comprehensive nature of the earlier edition in providing readers with an understanding of the structure, behavior, and limitations of logical machines. At the same time, we have provided an up-to-date context in which the presented techniques can find use in a variety of applications. We start with introductory material and build up to more advanced topics. Thus, the technical background assumed on the part of the reader is minimal.

This edition maintains the style of the previous edition in providing a logical and rigorous discussion of various topics with minimal formalism. Thus, theorems and algorithms are preceded by several intuitive examples to ease understanding. The original references for various topics are provided. Of course, readers who want to dig deeper into a subject would need to consult later works also.