Gary D. Hachtel – författare
Visar alla böcker från författaren Gary D. Hachtel. Handla med fri frakt och snabb leverans.
9 produkter
Logic Synthesis and Verification Algorithms
Av Fabio Somenzi, Gary D. Hachtel
E-bok, 2005
1214 kr
Lägg i varukorg
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 …
Abstraction Refinement for Large Scale Model Checking
Av Chao Wang, Gary D. Hachtel m. fl.
Inbunden, 2006
1095 kr
Lägg i varukorg
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 systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable …
Abstraction Refinement for Large Scale Model Checking
Av Fabio Somenzi, Gary D. Hachtel m. fl.
E-bok, 2006
1427 kr
Lägg i varukorg
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 systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable …
Logic Synthesis and Verification Algorithms
Av Gary D. Hachtel, Fabio Somenzi
Inbunden, 1996
989 kr
Lägg i varukorg
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 …
Logic Minimization Algorithms for VLSI Synthesis
Av Robert K. Brayton, Gary D. Hachtel m. fl.
Inbunden, 1984
2184 kr
Lägg i varukorg
The roots of the project which culminates with the writing of this book can be traced to the work on logic synthesis started in 1979 at the IBM Watson Research Center and at University of California, Berkeley. During the preliminary phases of these projects, the impor tance of logic minimization …
Logic Minimization Algorithms for VLSI Synthesis
Av Robert K. Brayton, Gary D. Hachtel m. fl.
Häftad, 2011
2189 kr
Lägg i varukorg
The roots of the project which culminates with the writing of this book can be traced to the work on logic synthesis started in 1979 at the IBM Watson Research Center and at University of California, Berkeley. During the preliminary phases of these projects, the impor tance of logic minimization …
Logic Minimization Algorithms for VLSI Synthesis
Av Alberto L. Sangiovanni-Vincentelli, C. McMullen m. fl.
E-bok, 2012
2860 kr
Lägg i varukorg
The roots of the project which culminates with the writing of this book can be traced to the work on logic synthesis started in 1979 at the IBM Watson Research Center and at University of California, Berkeley. During the preliminary phases of these projects, the impor tance of logic minimization …
Logic Synthesis and Verification Algorithms
Av Gary D. Hachtel, Fabio Somenzi
Häftad, 2013
934 kr
Lägg i varukorg
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 …
Abstraction Refinement for Large Scale Model Checking
Av Chao Wang, Gary D. Hachtel m. fl.
Häftad, 2014
1231 kr
Lägg i varukorg
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 systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable …
