Free Delivery Over $100
|
|
|||
|
||||
OverviewA quality-driven design and verification flow for digital systems is developed and presented in Quality-Driven SystemC Design. Two major enhancements characterize the new flow: First, dedicated verification techniques are integrated which target the different levels of abstraction. Second, each verification technique is complemented by an approach to measure the achieved verification quality. The new flow distinguishes three levels of abstraction (namely system level, top level and block level) and can be incorporated in existing approaches. After reviewing the preliminary concepts, in the following chapters the three levels for modeling and verification are considered in detail. At each level the verification quality is measured. In summary, following the new design and verification flow a high overall quality results. Full Product DetailsAuthor: Daniel Große , Rolf DrechslerPublisher: Springer Imprint: Springer Edition: 2010 ed. Dimensions: Width: 15.50cm , Height: 1.00cm , Length: 23.50cm Weight: 0.454kg ISBN: 9789400791923ISBN 10: 9400791925 Pages: 170 Publication Date: 16 October 2014 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: Manufactured on demand  We will order this item for you from a manufactured on demand supplier. Table of ContentsPreliminaries.- System-Level Verification.- Block-Level Verification.- Top-Level Verification.- Summary and Conclusions.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |
||||
