Related Books
Language: en
Pages: 579
Pages: 579
Type: BOOK - Published: 2005-12-17 - Publisher: Springer Science & Business Media
Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced lev
Language: en
Pages: 474
Pages: 474
Type: BOOK - Published: 2001-11-30 - Publisher: Springer Science & Business Media
Research and development of logic synthesis and verification have matured considerably over the past two decades. Many commercial products are available, and th
Language: en
Pages: 458
Pages: 458
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Research and development of logic synthesis and verification have matured considerably over the past two decades. Many commercial products are available, and th
Language: en
Pages: 235
Pages: 235
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media
Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and forma
Language: en
Pages: 417
Pages: 417
Type: BOOK - Published: 2000-08-22 - Publisher: Elsevier
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