Items related to A Roadmap for Formal Property Verification
Synopsis
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.
"synopsis" may belong to another edition of this title.
About the Author
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.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for A Roadmap for Formal Property Verification
Stock Image
A Roadmap For Formal Property Verificaiton (Hb)
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-166792
Quantity: 9 available
Stock Image
A Roadmap For Formal Property Verificaiton (Hb)
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-73631
Quantity: 2 available
Stock Image
A Roadmap For Formal Property Verification
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-81864
Quantity: 1 available
Stock Image
A Roadmap For Formal Property Verification
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-166793
Quantity: 1 available
Stock Image
A Roadmap for Formal Property Verification
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Like New. LIKE NEW. book. Seller Inventory # ERICA83014020475763
Quantity: 1 available
Stock Image
A Roadmap for Formal Property Verification
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar2411530143392
Quantity: Over 20 available
Stock Image
A Roadmap for Formal Property Verification
Seller: BennettBooksLtd, North Las Vegas, NV, U.S.A.
Seller rating 5 out of 5 stars
hardcover. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-1402047576
Quantity: 1 available
Stock Image
A Roadmap for Formal Property Verification
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781402047572_new
Quantity: Over 20 available
Stock Image
A Roadmap for Formal Property Verification
Published by
Springer-Verlag New York Inc., 2006
ISBN 10: 1402047576
ISBN 13: 9781402047572
New
Hardcover
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 583. Seller Inventory # C9781402047572
Quantity: Over 20 available
Seller Image
A Roadmap for Formal Property Verification
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Gebunden. Condition: New. FPV methods - presented conceptuallyArchitecting assertion suites with System Verilog AssertionsFormal verification coverageConsistency issues in formal specificationsDesign Intent CoverageIntelligent test generation fr. Seller Inventory # 458474930
Quantity: Over 20 available