aller au contenu
A Practical Guide for SystemVerilog Assertions Aperçu de cet ouvrage
FermerAperçu de cet ouvrage
Vérification...

A Practical Guide for SystemVerilog Assertions

Auteur : Meyyappan Ramanathan; Srikanth Vijayaraghavan
Éditeur : [New York] : Springer Science+Business Media, Inc., 2005.
Édition/format :   Livre imprimé : EnglishVoir toutes les éditions et tous les formats
Base de données :WorldCat
Résumé :

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  Lire la suite...

Évaluation :

(pas encore évalué) 0 avec des critiques - Soyez le premier.

Plus comme ceci

 

Trouver un exemplaire dans la bibliothèque

&AllPage.SpinnerRetrieving; Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Format : Book
Tous les auteurs / collaborateurs : Meyyappan Ramanathan; Srikanth Vijayaraghavan
ISBN : 9780387260495 0387260498 9780387261737 0387261737
Numéro OCLC : 318289853
Contenu : 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.
Responsabilité : Meyyappan Ramanathan.

Critiques

Critiques d’utilisateurs
Récupération des critiques de GoodReads...
Récuperation des critiques DOGObooks…

Étiquettes

Soyez le premier.

Ouvrages semblables

Listes d’utilisateurs dans lesquelles cet ouvrage apparaît (1)

Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.

Données liées


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

Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Dont have an account? You can easily créez un compte gratuit.