Book Details

A Roadmap for Formal Property Verification

Publication year: 2006

ISBN: 978-1-4020-4758-9

Internet Resource: Please Login to download 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.


Subject: Engineering, algorithms, environment, formal method, formal specification, formal verification, integrated circuit, metal-oxide-semiconductor transistor, simulation, single-electron transistor, technology