Articles liés à Principles of Verifiable RTL Design: A Functional Coding...
Principles of Verifiable RTL Design: A Functional Coding Style Supporting Verification Processes in Verilog - Couverture rigide
Synopsis
Book by Bening Lionel Foster Harry D
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurKluwer Academic Publishers
- Date d'édition2000
- ISBN 10 0792377885
- ISBN 13 9780792377887
- ReliureRelié
- Langueanglais
- Numéro d'édition1
- Nombre de pages272
- ÉditeurBening Lionel, Foster Harry
Autres éditions populaires du même titre
Résultats de recherche pour Principles of Verifiable RTL Design: A Functional Coding...
Image d'archives
Principles of Verifiable Rtl Design: A Functional Coding Style Supporting Verification Processes in Verilog
Edité par
Kluwer Academic Publishers, 2000
ISBN 10 : 0792377885
ISBN 13 : 9780792377887
Ancien ou d'occasion
Couverture rigide
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.35. N° de réf. du vendeur G0792377885I4N00
Quantité disponible : 1 disponible(s)
Image d'archives
Principles of Verifiable Rtl Design: A Functional Coding Style Supporting Verification Processes in Verilog
Edité par
Kluwer Academic Publishers, 2000
ISBN 10 : 0792377885
ISBN 13 : 9780792377887
Ancien ou d'occasion
Couverture rigide
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.35. N° de réf. du vendeur G0792377885I4N00
Quantité disponible : 1 disponible(s)
Image d'archives
Principles of Verifiable Rtl Design: A Functional Coding Style Supporting Verification Processes in Verilog
Edité par
Kluwer Academic Publishers, 2000
ISBN 10 : 0792377885
ISBN 13 : 9780792377887
Ancien ou d'occasion
Couverture rigide
Vendeur : ThriftBooks-Reno, Reno, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.35. N° de réf. du vendeur G0792377885I4N00
Quantité disponible : 1 disponible(s)
Image d'archives
Principles of Verifiable RTL Design : A Functional Coding Style Supporting Verification Processes in Verilog
Edité par
Springer, 2000
ISBN 10 : 0792377885
ISBN 13 : 9780792377887
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : Better World Books: West, Reno, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. 1st Edition. Used book that is in excellent condition. May show signs of wear or have minor defects. N° de réf. du vendeur 5102596-6
Quantité disponible : 2 disponible(s)
Image d'archives
Principles of Verifiable RTL Design : A Functional Coding Style Supporting Verification Processes in Verilog
Edité par
Springer, 2000
ISBN 10 : 0792377885
ISBN 13 : 9780792377887
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. 1st Edition. Used book that is in almost brand-new condition. N° de réf. du vendeur 50877156-6
Quantité disponible : 1 disponible(s)
Image d'archives
Principles of Verifiable Rtl Design: A Functional Coding Style Supporting Verification Processes in Verilog
Edité par
Kluwer Academic Publishers, 2000
ISBN 10 : 0792377885
ISBN 13 : 9780792377887
Ancien ou d'occasion
Couverture rigide
Vendeur : Munster & Company LLC, ABAA/ILAB, Corvallis, OR, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Kluwer Academic Publishers, 2000. Cover very barely rubbed, top spine end/bottom corners bumped; fore-edge very barely soiled; binding tight; cover, edges, and interior intact and very clean; a nice copy. hardcover. Good. N° de réf. du vendeur 594941
Quantité disponible : 1 disponible(s)
Image d'archives
Principles of Verifiable Rtl Design:; a functional coding style supporting verification processes in Verilog
Edité par
Kluwer Academic Publishers, Norwell, Mass, 2000
ISBN 10 : 0792377885
ISBN 13 : 9780792377887
Ancien ou d'occasion
Couverture rigide
Edition originale
Vendeur : BIBLIOPE by Calvello Books, Oakland, CA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : near fine(+). 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
Quantité disponible : 1 disponible(s)
Image d'archives
Principles of Verifiable RTL Design - A Functional Coding Style Supporting Verification Processes
Edité par
Kluwer Academic, 2000
ISBN 10 : 0792377885
ISBN 13 : 9780792377887
Ancien ou d'occasion
Couverture rigide
Vendeur : Thomas F. Pesce', Anaheim, CA, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Hard Cover. Etat : Very Good. Purple covers and spine with bold clear, lettering. Pages are clean, tight and bright. The prior owner's initials are printed on the top pages' edges. N° de réf. du vendeur 6022313
Quantité disponible : 1 disponible(s)
Image d'archives
Principles of Verifiable RTL Design - A Functional Coding Style Supporting Verification Processes
Edité par
Kluwer Academic Publishers Group, 2000
ISBN 10 : 0792377885
ISBN 13 : 9780792377887
Ancien ou d'occasion
Couverture rigide
Signé
Vendeur : The Book Bin, Salem, OR, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very Good. Signed by authors Lionel Bening and Harry Foster at the first page. Covers very good with only minor shelf-wear. Spine square. Binding sound. No jacket, as issued. Prior owner's name penned to top of textblock. Pages else clean, interior bright and unmarked. Signed. N° de réf. du vendeur BBS-2020342
Quantité disponible : 1 disponible(s)
Image d'archives
Principles of Verifiable RTL Design - A Functional Coding Style Supporting Verification Processes
Edité par
Springer, 2000
ISBN 10 : 0792377885
ISBN 13 : 9780792377887
Ancien ou d'occasion
Couverture rigide
Vendeur : The Book Spot, Sioux Falls, MN, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. N° de réf. du vendeur Abebooks205643
Quantité disponible : 1 disponible(s)