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 Nature B.V. Sep 2006
Date de parution: 2006
Langue: anglais
ISBN � 10 chiffres: 0387255435
ISBN � 13 chiffres: 9780387255439
Reliure: Buch
�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 exercer votre droit de r�tractation sur le contrat conform�ment � ce qui suit. Le mot � consommateur � d�signe toute personne physique agissant � des fins qui n'entrent pas dans le cadre de son activit� commerciale, artisanale ou professionnelle.

Informations concernant le droit de r�tractation

Droit statutaire de r�tractation

Vous avez le droit d'exercer votre droit de r�tractation sur ce contrat dans les 14 jours sans donner de raison.

Le d�lai de r�tractation expirera au bout de 14 jours � compter du jour o� vous-m�me, ou un tiers autre que le transporteur et d�sign� par vous, prendrez physiquement possession de la derni�re marchandise, du dernier lot ou de la derni�re pi�ce.

Pour exercer votre droit de r�tractation, remplissez �lectroniquement et envoyez une d�claration claire sur notre site Web, sous � Vos achats � dans � Votre compte �. Nous vous communiquerons sans d�lai un accus� de r�ception de cette r�tractation sur un support durable (par exemple, par e-mail).

Pour respecter le d�lai de r�tractation, il vous suffit d'envoyer votre message concernant l'exercice de votre droit de r�tractation avant l'expiration du d�lai de r�tractation.

Effets de la r�tractation

Si vous exercez votre droit de r�tractation sur ce contrat, nous vous rembourserons tous les paiements que vous avez effectu�s, y compris les frais de livraison (� l'exception des frais suppl�mentaires r�sultant du choix d'un mode de livraison autre que le type de livraison standard le moins cher que nous proposons).

Nous pouvons d�duire du remboursement la perte de valeur de toute marchandise livr�e, si la perte est le r�sultat d'une manipulation inutile de votre part.

Nous effectuerons le remboursement dans les meilleurs d�lais, et au plus tard 14 jours apr�s le jour o� nous aurons �t� inform�s de votre d�cision d'exercer votre droit de r�tractation sur ce contrat.

Nous effectuerons le remboursement en utilisant le m�me moyen de paiement que celui que vous avez utilis� pour la transaction initiale, sauf si vous en avez express�ment convenu autrement ; en tout �tat de cause, aucuns frais ne vous seront factur�s � la suite d'un tel remboursement.

Nous pouvons suspendre le remboursement jusqu'� ce que nous ayons re�u les marchandises ou que vous ayez fourni la preuve que vous avez renvoy� les marchandises, en fonction de la premi�re �ventualit�.

Vous devez renvoyer les marchandises ou les remettre � AHA-BUCH GmbH, Einbeck, Germany, sans retard injustifi� et, en tout �tat de cause, au plus tard 14 jours � compter du jour o� vous nous avez communiqu� votre d�cision de r�tractation du pr�sent contrat. Le d�lai est respect� si vous renvoyez les marchandises avant l'expiration du d�lai de 14 jours. Vous devrez prendre en charge les frais directs du renvoi des marchandises. Vous n'�tes responsable que de toute diminution de valeur des marchandises r�sultant d'une manipulation autre que celle n�cessaire pour �tablir la nature, les caract�ristiques et le fonctionnement des marchandises.

Exceptions au droit de r�tractation

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

Distribution de journaux, de revues ou de magazines, � l'exception des contrats d'abonnement ; et
Fourniture d'un contenu num�rique qui n'est pas fourni sur un support mat�riel (par exemple, sur un CD ou un DVD) si vous avez accept�, lors de votre commande, que nous puissions commencer � le livrer et que vous ne puissiez pas exercer votre droit de r�tractation une fois la livraison commenc�e.

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