skip to content
Creating assertion-based IP Preview this item
ClosePreview this item
Checking...

Creating assertion-based IP

Author: Harry Foster; Adam C Krolnik
Publisher: New York, NY : Springer, ©2008.
Series: Series on integrated circuits and systems.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
"Assertion-based IP is much more than a comprehensive set of related assertions. It is a full-fledged reusable and configurable transaction-level verification component, which is used to detect both interesting and incorrect behaviors. Upon detecting interesting or incorrect behavior, the assertion-based IP alerts other verification components within a simulation environment, which are responsible for taking  Read more...
Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Foster, Harry, 1956-
Creating assertion-based IP.
New York, NY : Springer, ©2008
(Uk)cou00136093
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Harry Foster; Adam C Krolnik
ISBN: 0387366415 9780387366418 9780387683980 0387683984
OCLC Number: 288194412
Description: 1 online resource (xviii, 313 pages) : illustrations.
Contents: Definitions and Terminology --
The Process --
Bus-Based Design Example --
Interfaces --
Arbiters --
Controllers --
Datapath.
Series Title: Series on integrated circuits and systems.
Responsibility: Harry D. Foster, Adam C. Krolnik.

Abstract:

This book presents formal testplanning guidelines with examples focused on creating assertion-based verification IP. It demonstrates a systematic process for formal specification and formal  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/288194412> # Creating assertion-based IP
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "288194412" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/131377863#Place/new_york_ny> ; # New York, NY
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
    schema:about <http://id.loc.gov/authorities/subjects/sh93005422> ; # Integrated circuits--Verification
    schema:about <http://dewey.info/class/621.381548/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/131377863#Topic/technology_&_engineering_electronics_circuits_integrated> ; # TECHNOLOGY & ENGINEERING--Electronics--Circuits--Integrated
    schema:about <http://experiment.worldcat.org/entity/work/data/131377863#Topic/technology_&_engineering_electronics_circuits_general> ; # TECHNOLOGY & ENGINEERING--Electronics--Circuits--General
    schema:about <http://experiment.worldcat.org/entity/work/data/131377863#Topic/integrated_circuits_verification> ; # Integrated circuits--Verification
    schema:about <http://id.worldcat.org/fast/975600> ; # Integrated circuits--Verification
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/4302072> ; # Adam C. Krolnik
    schema:copyrightYear "2008" ;
    schema:creator <http://viaf.org/viaf/117013910> ; # Harry Foster
    schema:datePublished "2008" ;
    schema:description "Definitions and Terminology -- The Process -- Bus-Based Design Example -- Interfaces -- Arbiters -- Controllers -- Datapath."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/131377863> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/131377863#Series/series_on_integrated_circuits_and_systems> ; # Series on integrated circuits and systems.
    schema:isSimilarTo <http://worldcat.org/entity/work/data/131377863#CreativeWork/creating_assertion_based_ip> ;
    schema:name "Creating assertion-based IP"@en ;
    schema:productID "288194412" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/288194412#PublicationEvent/new_york_ny_springer_2008> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/131377863#Agent/springer> ; # Springer
    schema:reviews <http://www.worldcat.org/title/-/oclc/288194412#Review/-548073544> ;
    schema:url <https://link.springer.com/openurl?genre=book&isbn=978-0-387-36641-8> ;
    schema:url <http://www.SLQ.eblib.com.au/patron/FullRecord.aspx?p=337453> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-0-387-36641-8> ;
    schema:url <http://libproxy.uwyo.edu/login/?url=http://link.springer.com/10.1007/978-0-387-68398-0> ;
    schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=222026> ;
    schema:url <http://www.myilibrary.com?id=113398&ref=toc> ;
    schema:url <http://dx.doi.org/10.1007/978-0-387-68398-0> ;
    schema:url <http://www.myilibrary.com?id=113398> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-31204-0> ;
    schema:url <http://rave.ohiolink.edu/ebooks/ebc/9780387683980> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-0-387-36641-8> ;
    schema:workExample <http://worldcat.org/isbn/9780387683980> ;
    schema:workExample <http://worldcat.org/isbn/9780387366418> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA728363> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/288194412> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/131377863#Series/series_on_integrated_circuits_and_systems> # Series on integrated circuits and systems.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/288194412> ; # Creating assertion-based IP
    schema:name "Series on integrated circuits and systems." ;
    schema:name "Series on integrated circuits and systems" ;
    .

<http://experiment.worldcat.org/entity/work/data/131377863#Topic/integrated_circuits_verification> # Integrated circuits--Verification
    a schema:Intangible ;
    schema:name "Integrated circuits--Verification"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/131377863#Topic/technology_&_engineering_electronics_circuits_general> # TECHNOLOGY & ENGINEERING--Electronics--Circuits--General
    a schema:Intangible ;
    schema:name "TECHNOLOGY & ENGINEERING--Electronics--Circuits--General"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/131377863#Topic/technology_&_engineering_electronics_circuits_integrated> # TECHNOLOGY & ENGINEERING--Electronics--Circuits--Integrated
    a schema:Intangible ;
    schema:name "TECHNOLOGY & ENGINEERING--Electronics--Circuits--Integrated"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh93005422> # Integrated circuits--Verification
    a schema:Intangible ;
    schema:name "Integrated circuits--Verification"@en ;
    .

<http://id.worldcat.org/fast/975600> # Integrated circuits--Verification
    a schema:Intangible ;
    schema:name "Integrated circuits--Verification"@en ;
    .

<http://viaf.org/viaf/117013910> # Harry Foster
    a schema:Person ;
    schema:birthDate "1956" ;
    schema:familyName "Foster" ;
    schema:givenName "Harry" ;
    schema:name "Harry Foster" ;
    .

<http://viaf.org/viaf/4302072> # Adam C. Krolnik
    a schema:Person ;
    schema:familyName "Krolnik" ;
    schema:givenName "Adam C." ;
    schema:name "Adam C. Krolnik" ;
    .

<http://worldcat.org/entity/work/data/131377863#CreativeWork/creating_assertion_based_ip>
    a schema:CreativeWork ;
    rdfs:label "Creating assertion-based IP." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/288194412> ; # Creating assertion-based IP
    .

<http://worldcat.org/isbn/9780387366418>
    a schema:ProductModel ;
    schema:isbn "0387366415" ;
    schema:isbn "9780387366418" ;
    .

<http://worldcat.org/isbn/9780387683980>
    a schema:ProductModel ;
    schema:isbn "0387683984" ;
    schema:isbn "9780387683980" ;
    .

<http://www.worldcat.org/title/-/oclc/288194412#Review/-548073544>
    a schema:Review ;
    schema:itemReviewed <http://www.worldcat.org/oclc/288194412> ; # Creating assertion-based IP
    schema:reviewBody ""Assertion-based IP is much more than a comprehensive set of related assertions. It is a full-fledged reusable and configurable transaction-level verification component, which is used to detect both interesting and incorrect behaviors. Upon detecting interesting or incorrect behavior, the assertion-based IP alerts other verification components within a simulation environment, which are responsible for taking appropriate action. The focus of this book is to bring the assertion discussion up to a higher level and introduce a process for creating effective, reusable, assertion-based IP, which easily integrates with the user's existing verification environment, in other words the testbench infrastructure."--Jacket." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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