Switching Theory for Logic Synthesis

This text covers the basic topics of switching theory and logic synthesis in 14 chapters. Chapters one through five provide the mathematical foundation, while chapters six through eight include an introduction to sequential circuits, optimization of sequential machines and asynchronous sequential circuits. Chapters nine through fourteen are the main feature of the book. These chapters introduce and explain various topics that make up the subject of logic synthesis; multi-valued input two-valued output function, logic design for PLDs/FPGAs, EXOR-based design, and complexity theories of logic networks. An appendix providing a history of switching theory is included. The reference list consists of over four hundred entries. It is based on the author's lectures at Kyushu Institute of technology as well as seminars for CAD engineers from various Japanese technology companies.