{"product_id":"practical-design-verification-0030055385","title":"Practical Design Verification","description":"\u003cp\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 0030055385\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Pradhan, Dhiraj K.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eCondition:\u003c\/strong\u003e New\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\u003cul\u003e\u003cli\u003eNew | Mint Condition | Dispatch same day for order received before 12 noon | Guaranteed packaging | No quibbles returns\u003c\/li\u003e\u003c\/ul\u003e","brand":"Mia Karts","offers":[{"title":"Default Title","offer_id":51943624900896,"sku":"NEW0030055385","price":85.87,"currency_code":"USD","in_stock":false}],"url":"https:\/\/miakarts.com\/products\/practical-design-verification-0030055385","provider":"Miakarts Books","version":"1.0","type":"link"}