A Roadmap for Formal Property Verification
- Author
- Pallab DasGupta
- Publication Year
- 2006
- Publisher
- Springer
- Language
- English
- Document Type
- Book
- Faculty / Subject Heading
- Engineering
- Download Book Read book
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. A Roadmap for Formal Property Verification explores the key issues in this powerful technology through simple examples – you do not need any background on formal methods to read most parts of this book.
Keywords: Engineering / Algorithms / Environment / Formal method / Formal specification / Formal verification / Integrated circuit / Metal-oxide-semiconductor transistor / Simulation / Single-electron transistor / Technology
