Fabio Somenzi

Fabio Somenzi is the author of "Computer Aided Verification", "Logic Synthesis and Verification Algorithms", "Electronic Design Automation for Integrated Circuits Handbook - 2 Volume Set" and "Abstraction Refinement for Large Scale Model Checking".

Books by Fabio Somenzi

Electronic Design...
Lavagno, Luciano
Digital (delivered electronically): $250.00

Logic Synthesis a...
Hachtel, Gary D.
Hardback: $99.99

EDA for IC Implem...
Scheffer Louis
Hardback: $200.00

Logic Synthesis a...
Hachtel, Gary D.
Electronic book text: $89.95