Quality-Driven SystemC Design
Produktnummer:
18187e0494d1aa418ebcad9429ae0bebd9
| Autor: | Drechsler, Rolf Große, Daniel |
|---|---|
| Themengebiete: | Formal Methods High-Level System Design Quality Driven Design System SystemC Transaction Level Modeling (TLM) Verification embedded systems |
| Veröffentlichungsdatum: | 23.12.2009 |
| EAN: | 9789048136308 |
| Sprache: | Englisch |
| Seitenzahl: | 170 |
| Produktart: | Gebunden |
| Verlag: | Springer Netherland |
Produktinformationen "Quality-Driven SystemC Design"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen