{"product_id":"applied-formal-verification-for-digital-circuit-design-9780071443722","title":"Applied Formal Verification: For Digital Circuit Design","description":"\u003cp\u003e\u003cb\u003ePublisher's Note: Products purchased from third-party sellers are not guaranteed by the publisher for quality, authenticity, or access to any online entitlements included with the product.\u003c\/b\u003e\u003cb\u003e\u003cbr\u003e\u003c\/b\u003eFormal Verification, ASAP\u003c\/p\u003e\n\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\n\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\u003cp\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Harry Foster, Douglas Perry\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e McGraw-Hill Companies\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 05\/01\/2005\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 240\u003cbr\u003e\u003cb\u003eBinding Type:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.13lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.54h x 6.30w x 0.91d\u003cbr\u003e\u003cb\u003eISBN:\u003c\/b\u003e 9780071443722\u003cbr\u003e\u003c\/p\u003e\n\u003cp\u003e\u003cb\u003eAbout the Author\u003c\/b\u003e\u003cbr\u003e\u003cb\u003eDouglas L. Perry\u003c\/b\u003e is the Director of Marketing for Virtutech, Inc. He is the author of four editions of McGraw-Hill's \u003ci\u003eVHDL\u003c\/i\u003e. He lives in San Ramon, California.\u003c\/p\u003e\n\u003cp\u003e\u003cb\u003eHarry D. Foster\u003c\/b\u003e serves as Chairman of the Accellera Formal Verification Technical Committee, which is currently defining the PSL (Property Specification Language) standard. He is co-author of the new Kluwer Academic Publishers book \u003ci\u003eAssertion-Based Design.\u003c\/i\u003e The Chief Methodologist at Jasper Design, Mr. Foster formerly was Verplex Systems' Chief Architect. He lives in Richardson, Texas.\u003cbr\u003e\u003c\/p\u003e\n\u003cp\u003e\u003ci\u003eThis title is not returnable\u003c\/i\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"McGraw-Hill Companies","offers":[{"title":"Hardcover","offer_id":39924026540147,"sku":"007144372X","price":193.95,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0555\/9255\/0515\/products\/img_811088db-a2d2-4a6e-a8d6-333ad7937cae.jpg?v=1647436292","url":"https:\/\/bookstorenmore.com\/en-de\/products\/applied-formal-verification-for-digital-circuit-design-9780071443722","provider":"Bookstore N More","version":"1.0","type":"link"}