Book Details

A Roadmap for Formal Property Verification

Publication year: 2006

: 978-1-4020-4758-9


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