A Roadmap for Formal Property Verification - Rilegato

Dasgupta, Pallab

 
9781402047572: A Roadmap for Formal Property Verification
Rilegato
ISBN 10: 1402047576 ISBN 13: 9781402047572
Casa editrice: Springer-Verlag New York Inc, 2006

Sinossi

Integrating formal property verification (FPV) into an existing design process raises several interesting questions. 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. The book explores the key issues in this powerful technology through simple examples that mostly require no background on formal methods.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sull?autore

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer-Verlag New York Inc
Data di pubblicazione
2006
Lingua
Inglese
ISBN 10 
1402047576
ISBN 13 
9781402047572
Rilegatura
Copertina rigida
Numero di pagine
251
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

9789048171859: A Roadmap for Formal Property Verification

Edizione in evidenza

ISBN 10:  9048171857 ISBN 13:  9789048171859
Casa editrice: Springer, 2010
Brossura