A 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.
Produktkennzeichnungen
ISBN-10
904813630x
ISBN-13
9789048136308
eBay Product ID (ePID)
81900038
Produkt Hauptmerkmale
Sprache
Englisch
Anzahl der Seiten
170 Seiten
Verlag
Springer Nature, Springer Netherland
Autor
Daniel Groe
Buchtitel
Quality-Driven Systemc Design
Format
Gebundene Ausgabe
Erscheinungsjahr
2009
Zusätzliche Produkteigenschaften
Hörbuch
No
Item Length
24cm
Item Height
2cm
Item Width
16cm
Mitautor
Rolf Drechsler
Item Weight
437g
Best Selling in Books
Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Books