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: 9781282391246ISBN 10: 1282391240 Pages: 276 Publication Date: 01 January 2009 Audience: General/trade , General Format: Undefined Publisher's Status: Active Availability: In stock  We have confirmation that this item is in stock with the supplier. It will be ordered in for you and dispatched immediately. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||
