A Roadmap for Formal Property Verification

Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? This book develops the answers to these...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Dasgupta, Pallab (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2006.
Edition:1st ed. 2006.
Subjects:
Electronic circuits.
Computer-aided engineering.
Electronics.
Logic design.
Electrical engineering.
Machine theory.
Electronic Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
Electronics and Microelectronics, Instrumentation.
Logic Design.
Electrical and Electronic Engineering.
Formal Languages and Automata Theory.
Online Access:Texto Completo
Description
Summary:Integrating formal property verification (FPV) into an existing design process raises several interesting questions. Have I written enough properties? Have I written a consistent set of properties? What should I do when the FPV tool runs into capacity issues? 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.
Physical Description:XIV, 252 p. online resource.
ISBN:9781402047589

Similar Items