Photo 1 sur 1

Vous en avez un à vendre?

Vendez le vôtre

Manuel de méthodologie de vérification pour SystemVerilog par Janick Bergeron

État :

Bon

Quantité :

3 disponibles

Prix :

35,95 $US

Environ49,29 $C

Ayez l'esprit tranquille. Renvois acceptés.

Expédition :

3,99 $US (environ 5,47 $C) Expédition au tarif économique. En savoir plussur l'expédition

Lieu : Nashville, TN, États-Unis

Livraison :

Livraison prévue entre le jeu. 6 juin et le mar. 11 juin à 43230

Renvois :

Renvoi sous 30jours. L'acheteur paie les frais de port du renvoi. En savoir plus- pour en savoir plus sur les renvois

Paiements :

Magasinez en toute confiance

Garantie de remboursement eBay

Recevez l'objet commandé ou obtenez un remboursement.

En savoir plusGarantie de remboursement eBay - s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Informations sur le vendeur

discountshelf (40534)
89,1% d'évaluations positives

Signaler cet objet - s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :363927670633

Dernière mise à jour : mai 30, 2024 01:18:02 HAEAfficher toutes les modificationsAfficher toutes les modifications

Caractéristiques de l'objet

État: Bon: Un livre qui a été lu, mais qui est en bon état. La couverture présente des dommages infimes, ... Bon: Un livre qui a été lu, mais qui est en bon état. La couverture présente des dommages infimes, par exemple des éraflures, mais aucun trou ni aucune déchirure. Dans le cas des livres à reliure, la jaquette peut ne pas être incluse. La reliure présente des traces d'usure minimes. La plupart des pages ne sont pas endommagées et les plis, les déchirures, les passages soulignés ou surlignés et les inscriptions en marge sont minimes. Il n'y a aucune page manquante. Afficher toutes les définitions d'état(s'ouvre dans une nouvelle fenêtre ou un nouvel onglet)

Publish Year: 2005

Updated ISBN1: 1461498139

Updated ISBN2: 9781461498131

ISBN: 9780387255385

Publication Year: 2005

Type: Textbook

Format: Hardcover

Language: English

Publication Name: Verification Methodology Manual for Systemverilog

Author: Andy Nightingale, Alan Hunter, Janick Bergeron, Eduard Cerny

Item Length: 9.3in

Publisher: Springer

Item Width: 6.1in

Item Weight: 70.5 Oz

Number of Pages: Xvii, 503 Pages

À propos de ce produit

Product Information

Provides a reference methodology that can be adopted by designers and verification engineers for all types of System-on-a-Chip projects. With authors from ARM(R) and Synopsys(R), it combines ARM's expertise in the verification of complex, configurable IP from transaction-level SystemC to timing-critical register-transfer level (RTL) implementation, and Synopsys' strength in delivering an integrated RTL and system verification platform, including tools and verification IP. Verification Methodology Manual for SystemVerilog describes SystemVerilog language features relevant to functional verification and provides a blueprint for a robust, scalable verification architecture based on industry best practices. This book also specifies a standard set of libraries for assertions and commonly used verification functions, such as stimulus generation, simulation control and coverage analysis, to help implement the recommended methodology. The Manual can help SoC development teams achieve faster and more effective design verification. It also guides verification IP providers to follow a consistent and well-documented architecture, enabling end users to easily integrate verification IP from multiple sources.

Product Identifiers

Publisher

Springer

ISBN-10

0387255389

ISBN-13

9780387255385

eBay Product ID (ePID)

47038797

Product Key Features

Author

Andy Nightingale, Alan Hunter, Janick Bergeron, Eduard Cerny

Publication Name

Verification Methodology Manual for Systemverilog

Format

Hardcover

Language

English

Publication Year

2005

Type

Textbook

Number of Pages

Xvii, 503 Pages

Dimensions

Item Length

9.3in

Item Width

6.1in

Item Weight

70.5 Oz

Additional Product Features

Number of Volumes

1 Vol.

Lc Classification Number

Tk7867-7867.5

Table of Content

Verification Planning.- Assertions.- Testbench Infrastructure.- Stimulus and Response.- Coverage-Driven Verification.- Assertions for Formal Tools.- System-Level Verification.- Processor Integration Verification.

2006

Topic

Cad-Cam, Electronics / Circuits / General, General, Compilers

Lccn

2005-051724

Dewey Decimal

621.39/2

Intended Audience

Scholarly & Professional

Dewey Edition

Illustrated

Yes

Genre

Computers, Technology & Engineering

Description de l'objet du vendeur

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :363927670633

Dernière mise à jour : mai 30, 2024 01:18:02 HAEAfficher toutes les modificationsAfficher toutes les modifications

Expédition et manutention

Lieu où se trouve l'objet :

Nashville, TN, États-Unis

Expédition :

Afghanistan, Afrique du Sud, Albanie, Algérie, Allemagne, Andorre, Angola, Anguilla, Antigua-et-Barbuda, Arabie saoudite, Argentine, Arménie, Aruba, Australie, Autriche, Azerbaïdjan, Bahamas, Bahreïn, Bangladesh, Belgique, Bermudes, Bhoutan, Bolivie, Bosnie-Herzégovine, Botswana, Brunéi Darussalam, Brésil, Bulgarie, Burkina Faso, Burundi, Bélize, Bénin, Cambodge, Cameroun, Canada, Chili, Chine, Chypre, Colombie, Corée du Sud, Costa Rica, Côte d'Ivoire, Danemark, Djibouti, Espagne, Estonie, Fidji, Finlande, France, Gabon, République du, Gambie, Ghana, Gibraltar, Grenade, Groenland, Grèce, Guatemala, Guinée, Guinée équatoriale, Guinée-Bissau, Guyana, Géorgie, Haïti, Honduras, Hong Kong, Hongrie, Inde, Indonésie, Irlande, Islande, Israël, Italie, Jamaïque, Japon, Jordanie, Kazakhstan, Kenya, Kirghizistan, Kiribati, Koweït, Laos, Lesotho, Lettonie, Liban, Libéria, Liechtenstein, Lituanie, Luxembourg, Macao, Macédoine, Madagascar, Malaisie, Malawi, Maldives, Mali, Malte, Maroc, Mauritanie, Mexique, Moldavie, Monaco, Mongolie, Montserrat, Monténégro, Mozambique, Namibie, Nauru, Nicaragua, Niger, Nigeria, Norvège, Nouvelle-Zélande, Népal, Oman, Ouganda, Ouzbékistan, Pakistan, Panama, Papouasie-Nouvelle-Guinée, Paraguay, Pays-Bas, Philippines, Pologne, Portugal, Pérou, Qatar, Roumanie, Royaume-Uni, Rwanda, République centrafricaine, République de Croatie, République dominicaine, République du Congo, République démocratique du Congo, République tchèque, Saint-Kitts-et-Nevis, Saint-Marin, Saint-Vincent-et-les Grenadines, Sainte-Lucie, Salvador, Samoa, Serbie, Seychelles, Sierra Leone, Singapour, Slovaque, Slovénie, Sri Lanka, Suisse, Suriname, Suède, Swaziland, Sénégal, Tadjikistan, Tanzanie, Taïwan, Tchad, Thaïlande, Togo, Tonga, Trinité-et-Tobago, Tunisie, Turkménistan, Turquie, Uruguay, Vanuatu, Vietnam, Wallis-et-Futuna, Yémen, Zambie, Zimbabwe, Égypte, Émirats arabes unis, Équateur, Érythrée, État de la Cité du Vatican, États-Unis, Éthiopie, Île Maurice, Îles Caïmans, Îles Salomon, Îles Turks et Caicos, Îles du Cap-Vert

Lieux exclus :

Barbade, Guadeloupe, Guyane française, Libye, Martinique, Nouvelle-Calédonie, Polynésie française, Russie, Réunion, Ukraine, Venezuela

Quantité :

Changer de pays :

Code postal :

Expédition et manutention	Chaque objet supplémentaire	À	Service	Livraison*Voir les remarques sur la livraison
3,99 $US (environ 5,47 $C)	3,99 $US (environ 5,47 $C)	États-Unis	Expédition au tarif économique (USPS Media MailTM)	Livraison prévue entre le jeu. 6 juin et le mar. 11 juin à 43230
9,99 $US (environ 13,70 $C)	9,99 $US (environ 13,70 $C)	États-Unis	Expédition accélérée (USPS Priority Mail®)	Livraison prévue entre le jeu. 6 juin et le mar. 11 juin à 43230

*Les dates de livraison approximatives – s'ouvre dans une nouvelle fenêtre ou un nouvel onglet tiennent compte du délai de manutention du vendeur, du code postal de l'expéditeur, du code postal du destinataire et de l'heure de l'acceptation et dépendent du service d'expédition sélectionné et de la réception du paiement. Les délais de livraison peuvent varier, particulièrement lors de périodes achalandées.Remarques - Livraison *Les dates de livraison approximatives tiennent compte du délai de manutention du vendeur, du code postal de l'expéditeur, du code postal du destinataire et de l'heure de l'acceptation et dépendent du service d'expédition sélectionné et de la réception du paiement. Les délais de livraison peuvent varier, particulièrement lors de périodes achalandées.

Délai de manutention

Expédition dans les 1 jours ouvrables après réception du paiement.

Taxes

Le vendeur facture une taxe de vente dans