Items related to Quality-Driven SystemC Design

Quality-Driven SystemC Design - Softcover

 
9789400791923: 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 date2014
  • ISBN 10 9400791925
  • ISBN 13 9789400791923
  • BindingPaperback
  • LanguageEnglish
  • Number of pages189

Buy Used

Condition: As New
Like New
View this item

US$ 33.88 shipping from United Kingdom to U.S.A.

Destination, rates & speeds

Other Popular Editions of the Same Title

9789048136308: Quality-Driven SystemC Design

Featured Edition

ISBN 10:  904813630X ISBN 13:  9789048136308
Publisher: Springer, 2009
Hardcover

Search results for Quality-Driven SystemC Design

Stock Image

Große, Daniel; Drechsler, Rolf
Published by Springer, 2014
ISBN 10: 9400791925 ISBN 13: 9789400791923
New Softcover

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 # ABLIING23Apr0412070051854

Contact seller

Buy New

US$ 116.06
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Rolf Drechsler
Published by Springer Netherlands Okt 2014, 2014
ISBN 10: 9400791925 ISBN 13: 9789400791923
New Taschenbuch
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

Taschenbuch. 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. 192 pp. Englisch. Seller Inventory # 9789400791923

Contact seller

Buy New

US$ 125.87
Convert currency
Shipping: US$ 26.27
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Große, Daniel; Drechsler, Rolf
Published by Springer, 2014
ISBN 10: 9400791925 ISBN 13: 9789400791923
New Softcover

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 # ria9789400791923_new

Contact seller

Buy New

US$ 136.26
Convert currency
Shipping: US$ 16.23
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Rolf Drechsler
ISBN 10: 9400791925 ISBN 13: 9789400791923
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

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

Taschenbuch. 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 # 9789400791923

Contact seller

Buy New

US$ 129.34
Convert currency
Shipping: US$ 33.68
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

Daniel Große|Rolf Drechsler
Published by Springer Netherlands, 2014
ISBN 10: 9400791925 ISBN 13: 9789400791923
New Softcover
Print on Demand

Seller: moluna, Greven, Germany

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

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 # 11511163

Contact seller

Buy New

US$ 108.55
Convert currency
Shipping: US$ 55.96
From Germany to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Große, Daniel; Drechsler, Rolf
Published by Springer, 2014
ISBN 10: 9400791925 ISBN 13: 9789400791923
New Softcover

Seller: Books Puddle, New York, NY, U.S.A.

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

Condition: New. pp. 192. Seller Inventory # 26359507546

Contact seller

Buy New

US$ 169.85
Convert currency
Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Große, Daniel; Drechsler, Rolf
Published by Springer, 2014
ISBN 10: 9400791925 ISBN 13: 9789400791923
New Softcover
Print on Demand

Seller: Majestic Books, Hounslow, United Kingdom

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

Condition: New. Print on Demand pp. 192. Seller Inventory # 354032005

Contact seller

Buy New

US$ 174.26
Convert currency
Shipping: US$ 8.81
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

Seller Image

Rolf Drechsler
ISBN 10: 9400791925 ISBN 13: 9789400791923
New Taschenbuch
Print on Demand

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

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

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch. Seller Inventory # 9789400791923

Contact seller

Buy New

US$ 125.87
Convert currency
Shipping: US$ 62.82
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Große, Daniel; Drechsler, Rolf
Published by Springer, 2014
ISBN 10: 9400791925 ISBN 13: 9789400791923
New Softcover
Print on Demand

Seller: Biblios, Frankfurt am main, HESSE, Germany

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

Condition: New. PRINT ON DEMAND pp. 192. Seller Inventory # 18359507536

Contact seller

Buy New

US$ 190.80
Convert currency
Shipping: US$ 11.36
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 4 available

Add to basket

Stock Image

Große, Daniel, Drechsler, Rolf
Published by Springer, 2014
ISBN 10: 9400791925 ISBN 13: 9789400791923
Used Paperback

Seller: dsmbooks, Liverpool, United Kingdom

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

Paperback. Condition: Like New. Like New. book. Seller Inventory # D8F0-0-M-9400791925-6

Contact seller

Buy Used

US$ 181.25
Convert currency
Shipping: US$ 33.88
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket