{"product_id":"9780071443722","title":"Applied Formal Verification","description":"\u003cb\u003eAuthor(s): Perry, Douglas L., Foster, Harry\u003c\/b\u003e\u003cbr\u003e\u003cbr\u003e\n\n\u003cp class=\"MsoNormal\"\u003e\u003cspan style=\"font-size:12.0pt;line-height:107%;font-family:\" times new roman\u003e\u003cb\u003ePublisher's Note: Products purchased from Third Party sellers are not guaranteed by the publisher for quality, \u003cspan style=\"white-space:pre\"\u003e\u003c\/span\u003eauthenticity, or access to any online entitlements included with the product.\u003c\/b\u003e\u003cp\u003e\u003c\/p\u003e\u003c\/span\u003e\u003c\/p\u003e\u003cp class=\"MsoNormal\"\u003e\u003cspan style=\"font-size:12.0pt;line-height:107%;font-family:\" times new roman\u003e\u003cb\u003e\u003cbr\u003e\u003c\/b\u003e\u003c\/span\u003e\u003c\/p\u003e\u003cp class=\"MsoNormal\"\u003e\u003cspan style=\"font-size:12.0pt;line-height:107%;font-family:\" times new roman\u003e\u003cb style=\"font-family: \" times new roman font-size: medium\u003eFormal Verification, ASAP\u003c\/b\u003e\u003c\/span\u003e\u003c\/p\u003e\u003cp\u003e\u003ci\u003eApplied Formal Verification\u003c\/i\u003e delivers right-now methods for integrating this powerful tool into your design process. Written by two of the field's leaders, this tutorial opens shortcuts to the concept-proving, efficiency-boosting benefits of formal verification. The book includes real-world examples of formal verification applied to complex designs and clarifying explanations of high-level requirement writing. If you've some knowledge of Verilog or VHDL and simulation verification, you're ready to build your real-world problem-solving skills with this potent guide to formal verification.\u003c\/p\u003e\u003cp class=\"MsoNormal\"\u003e\u003cspan style=\"font-size:12.0pt;line-height:107%;font-family:\" times new roman\u003e\u003c\/span\u003e\u003c\/p\u003e\u003cp\u003e\u003cb\u003eAPPLY FORMAL VERIFICATION NOW\u003c\/b\u003e\u003cbr\u003eSimulation-based verification * Introduction to formal techniques * Contrasting simulation and formal techniques * Developing a formal test plan * Writing high-level requirements * Proving high-level requirements * System-level simulation * Final system simulation * PSL tables * SystemVerilog assertions tables\u003c\/p\u003e\n\n\u003cbr\u003e\u003cbr\u003eReview(s):\u003cbr\u003e\u003cbr\u003e\u003cbr\u003eEAN: 9780071443722\u003cbr\u003e\u003cbr\u003eAge Group:  \u003cbr\u003e\u003cbr\u003eNumber of Pages: 240\u003cbr\u003e\u003cbr\u003eWeight: 508 gr\u003cbr\u003e\u003cbr\u003e","brand":"McGraw Hill","offers":[{"title":"Hardback","offer_id":43845680398574,"sku":"9780071443722","price":177.18,"currency_code":"AUD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0630\/9612\/7726\/products\/Applied-Formal-Verification-Book-Land-AU-879.jpg?v=1679307382","url":"https:\/\/bookland.com.au\/products\/9780071443722","provider":"Book Land AU","version":"1.0","type":"link"}