Logic Synthesis and Verification Algorithms

By Gary D. Hachtel, Fabio Somenzi

Abstraction Refinement for Large Scale Model Checking Series on Integrated Circuits and Systems

By Chao Wang, Gary D. Hachtel, Fabio Somenzi

Dynamic economic decision making

By John Silvia

"A comprehensive analysis of the macroeconomic and financial forces altering the economic landscapeFinancial decision-making requires one to anticipate how their decision will not only affect their...

Logic synthesis and verification algorithms

By Gary D. Hachtel

Logic Synthesis and Verification Algorithms blends mathematical foundations and algorithmic developments with circuit design issues. Each new technique is presented in the context of its applicatio...

Logic Synthesis and Verification Algorithms

By Gary D. Hachtel, Fabio Somenzi

Abstraction Refinement for Large Scale Model Checking

By Chao Wang, Gary D. Hachtel, Fabio Somenzi

Computer Aided Verification

By

Abstraction Refinement for Large Scale Model Checking

By Chao Wang, Gary D. Hachtel, Fabio Somenzi

Logic Synthesis and Verification Algorithms

By Gary D. Hachtel, Fabio Somenzi

Computer Aided Verification

By Hunt Warren A. Jr., Fabio Somenzi