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
