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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Dasgupta, Pallab (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Dordrecht : Springer Netherlands : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Temas:
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.
Acceso en línea:Texto Completo
Descripción
Sumario: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.
Descripción Física:XIV, 252 p. online resource.
ISBN:9781402047589

Ejemplares similares