{"product_id":"a-roadmap-for-formal-property-verification-9781402047572","title":"A Roadmap for Formal Property Verification","description":"\u003cp\u003e • Author(s): Pallab Dasgupta\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Electronics - Circuits - General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eIntegrating 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Hardcover","offer_id":47587690807447,"sku":"9781402047572","price":11327.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9781402047572.webp?v=1774967092","url":"https:\/\/atlanticbooks.com\/products\/a-roadmap-for-formal-property-verification-9781402047572","provider":"Atlantic Books","version":"1.0","type":"link"}