skip to content
Quality-driven SystemC design Preview this item
ClosePreview this item
Checking...

Quality-driven SystemC design

Author: Daniel Grosse; Rolf Drechsler
Publisher: Dordrecht ; London : Springer, ©2010.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:
"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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Daniel Grosse; Rolf Drechsler
ISBN: 9789048136308 904813630X 9048136318 9789048136315
OCLC Number: 502404711
Description: xix, 170 pages : illustrations ; 24 cm
Contents: Introduction --
Preliminaries. Boolean reasoning ; Circuits ; Formal verification ; System C. --
System-level verification. Constraint-based simulation ; Improvements for constraint-based simulation ; Contradiction analysis for constraint-basted simulation ; Measuring the quality of testbenchess ; Summary and future work. --
Block-level verification. Property checking ; Acceleration of iterative property checking ; Contradictory antecedent debugging for property checking ; Analyzing functional coverage in property checking ; Summary and future work. --
Top-level verification. Checker generation ; HW/SW Co-verification for embedded systems ; Summary and future work. --
Summary and conclusion.
Responsibility: Daniel Grosse, Rolf Drechsler.

Abstract:

This text offers a quality-driven design and verification flow for digital systems. Dedicated verification techniques are integrated which target the different levels of abstraction, and each  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/502404711> # Quality-driven SystemC design
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "502404711" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/375515839#Place/dordrecht> ; # Dordrecht
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/375515839#Topic/digitales_system> ; # Digitales System
   schema:about <http://experiment.worldcat.org/entity/work/data/375515839#Topic/entwurfsautomation> ; # Entwurfsautomation
   schema:about <http://dewey.info/class/004.21/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/375515839#Topic/systemc> ; # SystemC
   schema:about <http://id.worldcat.org/fast/1141401> ; # System design
   schema:about <http://experiment.worldcat.org/entity/work/data/375515839#Topic/model_checking> ; # Model Checking
   schema:about <http://id.worldcat.org/fast/843279> ; # C (Computer program language)
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/64793347> ; # Rolf Drechsler
   schema:copyrightYear "2010" ;
   schema:creator <http://viaf.org/viaf/80945590> ; # Daniel Grosse
   schema:datePublished "2010" ;
   schema:description "Introduction -- Preliminaries. Boolean reasoning ; Circuits ; Formal verification ; System C. -- System-level verification. Constraint-based simulation ; Improvements for constraint-based simulation ; Contradiction analysis for constraint-basted simulation ; Measuring the quality of testbenchess ; Summary and future work. -- Block-level verification. Property checking ; Acceleration of iterative property checking ; Contradictory antecedent debugging for property checking ; Analyzing functional coverage in property checking ; Summary and future work. -- Top-level verification. Checker generation ; HW/SW Co-verification for embedded systems ; Summary and future work. -- Summary and conclusion."@en ;
   schema:description ""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."--Publisher's website."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/375515839> ;
   schema:inLanguage "en" ;
   schema:name "Quality-driven SystemC design"@en ;
   schema:productID "502404711" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/502404711#PublicationEvent/dordrecht_london_springer_2010> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/375515839#Agent/springer> ; # Springer
   schema:url <http://www.gbv.de/dms/ilmenau/toc/608552356.PDF> ;
   schema:workExample <http://worldcat.org/isbn/9789048136308> ;
   schema:workExample <http://worldcat.org/isbn/9789048136315> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA9A9665> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/502404711> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
   schema:name "London" ;
    .

<http://id.worldcat.org/fast/1141401> # System design
    a schema:Intangible ;
   schema:name "System design"@en ;
    .

<http://id.worldcat.org/fast/843279> # C (Computer program language)
    a schema:Intangible ;
   schema:name "C (Computer program language)"@en ;
    .

<http://viaf.org/viaf/64793347> # Rolf Drechsler
    a schema:Person ;
   schema:familyName "Drechsler" ;
   schema:givenName "Rolf" ;
   schema:name "Rolf Drechsler" ;
    .

<http://viaf.org/viaf/80945590> # Daniel Grosse
    a schema:Person ;
   schema:familyName "Grosse" ;
   schema:givenName "Daniel" ;
   schema:name "Daniel Grosse" ;
    .

<http://worldcat.org/isbn/9789048136308>
    a schema:ProductModel ;
   schema:isbn "904813630X" ;
   schema:isbn "9789048136308" ;
    .

<http://worldcat.org/isbn/9789048136315>
    a schema:ProductModel ;
   schema:isbn "9048136318" ;
   schema:isbn "9789048136315" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.