Normal view MARC view ISBD view

Sasao, Tsutomu, 1950-

Switching theory for logic synthesis / Tsutomu Sasao. - Boston, Mass. : Kluwer Academic Publishers, 1999. - viii, 362 p. : ill. ; 24 cm.

Includes bibliographical references (p. [331]-353) and index.

1. Mathematical Foundation --
2. Lattice and Boolean Algebra --
3. Logic Functions and their Representations --
4. Optimization of and-or-Two-Level Logic Networks --
5. Logic Functions with Various Properties --
6. Sequential Networks --
7. Optimization of Sequential Networks --
8. Delay and Asynchronous Behavior --
9. Multi-Valued Input Two-Valued Output Function --
10. Heuristic Optimization of Two-Level Networks --
11. Multi-Level Logic Synthesis --
12. Logic Design Using Modules --
13. Logic Design using Exors --
14. Complexity of Logic Networks --
A. History of Switching Theory. TOC

Summary:
Covers the basic topics of switching theory and logic synthesis. This book includes topics such as multi-valued input two-valued output function, logic design for PLDs/FPGAs, EXOR-based design, and complexity theories of logic networks. This book is useful to CAD professionals and students at the advanced level.



ISBN: 0792384563 (alk. paper) 9780792384564

LCCN: 99011572

Subjects--Topical Terms:
Logic design--Data processing.
Sequential machine theory.
Switching theory.

LC Class. No.: TK7868.L6 / S265 1999

Dewey Class. No.: 621.395 / SAS 1999