zum Inhalt wechseln
A Practical Guide for SystemVerilog Assertions Titelvorschau
SchließenTitelvorschau
Prüfung…

A Practical Guide for SystemVerilog Assertions

Verfasser/in: Meyyappan Ramanathan; Srikanth Vijayaraghavan
Verlag: [New York] : Springer Science+Business Media, Inc., 2005.
Ausgabe/Format   Print book : EnglischAlle Ausgaben und Formate anzeigen
Datenbank:WorldCat
Zusammenfassung:

SystemVerilog language consists of three categories of features. Assertions add a whole new dimension to the ASIC verification process. Engineers are used to writing testbenches in verilog that help  Weiterlesen…

Bewertung:

(noch nicht bewertet) 0 mit Rezensionen - Verfassen Sie als Erste eine Rezension.

Ähnliche Titel

 

Exemplar ausleihen

&AllPage.SpinnerRetrieving; Suche nach Bibliotheken, die diesen Titel besitzen ...

Details

Dokumenttyp: Buch
Alle Autoren: Meyyappan Ramanathan; Srikanth Vijayaraghavan
ISBN: 9780387260495 0387260498 9780387261737 0387261737
OCLC-Nummer: 318289853
Inhalt: Assertion Based Verification.- to SVA.- SVA Simulation Methodology.- SVA for Finite State Machines.- SVA for Data Intensive Designs.- SVA for Memories.- SVA for Protocol Interface.- Checking the Checker.
Verfasserangabe: Meyyappan Ramanathan.

Rezensionen

Nutzer-Rezensionen
Suche nach GoodReads-Rezensionen
Suche nach DOGObooks-Rezensionen…

Tags

Tragen Sie als Erste Tags ein.

Ähnliche Titel

Nutzerlisten mit diesen Titeln (1)

Anfrage bestätigen

Sie haben diesen Titel bereits angefordert. Wenn Sie trotzdem fortfahren möchten, klicken Sie auf OK.

Verlinkung


Primary Entity

<http://www.worldcat.org/oclc/318289853> # A Practical Guide for SystemVerilog Assertions
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "318289853" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/nyu> ;
   schema:about <http://dewey.info/class/620/> ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/137746788#Person/vijayaraghavan_srikanth> ; # Srikanth Vijayaraghavan
   schema:creator <http://experiment.worldcat.org/entity/work/data/137746788#Person/ramanathan_meyyappan> ; # Meyyappan Ramanathan
   schema:datePublished "2005" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/137746788> ;
   schema:inLanguage "en" ;
   schema:name "A Practical Guide for SystemVerilog Assertions" ;
   schema:productID "318289853" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/318289853#PublicationEvent/new_york_springer_science+business_media_inc_2005> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/137746788#Agent/springer_science+business_media_inc> ; # Springer Science+Business Media, Inc.
   schema:workExample <http://worldcat.org/isbn/9780387261737> ;
   schema:workExample <http://worldcat.org/isbn/9780387260495> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/318289853> ;
    .


Related Entities

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

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

<http://experiment.worldcat.org/entity/work/data/137746788#Person/ramanathan_meyyappan> # Meyyappan Ramanathan
    a schema:Person ;
   schema:familyName "Ramanathan" ;
   schema:givenName "Meyyappan" ;
   schema:name "Meyyappan Ramanathan" ;
    .

<http://experiment.worldcat.org/entity/work/data/137746788#Person/vijayaraghavan_srikanth> # Srikanth Vijayaraghavan
    a schema:Person ;
   schema:familyName "Vijayaraghavan" ;
   schema:givenName "Srikanth" ;
   schema:name "Srikanth Vijayaraghavan" ;
    .

<http://worldcat.org/isbn/9780387260495>
    a schema:ProductModel ;
   schema:isbn "0387260498" ;
   schema:isbn "9780387260495" ;
    .

<http://worldcat.org/isbn/9780387261737>
    a schema:ProductModel ;
   schema:isbn "0387261737" ;
   schema:isbn "9780387261737" ;
    .


Content-negotiable representations

Fenster schließen

Bitte in WorldCat einloggen 

Sie haben kein Konto? Sie können sehr einfach ein kostenloses Konto anlegen,.