Principles of Verifiable Rtl Design:; a functional coding style supporting verification processes in Verilog

Langue : anglais

Edité par Kluwer Academic Publishers, Norwell, Mass, 2000

0792377885 / 9780792377887

  • Éd. originale
  • Livre relié
  • Occasion
Afficher toutes les informations
Partenaire historique

Vendeur : BIBLIOPE by Calvello Books, Oakland, CA, Etats-UnisBIBLIOPE by Calvello Books

Vendeur avec une évaluation de 4 étoiles

Vendeur AbeBooks depuis 19 mars 1998

Afficher les articles de ce vendeur
Livre relié

Etat: Occasion

EUR 15,98

EUR 4,30 expédition 
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier
Retours gratuits sous 30 jours

Item description from seller

Purple octavo; xvii, 253 p, b&w illus; 24 cm. Contents: Register Transfer Level --; What is It? --; Verifiable RTL --; Applying Design Discipline --; The Verification Process --; Specification Design Decomposition --; High-Level Design Requirements --; Block-Level Specification and Design --; RTL Implementation --; Synthesis and Physical Design --; Functional Test Strategies --; Deterministic or Directed Test --; Random Test --; Transaction Analyzer Verification --; Chip Initialization Verification --; Synthesizable Testbench --; Transformation Test Strategies --; Coverage, Events and Assertions --; Coverage --; Ad-hoc Metrics --; Programming Code Metrics --; State Machine and Arc Coverage Metrics --; User Defined Metrics --; Fault Coverage Metrics --; Regression Analysis and Test Suite Optimization --; Event Monitors and Assertion Checkers --; Events --; Assertions --; Assertion Monitor Library Details --; Event Monitor and Assertion Checker Methodology --; Linting Strategy --; Implementation Considerations --; Event Monitor Database and Analysis --; RTL Methodology Basics --; Simple RTL Verifiable Subset --; Linting --; Linting in a design project --; Lint description --; Project Oriented --; Linting Message Examples --; Object-Based Hardware Design --; OBHD and Simulation --; OBHD and Formal Verification --; OBHD and Physical Design --; OBHD Synthesis --; OBHD Scan Chain Hookup --; A Text Macro Implementation --; RTL Logic Simulation --; Simulation History --; First Steps --; X, Z and Other States --; Function and Timing --; Gate to RTL Migration --; Acceleration and Emulation --; Language Standardization. Integrated circuits -- Very large scale integration -- Computer-aided design. Faint rubbed fold to spine head & foot & folds, barely rubbed corners, else near fine(+). First edition (presumed; no earlier dates stated).

N° de réf. du vendeur 23856

Titre
Principles of Verifiable Rtl Design:; a functional coding style supporting verification processes in Verilog
Auteur
Bening, Lionel; Foster, Harry
Éditeur
Kluwer Academic Publishers, Norwell, Mass
Année de publication
2000
État de l'article
near fine(+)
Reliure
Hardcover
Langue
anglais
ISBN à 10 chiffres
0792377885
ISBN à 13 chiffres
9780792377887
Édition
Edition originale
Catalogues du vendeur
Science, Technology & Computers

BIBLIOPE by Calvello Books

Oakland, CA, Etats-Unis

Vendeur avec une évaluation de 4 étoiles

Vendeur AbeBooks depuis 19 mars 1998

Frais d'expédition à l'intérieur de ce pays : Etats-Unis

Article5 à 14 jours ouvrés3 à 6 jours ouvrés
Premier articleEUR 4,30EUR 8,62
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.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Chèque
  • En espèces
  • Facture
  • Mandat
  • Paypal
  • Prélèvement automatique
  • Traite bancaire
  • Virement bancaire

Description de la boutique

Please visit us at Bibliope.com. You will be price-pleased! I have been buying & selling used and rare books since 1987, and selling on ABE since 1997. Your orders are very well-packed, and ship from Oakland, California, via the United Stated Postal Service, or UPS, and usually within 1-2 business days. We are mail-order only.

Spécialité

Travel, Culture & Historiography, Science & Technology, Nature & Environment, Latin America & the New World, Material Culture, Non-Fiction, Scholarly, Spanish & Other Languages, Oceania, Small Press & Foreign Imprints

Profil professionnel du vendeur

BIBLIOPE by Calvello Books

CA, Etats-Unis