Book excerpt: Tied to no particular set of computer-aided logic design tools, it advocates the new emphasis in VLSI design. Includes support of layout synthesis from description in a register transfer level language as well as from design capture. Contains a detailed introduction to Boolean algebra, Karnaugh maps and sequential circuits. In this edition discussion of combination logic has been extended; switching circuits updated; a comprehensive treatment of test generation for VLSI included.