Free Delivery Over $100
|
|
|||
|
||||
OverviewImprove 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). Full Product DetailsAuthor: Dhiraj K Pradhan (University of Bristol) , Ian G Harris (University of California, Irvine)Publisher: Cambridge University Press Imprint: Cambridge University Press ISBN: 9786612391248ISBN 10: 6612391243 Pages: 290 Publication Date: 11 June 2009 Audience: General/trade , General Format: Electronic book text Publisher's Status: Active Availability: Out of stock  The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||
