Synopsis
Integrating formal property verification (FPV) into an existing design process raises critical 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.
"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
Seller Image
Roadmap for Formal Property Verification
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 19111904-n
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 # ABLIING23Apr0316110338388
Seller Image
Roadmap for Formal Property Verification
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 19111904
Seller Image
A Roadmap for Formal Property Verification
Published by
Springer Netherlands Okt 2010, 2010
ISBN 10: 9048171857
ISBN 13: 9789048171859
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 268 pp. Englisch. Seller Inventory # 9789048171859
Seller Image
Roadmap for Formal Property Verification
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 19111904-n
Buy New
US$ 143.00
Shipping:
US$ 19.73
From United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Roadmap for Formal Property Verification
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 19111904
Buy Used
US$ 144.46
Shipping:
US$ 19.73
From United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
A Roadmap for Formal Property Verification
Print on DemandSeller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. FPV methods - presented conceptuallyArchitecting assertion suites with System Verilog AssertionsFormal verification coverageConsistency issues in formal specificationsDesign Intent CoverageIntelligent test generation fr. Seller Inventory # 5821029
Buy New
US$ 110.19
Shipping:
US$ 56.80
From Germany to U.S.A.
Quantity: Over 20 available
Stock Image
A Roadmap for Formal Property Verification
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 268. Seller Inventory # 262143361
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 # ria9789048171859_new
Buy New
US$ 160.43
Shipping:
US$ 15.76
From United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
A Roadmap for Formal Property Verification
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 268 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5704542
Buy New
US$ 172.22
Shipping:
US$ 8.55
From United Kingdom to U.S.A.
Quantity: 4 available