A Roadmap for Formal Property Verification
- المؤلف
- Pallab DasGupta
- سنة النشر
- 2006
- الناشر
- Springer
- لغة الملف
- انكليزي
- نوع الملف
- Book
- تصنيف الكتاب
- Engineering
- تحميل الكتاب قراءة الكتاب
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.
الكلمات المفتاحية: Engineering / Algorithms / Environment / Formal method / Formal specification / Formal verification / Integrated circuit / Metal-oxide-semiconductor transistor / Simulation / Single-electron transistor / Technology
