Logic Synthesis and Verification Algorithms

• Main Authors: Hachtel, Gary D. (Author), Somenzi, Fabio (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 1996.
• Subjects: Engineering.; Computer logic.; Computer science > Mathematics.; Computers.; Computer-aided engineering.; Electrical engineering.; Electronic circuits.; Circuits and Systems.; Logics and Meanings of Programs.; Electrical Engineering.; Computer-Aided Engineering (CAD, CAE) and Design.; Discrete Mathematics in Computer Science.; Computing Methodologies.

Logic Synthesis and Verification Algorithms is a textbook designed for courses on VLSI Logic Synthesis and Verification, Design Automation, CAD and advanced level discrete mathematics. It also serves as a basic reference work in design automation for both professionals and students. Logic Synthesis...