Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced lev

Research and development of logic synthesis and verification have matured considerably over the past two decades. Many commercial products are available, and th

Research and development of logic synthesis and verification have matured considerably over the past two decades. Many commercial products are available, and th

Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and forma

This book provides the most up-to-date coverage using the Synopsys program in the design of integrated circuits. The incorporation of "synthesis tools" is the m