Logic Synthesis and Verification Algorithms
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...
Main Authors: | Hachtel, Gary D. (Author), Somenzi, Fabio. (Author) |
---|---|
Corporate Author: | SpringerLink (Online service) |
Format: | Electronic |
Language: | English |
Published: |
Boston, MA :
Springer US,
1996.
|
Subjects: | |
Online Access: | View fulltext via EzAccess |
Similar Items
-
Software Tools for the Simulation of Electrical Systems : Theory and Practice /
by: Kumar, L. Ashok,, et al.
Published: (2020) -
Computer and communication engineering : first International Conference, ICCCE 2018, Guayaquil, Ecuador, October 25-27, 2018, proceedings /
Published: (2019) -
Bird's engineering mathematics /
by: Bird, J. O.,
Published: (2021) -
Electrical engineering : fundamentals /
by: Hacker, Viktor,, et al.
Published: (2020) -
Power electronics : circuit analysis and design /
by: Batarseh, Issa,, et al.
Published: (2018)