Photo 1/1
Bancs d'essai d'écriture : fonctionnels - couverture rigide, par Bergeron Janick - très bons
État :
Livraison :
Lieu où se trouve l'objet : Philadelphia, Pennsylvania, États-Unis
Délai de livraison :
Estimé entre le mer. 29 mai et le ven. 31 mai à 43230
Retours :
Retour sous 30 jours. Le vendeur paie les frais de retour. Afficher les détails- pour en savoir plus sur les retours
Paiements :
Achetez en toute confiance
Détails sur le vendeur
Inscrit comme vendeur professionnel
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :126014333087
Dernière mise à jour le 24 mai 2024 10:53:45 CEST. Afficher toutes les modificationsAfficher toutes les modifications
Caractéristiques de l'objet
- État
- Book Title
- Writing Testbenches: Functional Verification of HDL Models
- ISBN
- 9781402074011
- Publication Year
- 2003
- Type
- Textbook
- Format
- Hardcover
- Language
- English
- Publication Name
- Writing Testbenches : Functional Verification of Hdl Models
- Features
- Revised
- Item Length
- 9.3in
- Publisher
- Springer
- Item Width
- 6.1in
- Item Weight
- 69.1 Oz
- Number of Pages
- Xxx, 478 Pages
À propos de ce produit
Product Information
mental improvements during the same period. What is clearly needed in verification techniques and technology is the equivalent of a synthesis productivity breakthrough. In the second edition of Writing Testbenches, Bergeron raises the verification level of abstraction by introducing coverage-driven constrained-random transaction-level self-checking testbenches- all made possible through the introduction of hardware verification languages (HVLs), such as e from Verisity and OpenVera from Synopsys. The state-of-art methodologies described in Writing Test- benches will contribute greatly to the much-needed equivalent of a synthesis breakthrough in verification productivity. I not only highly recommend this book, but also I think it should be required reading by anyone involved in design and verification of today's ASIC, SoCs and systems. Harry Foster Chief Architect Verplex Systems, Inc. xviii Writing Testbenches: Functional Verification of HDL Models PREFACE If you survey hardware design groups, you will learn that between 60% and 80% of their effort is now dedicated to verification.
Product Identifiers
Publisher
Springer
ISBN-10
1402074018
ISBN-13
9781402074011
eBay Product ID (ePID)
2344666
Product Key Features
Publication Name
Writing Testbenches : Functional Verification of Hdl Models
Format
Hardcover
Language
English
Features
Revised
Publication Year
2003
Type
Textbook
Number of Pages
Xxx, 478 Pages
Dimensions
Item Length
9.3in
Item Width
6.1in
Item Weight
69.1 Oz
Additional Product Features
Number of Volumes
1 Vol.
Lc Classification Number
Tk7867-7867.5
Edition Description
Revised Edition
Edition Number
2
Reviews
"Brilliant. Janick Bergeron has built on his ground-breaking first version of Writing Testbenches in this second edition..." (Grant Martin, Fellow, Cadence Berkeley Labs) "In the latest edition, Mr. Bergeron continues to keep pace with the industry while providing world-class solutions to the verification problem..." (Chris Macinonski, Senior Engineer, Qualis Design Corp.) "Many companies out there now owe their current verification methodologies to this book. From it they have learned the secrets of efficiency, effectiveness and re-use as they apply to verification..." (Brian Bailey, Chief Technologist, Mentor Graphics Corp.) "A must have bible for understanding verification issues and techniques with HDLs and HVLs, and for writing effective, readable and reusable testbenches within a best-in-class verification process." (Ben Cohen, VhdlCohen Training), "Brilliant. Janick Bergeron has built on his ground-breaking first version of Writing Testbenches in this second edition..." (Grant Martin, Fellow, Cadence Berkeley Labs) "In the latest edition, Mr. Bergeron continues to keep pace with the industry while providing world-class solutions to the verification problem..."(Chris Macinonski, Senior Engineer, Qualis Design Corp.) "Many companies out there now owe their current verification methodologies to this book. From it they have learned the secrets of efficiency, effectiveness and re-use as they apply to verification..." (Brian Bailey, Chief Technologist, Mentor Graphics Corp.) "A must have bible for understanding verification issues and techniques with HDLs and HVLs, and for writing effective, readable and reusable testbenches within a best-in-class verification process." (Ben Cohen, VhdlCohen Training)
Table of Content
1 What is Verification?.- What is a Testbench?.- The Importance of Verification.- Reconvergence Model.- The Human Factor.- What Is Being Verified?.- Functional Verification Approaches.- Testing Versus Verification.- Design and Verification Reuse.- The Cost of Verification.- Summary.- 2 Verification Tools.- Linting Tools.- Simulators.- Verification Intellectual Property.- Waveform Viewers.- Functional Coverage.- Verification Languages.- Assertions.- Revision Control.- Issue Tracking.- Metrics.- Summary.- 3 The Verification Plan.- The Role of the Verification Plan.- Levels of Verification.- Verification Strategies.- From Specification to Features.- Directed Testbenches Approach.- Coverage-Driven Random-Based Approach.- Summary.- 4 High-Level Modeling.- Behavioral versus RTL Thinking.- You Gotta Have Style!.- Structure of Behavioral Code.- Data Abstraction.- Object-Oriented Programming.- Aspect-Oriented Programming.- The Parallel Simulation Engine.- Race Conditions.- Verilog Portability Issues.- Summary.- 5 Stimulus and Response.- Reference Signals.- Simple Stimulus.- Simple Output.- Complex Stimulus.- Bus-Functional Models.- Response Monitors.- Transaction-Level Interface.- Summary.- 6 Architecting Testbenches.- Test Harness.- VHDL Test Harness.- Design Configuration.- Self-Checking Testbenches.- Directed Stimulus.- Random Stimulus.- Summary.- 7 Simulation Management.- Behavioral Models.- Pass or Fail?.- Managing Simulations.- Regression.- Summary.- Appendix A Coding Guidelines.- Directory Structure.- VHDL Specific.- Verilog Specific.- General Coding Guidelines.- Comments.- Layout.- Syntax.- Debugging.- Naming Guidelines.- Capitalization.- Identifiers.- Constants.- HDL & HVL Specific.- Filenames.- HDL Coding Guidelines.- Structure.- Layout.- VHDL Specific.- Verilog Specific.- Appendix B Glossary.- Afterwords.
Copyright Date
2003
Topic
Computer Science, Electronics / Circuits / Integrated, Electronics / Circuits / General, Compilers, Software Development & Engineering / Systems Analysis & Design
Lccn
2003-041995
Intended Audience
Scholarly & Professional
Illustrated
Yes
Genre
Computers, Technology & Engineering
Description de l'objet fournie par le vendeur
Informations sur le vendeur professionnel
AZ Texts LLC
Kiryl Zarubau
228 Park Ave S
38827
10003 New York, NY
United States
Je certifie que toutes mes activités de vente seront conformes à toutes les lois et réglementations de l'UE.
Le vendeur assume l'entière responsabilité de cette annonce.
Numéro de l'objet eBay :126014333087
Dernière mise à jour le 24 mai 2024 10:53:45 CEST. Afficher toutes les modificationsAfficher toutes les modifications
Livraison et expédition
Lieu où se trouve l'objet :
Philadelphia, Pennsylvania, États-Unis
Destination :
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, Belize, Bermudes, Bhoutan, Bolivie, Bosnie-Herzégovine, Botswana, Brunei Darussalam, Brésil, Bulgarie, Burkina Faso, Burundi, Bénin, Cambodge, Cameroun, Canada, Cap-Vert, Chili, Chine, Chypre, Colombie, Corée du Sud, Costa Rica, Croatie, Côte d'Ivoire, Danemark, Djibouti, Espagne, Estonie, Fidji, Finlande, France, Gabon, 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, Liberia, Liechtenstein, Lituanie, Luxembourg, Macao, Macédoine, Madagascar, Malaisie, Malawi, Maldives, Mali, Malte, Maroc, Maurice, 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 dominicaine, République du Congo, République démocratique du Congo, République tchèque, Saint-Christophe-et-Niévès, Saint-Marin, Saint-Vincent-et-les-Grenadines, Sainte-Lucie, Salvador, Samoa occidentales, 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, Vatican, Viêt Nam, Wallis-et-Futuna, Yémen, Zambie, Zimbabwe, Égypte, Émirats arabes unis, Équateur, Érythrée, États-Unis, Éthiopie, Îles Caïmans, Îles Salomon, Îles Turques-et-Caïques
Exclus :
Barbade, Guadeloupe, Guyane, Libye, Martinique, Nouvelle-Calédonie, Polynésie française, Russie, Réunion, Ukraine, Venezuela
Livraison et expédition | à | Service | Livraison*Afficher les instructions de livraison |
---|---|---|---|
Livraison gratuite | États-Unis | Services de livraison économique (USPS Media MailTM) | Estimé entre le mer. 29 mai et le ven. 31 mai à 43230 |
3,99 USD (environ 3,69 EUR) | États-Unis | Livraison prioritaire (USPS Priority Mail®) | Estimé entre le mer. 29 mai et le ven. 31 mai à 43230 |
Délai d'expédition |
---|
Envoi sous 1 jour ouvré après réception du paiement. |
Taxes |
---|
Des taxes pourront être appliquées lors de la finalisation de l'achat. En savoir plusEn savoir plus sur le paiement des taxes sur les achats eBay |
Taxe de vente pour l'objet n°126014333087
Taxe de vente pour l'objet n°126014333087
Le vendeur facture une taxe de vente pour les États suivants :
État | Taux de la taxe de vente |
---|
Conditions de retour
Une fois l'objet reçu, contactez le vendeur dans un délai de | Mode de remboursement | Frais de retour |
---|---|---|
30 jours | Remboursement | Le vendeur paie les frais de retour |
Le vendeur doit payer les frais de retour.
Détails des conditions de retour |
---|
Retours acceptés |
Détails du paiement
Modes de paiement
Catégories populaires de cette Boutique
Inscrit comme vendeur professionnel
Évaluations en tant que vendeur (89.519)
s***t (815)- Évaluations laissées par l'acheteur.
Dernier mois
Achat vérifié
Thanks
s***n (99)- Évaluations laissées par l'acheteur.
Dernier mois
Achat vérifié
Great
r***3 (182)- Évaluations laissées par l'acheteur.
Dernier mois
Achat vérifié
Hope to deal with the company again...