Computer aided logical design - with emphasis on VLSI (4. ed.)

Logical Analysis Number Systems and Codes Fundamental Theorems of Boolean Algebra Logic Element Realization Manipulation of Boolean Expressions Algorithms for Optimization of Combinational Logic VLSI Realizations of Combinational Logic Multilevel Logic Using Complex (MSI) Parts and Cells Components of Sequential Systems Synthesis of Clock-Mode Sequential Circuits Vector-Processes: Description and Realization VLSI Realization of Digital Systems Incompletely Specified Sequential Circuits Level-Mode Sequential Circuits Test Generation for VLSI Combinational Logic Functions with Special Properties Appendices Index.