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

Internet

Texto Completo

Error inesperado del formato de respuesta.
Holdings details from

Similar Items