Abstraction Refinement for Large Scale Model Checking

• Main Author: Wang, Chao
• Other Authors: Hachtel, Gary D., Somenzi, Fabio
• Format: Electronic Kit Book
• Language: English
• Published: Boston, MA Springer Science+Business Media, LLC 2006
• Series: Series on Integrated Circuits and Systems
• Subjects: Engineering; Computer engineering; Computer aided design; Systems engineering; Electronic and Computer Engineering; Computer-Aided Engineering (CAD, CAE) and Design; Circuits and Systems