Neuware - For Further Reading . . . . . . . . . . . . . . . . . . . . . . . 41 C h a p t e r 4 : A L a y e r e d A p p r o a c h . . . . . . . . . . . 43 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44 A Whiteboard Drawing . . . . . . . . . . . . . . . . . . . . . . 46 An 'ends-in' approach. . . . . . . . . . . . . . . . . . . . . 47 Refining the whiteboard blocks . . . . . . . . . . . . . . . 47 The 'Common-Currency' Components . . . . . . . . . . . 48 The Interface Layer in Detail. . . . . . . . . . . . . . . . . . 49 The wire layer . . . . . . . . . . . . . . . . . . . . . . . . . . 50 The agent layer . . . . . . . . . . . . . . . . . . . . . . . . . 52 The transaction layer . . . . . . . . . . . . . . . . . . . . . 53 The Top-Layer Components . . . . . . . . . . . . . . . . . . 54 What is a Test . . . . . . . . . . . . . . . . . . . . . . . . . . . 56 The Test Component . . . . . . . . . . . . . . . . . . . . . . . 58 The Test Irritator . . . . . . . . . . . . . . . . . . . . . . . . . 60 A Complete Test . . . . . . . . . . . . . . . . . . . . . . . . . . 61 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 For Further Reading . . . . . . . . . . . . . . . . . . . . . . . 63 Part II: An Open-Source Environment with C++ . . . . . . 65 C h a p t e r 5 : T e a l B a s i c s . . . . . . . . . . . . . . . . . . . 67 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68 What Teal provides . . . . . . . . . . . . . . . . . . . . . . . 68 Teal's similarity to HDLs . . . . . . . . . . . . . . . . . . . 69 A tiny but complete example . . . . . . . . . . . . . . . . 69 Teal's Main Components. . . . . . . . . . . . . . . . . . . . . 71 Using Teal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .73 Initialization . . . . . . . . . . . . . . . . . . . . . . . . . . . 73 Your C++ test . . . . . . . . . . . . . . . . . . . . . . . . . . . 74 Registers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74 A P r ac titioner 's Handboo k ix Contents Creating registers . . . . . . . . . . . . . . . . . . . . . . . 74 Working with a reg or vreg . . . . . . . . . . . . . . . . . . 75 Logging Output . . . . . . . . . . . . . . . . . . . . . . . . . . . 76 Using Test Parameters . . . . . . . . . . . . . . . . . . . . . . 79 Accessing Memory . . . . . . . . . . . . . . . . . . . . . . . . . 81 A memory note example . . . . . . . . . . . . . . . . . . . 82 Constrained Random Numbers . . . . . . . . . . . . . . . . . 84 Required initialization . . . . . . . . . . . . . . . . . . . . . 84 Using random numbers. . . . . . . . . . . . . . . . . . . . . 84 Working with Simulation Events and Concurrency . . . . 86 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88 For Further Reading . . . . . . . . . . . . . . . . . . . . . . . 88 Chapter 6: Truss: A Standard Verification F r a m e w o r k . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92 General Considerations . . . . . . . . . . . . . . . . . . . . . 93 Using a language other than C++ . . . . . . . . . . . . . . 93 Keeping it simple . . . . . . . . . . . . . . . . . . . . . . . . 94 Major Classes and Their Roles . . . . . . . . . . . . . . . . .

N� de r�f. du vendeur 9780387255439

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre: Hardware Verification with C++ : A Practitioner's Handbook
�diteur: Springer Us Aug 2006
Date de parution: 2006
Langue: anglais
ISBN � 10 chiffres: 0387255435
ISBN � 13 chiffres: 9780387255439
Reliure: Taschenbuch
�tat de l'article: Neu
Dimensions: 265�millim�tres de largeur par 185�millim�tres de hauteur par 27�millim�tres de profondeur
Poids: 957�grammes

A propos de ce titre

Synopsis

Describes a small verification library with a concentration on user adaptability such as re-useable components, portable Intellectual Property, and co-verification.

Takes a realistic view of reusability and distills lessons learned down to a tool box of techniques and guidelines.

� propos de l?auteur

Mike Mintz has more than 20 years of software development experience. Five years ago, he switched back to hardware verification. He has managed groups of software developers and has more than 15 years of C++ programming experience. He implemented C++ verification systems at several companies, using C++, as well languages such as SystemVerilog, Vera and 'e'.

Robert Ekendahl has a background in ASIC design and more then 12 years experience as a senior verification engineer. Has developed verification system and served as project manager for fortune 100 companies and start-ups with a focus on telecommunication. Has worked in C++ as well as languages such as Verilog, VHDL, C, Vera and 'e'.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Das Unternehmen AHA-BUCH GmbH: Seit der Gr�ndung von AHA-BUCH im Juli 2005 ist unser Hauptziel, zufriedenen Kunden so schnell und so preisg�nstig wie m�glich ihren B�cherwunsch zu erf�llen. Unsere Firma besch�ftigt 16 Mitarbeiter, die nur ein Ziel kennen: den Kunden und seine W�nsche! Auf �ber 3700 m2 Fl�che haben wir �ber 100.000 B�cher, Modernes Antiquariat und Spiele auf Lager.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

AHA-BUCH GmbH
Garlebsen 48, Einbeck, 37574, Germany

Conditions de vente et de livraison

Conditions g�n�rales de vente

Conditions g�n�rales et informations client

I. Conditions g�n�rales

� 1 Dispositions de base

(1) Les conditions g�n�rales suivantes s?appliquent � tous les contrats que vous concluez avec nous en tant que fournisseur (AHA-BUCH GmbH) via les plateformes Internet AbeBooks et/ou ZVAB. Sauf accord contraire, l?inclusion de l?une de vos propres conditions g�n�rales que vous utilisez sera contest�e

(2) Un consommateur au sens des r�glements suivants est toute personne physique qui conclut une transact...

Pour plus d'information

Droit de r�tractation

Si vous �tes un consommateur, vous pouvez vous r�tracter du pr�sent contrat dans les conditions indiqu�es ci-dessous. Etre un consommateur signifie �tre une personne physique qui agit � des fins qui n'entrent pas dans le cadre de son activit� commerciale, industrielle, artisanale ou lib�rale.

Informations standardis�es sur la r�tractation

Droit de r�tractation:

Vous avez le droit de vous r�tracter du pr�sent contrat sans donner de motif dans un d�lai de quatorze jours.

Le d�lai de r�tractation expire quatorze jours apr�s le jour o� vous-m�me, ou un tiers autre que le transporteur et d�sign� par vous, prend physiquement possession du dernier bien, lot ou pi�ce.

Pour exercer le droit de r�tractation, vous devez nous AHA-BUCH GmbH, Garlebsen 48, 37574, Einbeck, Germany, 49 55639996039, notifier votre d�cision de r�tractation du pr�sent contrat au moyen d'une d�claration d�nu�e d'ambigu�t� (par exemple, lettre envoy�e par la poste, t�l�copie ou courrier �lectronique). Vous pouvez utiliser le mod�le de formulaire de r�tractation mais ce n'est pas obligatoire. Vous pouvez �galement remplir et transmettre une d�claration claire � cette fin sur notre site internet � �Vos commandes� dans �Votre compte�. Si vous utilisez cette option, nous vous enverrons sans d�lai un accus� de r�ception de la r�tractation sur un support durable (par exemple, par courriel).

Pour que le d�lai de r�tractation soit respect�, il suffit que vous transmettiez votre communication relative � l'exercice du droit de r�tractation avant l'expiration du d�lai de r�tractation.

Effets de la r�tractation :

En cas de r�tractation de votre part du pr�sent contrat, nous vous rembourserons tous les paiements re�us de vous, y compris les frais de livraison (� l'exception des frais suppl�mentaires d�coulant du fait que vous avez choisi, le cas �ch�ant, un mode de livraison autre que le mode moins co�teux de livraison standard propos� par nous) sans retard excessif et, en tout �tat de cause, au plus tard quatorze jours � compter du jour o� nous sommes inform�s de votre d�cision de r�tractation du pr�sent contrat. Nous proc�derons au remboursement en utilisant le m�me moyen de paiement que celui que vous aurez utilis� pour la transaction initiale, sauf si vous convenez express�ment d'un moyen diff�rent; en tout �tat de cause, ce remboursement n'occasionnera pas de frais pour vous.

Nous pouvons diff�rer le remboursement jusqu'� ce que nous ayons re�u le bien ou jusqu'� ce que vous ayez fourni une preuve d'exp�dition du bien, la date retenue �tant celle du premier de ces faits.

Vous devrez renvoyer ou rendre le bien, � AHA-BUCH GmbH, Garlebsen 48, 37574, Einbeck, Germany, 49 55639996039, sans retard excessif et, en tout �tat de cause, au plus tard quatorze jours apr�s que vous nous aurez communiqu� votre d�cision de r�tractation du pr�sent contrat. Ce d�lai est r�put� respect� si vous renvoyez le bien avant l'expiration du d�lai de quatorze jours. Vous devrez prendre en charge les frais directs de renvoi du bien. Votre responsabilit� n'est engag�e qu'� l'�gard de la d�pr�ciation du bien r�sultant de manipulations autres que celles n�cessaires pour �tablir la nature, les caract�ristiques et le bon fonctionnement de ce bien.

Exceptions au droit de r�tractation

Le droit de r�tractation ne s'applique pas � :

la fourniture d'un contenu num�rique (dont livres �lectroniques) non fourni sur un support mat�riel (tel qu'un CD ou un DVD), si vous avez accept� au moment de la passation de votre commande que nous commencions la fourniture de celui-ci et renonc� � votre droit de r�tractation ;
la fourniture d'un journal, d'un p�riodique ou d'un magazine, sauf pour les contrats d'abonnement � ces publications.

Formulaire de r�tractation

(A compl�ter et renvoyer seulement si vous souhaitez-vous r�tracter du pr�sent contrat)

A l'attention de : (AHA-BUCH GmbH, Garlebsen 48, 37574, Einbeck, Germany, 49 55639996039)

Je vous notifie par la pr�sente ma r�tractation du contrat portant sur la vente des produits suivants :

num�ro de commande :

Command� le/re�u le :

Mon nom et mon adresse :

Signature (seulement si ce formulaire est notifi� en version papier) :

Date

Conditions d'exp�dition

Nous exp�dions votre commande apr�s les avoir re�ues
pour les articles disponibles au plus tard 24 heures,
pour les articles avec un approvisionnement de nuit au plus tard 48 heures.
Dans le cas o� nous devons commander un article aupr�s de notre fournisseur, notre d�lai d’exp�dition d�pend de la date de r�ception des articles, mais les articles seront exp�di�s le jour m�me.

Notre objectif est d’envoyer les articles command�s de la mani�re la plus rapide, mais aussi la plus efficace et la plus s�curis�e � nos clients.

Frais d?exp�dition de Allemagne�vers�Etats-Unis

Frais d?exp�dition de Allemagne�vers�Etats-Unis
Quantit� command�e	30 � 40 jours ouvr�s	7 � 14 jours ouvr�s
Premier article	EUR 64.79	EUR 74.79

Les d�lais de livraison sont fix�s par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent �tre retard�es et les acheteurs sont responsables de tous les droits ou frais associ�s. Les vendeurs peuvent vous contacter au sujet de frais suppl�mentaires afin de couvrir toute augmentation des co�ts d'exp�dition de vos articles.

Informations vendeur d�taill�es