Publication year: 2006
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