Verwandte Artikel zu Quality-Driven SystemC Design

Quality-Driven SystemC Design - Hardcover

 
9789048136308: Quality-Driven SystemC Design

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Von der hinteren Coverseite

Faced with the steadily increasing complexity and rapidly shortening time-to-market requirements designing electronic systems is a very challenging task. To manage this situation effectively the level of abstraction in modeling has been raised during the past years in the computer aided design community. Meanwhile, for the so-called system-level design the system description language SystemC has become the de facto standard. However, while modeling from abstract to synthesizable descriptions in combination with specification concepts like Transaction Level Modeling (TLM) leads to very good results, the verification quality is poor. The two main reasons are that (1) the existing SystemC verification techniques do not escort the different abstraction levels effectively and (2) in particular the resulting quality in terms of the covered functionality is only checked manually. Hence, due to the increasing design complexity the number of undetected errors is growing rapidly.

Therefore 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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagSpringer
  • Erscheinungsdatum2009
  • ISBN 10 904813630X
  • ISBN 13 9789048136308
  • EinbandTapa dura
  • SpracheEnglisch
  • Auflage1
  • Anzahl der Seiten192
  • Kontakt zum HerstellerNicht verfügbar

Gebraucht kaufen

Zustand: Gut
170 Seiten; Das hier angebotene...
Diesen Artikel anzeigen

EUR 3,20 für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9789400791923: Quality-Driven SystemC Design

Vorgestellte Ausgabe

ISBN 10:  9400791925 ISBN 13:  9789400791923
Verlag: Springer, 2014
Softcover

Suchergebnisse für Quality-Driven SystemC Design

Foto des Verkäufers

Große, Daniel and Rolf Drechsler:
Verlag: Springer, 2010
ISBN 10: 904813630X ISBN 13: 9789048136308
Gebraucht Hardcover

Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

gebundene Ausgabe. Zustand: Gut. 170 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); Schnitt und Einband sind etwas staubschmutzig; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Text in ENGLISCHER Sprache! Sprache: Englisch Gewicht in Gramm: 450. Artikel-Nr. 1587041

Verkäufer kontaktieren

Gebraucht kaufen

EUR 59,95
Währung umrechnen
Versand: EUR 3,20
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Daniel Große, Rolf Drechsler
Verlag: SPRINGER NATURE, 2009
ISBN 10: 904813630X ISBN 13: 9789048136308
Gebraucht Hardcover

Anbieter: Buchpark, Trebbin, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Sehr gut. Zustand: Sehr gut - Neubindung, Buchschnitt leicht verkürzt | Seiten: 170 | Sprache: Englisch | Produktart: Sonstiges. Artikel-Nr. 5831110/12

Verkäufer kontaktieren

Gebraucht kaufen

EUR 65,01
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Daniel Große
Verlag: Springer, 2009
ISBN 10: 904813630X ISBN 13: 9789048136308
Neu Hardcover

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Artikel-Nr. 9789048136308

Verkäufer kontaktieren

Neu kaufen

EUR 109,94
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Große, Daniel; Drechsler, Rolf
Verlag: Springer, 2009
ISBN 10: 904813630X ISBN 13: 9789048136308
Neu Hardcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Artikel-Nr. ria9789048136308_new

Verkäufer kontaktieren

Neu kaufen

EUR 119,85
Währung umrechnen
Versand: EUR 5,94
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb