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

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares