Related Books

Logic Synthesis and Verification Algorithms
Language: en
Pages: 579
Authors: Gary D. Hachtel
Categories: Technology & Engineering
Type: BOOK - Published: 2005-12-17 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced lev
Logic Synthesis and Verification
Language: en
Pages: 474
Authors: Soha Hassoun
Categories: Computers
Type: BOOK - Published: 2001-11-30 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Research and development of logic synthesis and verification have matured considerably over the past two decades. Many commercial products are available, and th
Logic Synthesis and Verification
Language: en
Pages: 458
Authors: Soha Hassoun
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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
Language: en
Pages: 235
Authors: Wolfgang Kunz
Categories: Computers
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and forma
Advanced Logic Synthesis
Language: en
Pages: 236
Authors: André Inácio Reis
Categories: Technology & Engineering
Type: BOOK - Published: 2017-11-15 - Publisher: Springer

DOWNLOAD EBOOK

This book provides a single-source reference to the state-of-the-art in logic synthesis. Readers will benefit from the authors’ expert perspectives on new tec