search for books and compare prices
Gary D. Hachtel has written 3 work(s)
Search for other authors with the same name
displaying 1 to 3 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9780387341552 Cover for 9781489993953 Cover for 9780792397465 Cover for 9780387310046 Cover for 9781475770360 Cover for 9780898381641
Abstraction Refinement for Large Scale Model Checking
cover image for 9781489993953
Product Description: This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs...read more
By Gary D. Hachtel, Fabio Somenzi and Chao Wang
See complete details on each edition (2 editions listed)

Hardcover:

9780387341552 | Springer-Verlag New York Inc, September 30, 2006, cover price $149.00

Paperback:

9781489993953 | Springer Verlag, December 6, 2014, cover price $169.00 | About this edition: This book summarizes recent research on abstraction techniques for model checking large digital system.

Logic Synthesis and Verification Algorithms
cover image for 9781475770360
By Gary D. Hachtel and Fabio Somenzi
See complete details on each edition (3 editions listed)

Hardcover:

9780792397465 | Kluwer Academic Pub, June 1, 1996, cover price $99.00

Paperback:

9781475770360 | Reprint edition (Springer Verlag, March 18, 2013), cover price $89.95
9780387310046 | Springer Verlag, March 1, 2006, cover price $89.99

Logic Minimization Algorithms for Vlsi Synthesis
cover image for 9780898381641
By Robert K. Brayton, Gary D. Hachtel and Curtis T. McMullen (contributor)
See complete details on each edition (1 edition listed)

Hardcover:

9780898381641 | Kluwer Academic Pub, August 1, 1984, cover price $219.00

displaying 1 to 3 | at end