skip to content
Functional Verification Coverage Measurement and Analysis Preview this item
ClosePreview this item
Checking...

Functional Verification Coverage Measurement and Analysis

Author: Andrew Piziali
Publisher: Boston, MA : Springer Science+Business Media, LLC, 2008.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
Annotation This book addresses a means of quantitatively assessing functional verification progress. Without this process, design and verification engineers, and their management, are left guessing whether or not they have completed verifying the device they are designing. Using the techniques described in this book, they will learn how to build a toolset which allows them to know how close they are to functional  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: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Andrew Piziali
ISBN: 9781402080265 1402080263 9780387739922 0387739920 9781402080258 1402080255
OCLC Number: 767198150
Description: 1 online resource.
Contents: The Language of Coverage.- Functional Verification.- Measuring Verification Coverage.- Functional Coverage.- Code Coverage.- Assertion Coverage.- Coverage-Driven Verification.- Improving Coverage Fidelity With Hybrid Models.
Responsibility: by Andrew Piziali.

Abstract:

This book addresses a means of quantitatively assessing functional verification progress. Without this process, design and verification engineers, and management, are left guessing whether or not  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/767198150> # Functional Verification Coverage Measurement and Analysis
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
   library:oclcnum "767198150" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/14241298#Place/boston_ma> ; # Boston, MA
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   schema:about <http://id.worldcat.org/fast/1141455> ; # Systems engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/14241298#Topic/computer_aided_engineering_cad_cae_and_design> ; # Computer-Aided Engineering (CAD, CAE) and Design
   schema:about <http://experiment.worldcat.org/entity/work/data/14241298#Topic/circuits_and_systems> ; # Circuits and Systems
   schema:about <http://id.loc.gov/authorities/subjects/sh85029476> ; # Computer-aided design
   schema:about <http://id.loc.gov/authorities/subjects/sh85043176> ; # Engineering
   schema:about <http://id.loc.gov/authorities/subjects/sh85131750> ; # Systems engineering
   schema:about <http://id.worldcat.org/fast/910312> ; # Engineering
   schema:about <http://id.worldcat.org/fast/872701> ; # Computer-aided design
   schema:about <http://experiment.worldcat.org/entity/work/data/14241298#Topic/electronic_and_computer_engineering> ; # Electronic and Computer Engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/14241298#Topic/integrated_circuits> ; # Integrated Circuits
   schema:about <http://dewey.info/class/621.381548/e22/> ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/71672328> ; # Andrew Piziali
   schema:datePublished "2008" ;
   schema:description "Annotation This book addresses a means of quantitatively assessing functional verification progress. Without this process, design and verification engineers, and their management, are left guessing whether or not they have completed verifying the device they are designing. Using the techniques described in this book, they will learn how to build a toolset which allows them to know how close they are to functional closure. This is the first book to introduce a useful taxonomy for coverage of metric classification. Using this taxonomy, the reader will clearly understand the process of creating an effective coverage model. This book offers a thoughtful and comprehensive treatment of its subject for anybody who is really serious about functional verification."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/14241298> ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/14241298#CreativeWork/> ;
   schema:name "Functional Verification Coverage Measurement and Analysis"@en ;
   schema:productID "767198150" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/767198150#PublicationEvent/boston_ma_springer_science+business_media_llc_2008> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/14241298#Agent/springer_science+business_media_llc> ; # Springer Science+Business Media, LLC
   schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=114604> ;
   schema:url <http://dx.doi.org/10.1007/b117979> ;
   schema:workExample <http://worldcat.org/isbn/9780387739922> ;
   schema:workExample <http://worldcat.org/isbn/9781402080258> ;
   schema:workExample <http://worldcat.org/isbn/9781402080265> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/767198150> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/14241298#Agent/springer_science+business_media_llc> # Springer Science+Business Media, LLC
    a bgn:Agent ;
   schema:name "Springer Science+Business Media, LLC" ;
    .

<http://experiment.worldcat.org/entity/work/data/14241298#Topic/circuits_and_systems> # Circuits and Systems
    a schema:Intangible ;
   schema:name "Circuits and Systems"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/14241298#Topic/computer_aided_engineering_cad_cae_and_design> # Computer-Aided Engineering (CAD, CAE) and Design
    a schema:Intangible ;
   schema:name "Computer-Aided Engineering (CAD, CAE) and Design"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/14241298#Topic/electronic_and_computer_engineering> # Electronic and Computer Engineering
    a schema:Intangible ;
   schema:name "Electronic and Computer Engineering"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/14241298#Topic/integrated_circuits> # Integrated Circuits
    a schema:Intangible ;
   schema:name "Integrated Circuits"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85029476> # Computer-aided design
    a schema:Intangible ;
   schema:name "Computer-aided design"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85043176> # Engineering
    a schema:Intangible ;
   schema:name "Engineering"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85131750> # Systems engineering
    a schema:Intangible ;
   schema:name "Systems engineering"@en ;
    .

<http://id.worldcat.org/fast/1141455> # Systems engineering
    a schema:Intangible ;
   schema:name "Systems engineering"@en ;
    .

<http://id.worldcat.org/fast/872701> # Computer-aided design
    a schema:Intangible ;
   schema:name "Computer-aided design"@en ;
    .

<http://id.worldcat.org/fast/910312> # Engineering
    a schema:Intangible ;
   schema:name "Engineering"@en ;
    .

<http://viaf.org/viaf/71672328> # Andrew Piziali
    a schema:Person ;
   schema:familyName "Piziali" ;
   schema:givenName "Andrew" ;
   schema:name "Andrew Piziali" ;
    .

<http://worldcat.org/entity/work/data/14241298#CreativeWork/>
    a schema:CreativeWork ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/767198150> ; # Functional Verification Coverage Measurement and Analysis
    .

<http://worldcat.org/isbn/9780387739922>
    a schema:ProductModel ;
   schema:isbn "0387739920" ;
   schema:isbn "9780387739922" ;
    .

<http://worldcat.org/isbn/9781402080258>
    a schema:ProductModel ;
   schema:isbn "1402080255" ;
   schema:isbn "9781402080258" ;
    .

<http://worldcat.org/isbn/9781402080265>
    a schema:ProductModel ;
   schema:isbn "1402080263" ;
   schema:isbn "9781402080265" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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