Pallab Dasgupta 
A Roadmap for Formal Property Verification [PDF ebook] 

Wsparcie

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.

€96.29
Metody Płatności

Spis treści

Languages for Temporal Properties.- How Does the Property Checker Work?.- Is My Specification Consistent?.- Have I Written Enough Properties?.- Design Intent Coverage.- Test Generation Games.- A Roadmap for Formal Property Verification.

O autorze

The author leads the Formal Verification Group at the Indian Institute of Technology, Kharagpur (http://www.facweb.iitkgp.ernet.in/~pallab/forverif.html). He has collaborations with leading companies, including Intel, Sun Microsystems, Synopsys, Texas Instruments, National Semiconductors, General Motors, Interra Systems and Virtio Corp, on developing formal methods for design verification. The author is a senior member of IEEE.

Kup ten ebook, a 1 kolejny otrzymasz GRATIS!
Język Angielski ● Format PDF ● Strony 252 ● ISBN 9781402047589 ● Rozmiar pliku 2.1 MB ● Wydawca Springer Netherland ● Miasto Dordrecht ● Kraj NL ● Opublikowany 2007 ● Do pobrania 24 miesięcy ● Waluta EUR ● ID 2147703 ● Ochrona przed kopiowaniem Społeczny DRM

Więcej książek elektronicznych tego samego autora (ów) / Redaktor

18 849 Ebooki w tej kategorii