A Roadmap for Formal Property Verification

by Pallab Dasgupta

Book Overview

Integrating formal property verification (FPV) into an existing design process raises critical questions: Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? This book develops the answers to these questions and fits them into a roadmap for formal property verification - a roadmap that shows how to glue FPV technology into the traditional validation flow.

...

• Format: Paperback
• Language: English
• ISBN: 9048171857
• ISBN13: 9789048171859
• Release Date: October 2010
• Publisher: Springer
• Length: 252 Pages
• Weight: 0.84 lbs.
• Dimensions: 0.6" x 6.1" x 9.2"