Computer Aided Logical Design with Emphasis on VLSI

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.