4 Ebooks by Fabio Somenzi
Chao Wang & Gary D. Hachtel: Abstraction Refinement for Large Scale Model Checking
Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today’s digital …
PDF
English
€96.29
Gary D. Hachtel & Fabio Somenzi: 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 …
PDF
English
DRM
€93.79
Gary D. Hachtel & Fabio Somenzi: Logic Synthesis and Verification Algorithms
Logic Synthesis and Verification Algorithms blends mathematical foundations and algorithmic developments with circuit design issues. Each new technique is presented in the context of its application …
PDF
English
DRM
€81.77
