Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)

by Chao Wang (Author), Gary D . Hachtel (Author), Fabio Somenzi (Author)

• New

  Hardcover
  2006

  $172.02

  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.