{"product_id":"practical-design-verification-9780521859721","title":"Practical Design Verification","description":"\u003cp\u003e • Author(s): Dhiraj K. Pradhan | Ian G. Harris\u003cbr\u003e • Publisher: Cambridge University Press\u003cbr\u003e • Publisher Imprint: Cambridge University Press\u003cbr\u003e • BISAC: Computer Engineering\u003c\/p\u003e\u003cp\u003eImprove design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and practical understanding of the key issues involved, expert authors including Wayne Wolf and Dan Gajski explain both formal techniques (model checking, equivalence checking) and simulation-based techniques (coverage metrics, test generation). You get insights into practical issues including hardware verification languages (HVLs) and system-level debugging. The foundations of formal and simulation-based techniques are covered too, as are more recent research advances including transaction-level modeling and assertion-based verification, plus the theoretical underpinnings of verification, including the use of decision diagrams and Boolean satisfiability (SAT).\u003c\/p\u003e","brand":"Cambridge University Press","offers":[{"title":"Hardcover","offer_id":46882546745495,"sku":"9780521859721","price":15499.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9780521859721.webp?v=1770235311","url":"https:\/\/atlanticbooks.com\/products\/practical-design-verification-9780521859721","provider":"Atlantic Books","version":"1.0","type":"link"}