Reading Length
Home
Speed Tests
Login
Gary D. Hachtel
Identifiers
Open Library
OL534313A
Top Subjects
Logic design -- Data processing. (1)
Computer-aided design. (1)
Integrated circuits -- Verification. (1)
Integrated circuits -- Very large scale integration -- Design -- Data processing. (1)
Systems engineering (1)
Books by Gary D. Hachtel
Total count: 4
Logic synthesis and verification algorithms
Kluwer Academic Publishers
1996-01-01
Abstraction Refinement for Large Scale Model Checking
Springer London, Limited
2006-01-01
Logic Synthesis and Verification Algorithms
Springer
2006-02-10
Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)
Springer
2006-07-20
