Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
Details
| Verlag | Springer Netherland |
| Ersterscheinung | 19. Oktober 2010 |
| Maße | 24 cm x 16 cm |
| Gewicht | 434 Gramm |
| Format | Softcover |
| ISBN-13 | 9789048171859 |
| Auflage | Softcover reprint of hardcover 1st ed. 2006 |
| Seiten | 252 |
Schlagwörter
Computer-Aided Design (CAD), Computer-Aided Engineering (CAD - CAE) and Design, Electrical and Electronic Engineering, Electronic Circuits and Systems, Electronics and Microelectronics - Instrumentation, Elektronik, Elektrotechnik, Formal Languages and Automata Theory, Logic Design, Rechnerarchitektur und Logik-Entwurf, Schaltkreise und Komponenten (Bauteile), Theoretische Informatik
Bekannt durch
