skip to content
Hardware design verification : simulation and formal method-based approaches Preview this item
ClosePreview this item
Checking...

Hardware design verification : simulation and formal method-based approaches

Author: William K C Lam
Publisher: Upper Saddle River, NJ : Prentice Hall Professional Technical Reference, ©2005.
Series: Prentice Hall modern semiconductor design series.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Serves as a guide to Modern Digital Design Verification. This title presents simulation-based and formal verification techniques, helping test and design engineers choose the best approach for each  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: William K C Lam
ISBN: 0131433474 9780131433472 0137010923 9780137010929
OCLC Number: 56941884
Description: xxv, 585 pages : illustrations ; 24 cm.
Contents: Ch. 1. An invitation to design verification --
Ch. 2. Coding for verification --
Ch. 3. Simulator architectures and operations --
Ch. 4. Test bench organization and design --
Ch. 5. Test scenarios, assertions, and coverage --
Ch. 6. Debugging process and verification cycle --
Ch. 7. Formal verification preliminaries --
Ch. 8. Decision diagrams, equivalence checking, and symbolic simulation --
Ch. 9. Model checking and symbolic computation.
Series Title: Prentice Hall modern semiconductor design series.
Responsibility: William K. Lam.
More information:

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/56941884> # Hardware design verification : simulation and formal method-based approaches
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "56941884" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/801793120#Place/upper_saddle_river_nj> ; # Upper Saddle River, NJ
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    schema:about <http://id.loc.gov/authorities/subjects/sh93005422> ; # Integrated circuits--Verification
    schema:about <http://dewey.info/class/621.392/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/801793120#Topic/hardwareverifikation> ; # Hardwareverifikation
    schema:about <http://experiment.worldcat.org/entity/work/data/801793120#Topic/verifikation> ; # Verifikation
    schema:about <http://experiment.worldcat.org/entity/work/data/801793120#Topic/hardwareentwurf> ; # Hardwareentwurf
    schema:about <http://id.worldcat.org/fast/975600> ; # Integrated circuits--Verification
    schema:bookFormat bgn:PrintBook ;
    schema:copyrightYear "2005" ;
    schema:creator <http://viaf.org/viaf/261800037> ; # William K. C. Lam
    schema:datePublished "2005" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/801793120> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/801793120#Series/prentice_hall_modern_semiconductor_design_series> ; # Prentice Hall modern semiconductor design series.
    schema:name "Hardware design verification : simulation and formal method-based approaches"@en ;
    schema:productID "56941884" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/56941884#PublicationEvent/upper_saddle_river_nj_prentice_hall_professional_technical_reference_2005> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/801793120#Agent/prentice_hall_professional_technical_reference> ; # Prentice Hall Professional Technical Reference
    schema:url <http://catdir.loc.gov/catdir/toc/ecip053/2004026386.html> ;
    schema:url <http://proquest.safaribooksonline.com/0131433474> ;
    schema:workExample <http://worldcat.org/isbn/9780137010929> ;
    schema:workExample <http://worldcat.org/isbn/9780131433472> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBA517982> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/56941884> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/801793120#Agent/prentice_hall_professional_technical_reference> # Prentice Hall Professional Technical Reference
    a bgn:Agent ;
    schema:name "Prentice Hall Professional Technical Reference" ;
    .

<http://experiment.worldcat.org/entity/work/data/801793120#Place/upper_saddle_river_nj> # Upper Saddle River, NJ
    a schema:Place ;
    schema:name "Upper Saddle River, NJ" ;
    .

<http://experiment.worldcat.org/entity/work/data/801793120#Series/prentice_hall_modern_semiconductor_design_series> # Prentice Hall modern semiconductor design series.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/56941884> ; # Hardware design verification : simulation and formal method-based approaches
    schema:name "Prentice Hall modern semiconductor design series." ;
    schema:name "Prentice Hall modern semiconductor design series" ;
    .

<http://experiment.worldcat.org/entity/work/data/801793120#Topic/hardwareverifikation> # Hardwareverifikation
    a schema:Intangible ;
    schema:name "Hardwareverifikation"@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/261800037> # William K. C. Lam
    a schema:Person ;
    schema:birthDate "1962" ;
    schema:familyName "Lam" ;
    schema:givenName "William K. C." ;
    schema:name "William K. C. Lam" ;
    .

<http://worldcat.org/isbn/9780131433472>
    a schema:ProductModel ;
    schema:isbn "0131433474" ;
    schema:isbn "9780131433472" ;
    .

<http://worldcat.org/isbn/9780137010929>
    a schema:ProductModel ;
    schema:isbn "0137010923" ;
    schema:isbn "9780137010929" ;
    .

<http://www.worldcat.org/title/-/oclc/56941884>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/56941884> ; # Hardware design verification : simulation and formal method-based approaches
    schema:dateModified "2018-11-08" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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