ABSTRACTION REFINEMENT FOR LARGE SCALE MODEL CHECKING (Integrated Circuits and Systems)
Availability: In Stock

ABSTRACTION REFINEMENT FOR LARGE SCALE MODEL CHECKING (Integrated Circuits and Systems)

Explore cutting-edge research in ‘Abstraction Refinement for Large Scale Model Checking’ from The Bookish Owl. Discover how abstraction is the key to verifying massive digital systems, overcoming the limitations of traditional model checking. This essential read details recent advancements in automatic abstraction refinement algorithms, showcasing techniques that have proven to dramatically improve verification performance. Ideal for researchers and engineers, this book presents methods already influencing commercial EDA tools, making it indispensable for tackling industrial-scale design verification challenges in integrated circuits and systems.

Category: Tag:

Description

  • ISBN-10: 0387341552
  • Edition: 2006th
  • Publisher: Springer-Verlag New York Inc.
  • Publication date: 20 July 2006
  • Part of series: Integrated Circuits and Systems
  • Language: English
  • Dimensions: 15.88 x 1.27 x 23.5 cm
  • Print length: 179 pages

Related products