Fabio Somenzi

2 books

Logic Synthesis and Verification Algorithms by Fabio Somenzi, Gary D. Hachtel

Logic Synthesis and Verification Algorithms

Fabio Somenzi, Gary D. Hachtel

564 pages • paperback

nonfiction computer science design science informative slow-paced
Abstraction Refinement for Large Scale Model Checking by Fabio Somenzi, Chao Wang, Gary D. Hachtel

Abstraction Refinement for Large Scale Model Checking

Series on Integrated Circuits and Systems

Fabio Somenzi, Chao Wang, Gary D. Hachtel

179 pages • hardcover

nonfiction art computer science design technology medium-paced