Items related to Quality-Driven SystemC Design

Quality-Driven SystemC Design - Hardcover

 
9789048136308: Quality-Driven SystemC Design

Synopsis

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.

"synopsis" may belong to another edition of this title.

From the Back Cover

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.

"About this title" may belong to another edition of this title.

  • PublisherSpringer
  • Publication date2009
  • ISBN 10 904813630X
  • ISBN 13 9789048136308
  • BindingHardcover
  • LanguageEnglish
  • Number of pages189

Buy Used

Condition: Very Good
170 Seiten; Das hier angebotene...
View this item

£ 6.65 shipping from Germany to United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

9789400791923: Quality-Driven SystemC Design

Featured Edition

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

Search results for Quality-Driven SystemC Design

Seller Image

Große, Daniel and Rolf Drechsler:
Published by Springer, 2010
ISBN 10: 904813630X ISBN 13: 9789048136308
Used Hardcover

Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

gebundene Ausgabe. Condition: 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. Seller Inventory # 1587041

Contact seller

Buy Used

£ 51.64
Convert currency
Shipping: £ 6.65
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Daniel Große, Rolf Drechsler
Published by SPRINGER NATURE, 2009
ISBN 10: 904813630X ISBN 13: 9789048136308
Used Hardcover

Seller: Buchpark, Trebbin, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Sehr gut. Zustand: Sehr gut - Neubindung, Buchschnitt leicht verkürzt | Seiten: 170 | Sprache: Englisch | Produktart: Sonstiges. Seller Inventory # 5831110/12

Contact seller

Buy Used

£ 56
Convert currency
Shipping: £ 7.44
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Große, Daniel; Drechsler, Rolf
Published by Springer, 2009
ISBN 10: 904813630X ISBN 13: 9789048136308
New Hardcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9789048136308_new

Contact seller

Buy New

£ 97.62
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Daniel Große|Rolf Drechsler
Published by Springer Netherlands, 2009
ISBN 10: 904813630X ISBN 13: 9789048136308
New Hardcover
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Dedicated verification techniques for the different abstraction levels of System CVerification quality is measured throughout the refinement of the designIntegrated design and verification flowDedication. List of Figures. List of Ta. Seller Inventory # 5817759

Contact seller

Buy New

£ 80.11
Convert currency
Shipping: £ 20.90
From Germany to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Daniel Große
Published by SPRINGER NATURE Dez 2009, 2009
ISBN 10: 904813630X ISBN 13: 9789048136308
New Hardcover
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 170 pp. Englisch. Seller Inventory # 9789048136308

Contact seller

Buy New

£ 92.16
Convert currency
Shipping: £ 9.20
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

Daniel Große
Published by Springer, 2009
ISBN 10: 904813630X ISBN 13: 9789048136308
New Hardcover

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Buch. Condition: 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. Seller Inventory # 9789048136308

Contact seller

Buy New

£ 94.70
Convert currency
Shipping: £ 11.70
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Große, Daniel; Drechsler, Rolf
Published by Springer, 2009
ISBN 10: 904813630X ISBN 13: 9789048136308
New Hardcover

Seller: California Books, Miami, FL, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # I-9789048136308

Contact seller

Buy New

£ 110.45
Convert currency
Shipping: £ 7.45
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Große, Daniel; Drechsler, Rolf
Published by Springer, 2009
ISBN 10: 904813630X ISBN 13: 9789048136308
New Hardcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Apr0316110335512

Contact seller

Buy New

£ 89.30
Convert currency
Shipping: £ 55.85
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket