Articoli correlati a Principles of Verifiable RTL Design: A Functional Coding...

Principles of Verifiable RTL Design: A Functional Coding Style Supporting Verification Processes in Verilog - Rilegato

Bening, Lionel

 
9780792377887: Principles of Verifiable RTL Design: A Functional Coding Style Supporting Verification Processes in Verilog
Rilegato
ISBN 10: 0792377885 ISBN 13: 9780792377887
Casa editrice: Kluwer Academic Publishers, 2000

Sinossi

Explaining how you can write Verilog to describe chip designs at the RT-level in a manner that co-operates with verification processes, this text focuses on how this co-operation can return an order of magnitude improvement in performance and capacity from tools such as simulation and equivalence checkers. It reduces the labour costs of coverage and formal model checking by facilitating communication between the design engineer and the verification engineer. It also orients the RTL style to provide more useful results from the overall verification process.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by Bening Lionel Foster Harry D

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Compra usato

Condizioni: molto buono
May have limited writing in cover...
Visualizza questo articolo
9780792377887: Principles of Verifiable RTL Design: A Functional Coding Style Supporting Verification Processes in Verilog
EUR 12,26

Convertire valuta

EUR 2,32 per la spedizione da U.S.A. a Italia

Destinazione, tempi e costi

Altre edizioni note dello stesso titolo

9781475773132: Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog

Edizione in evidenza

ISBN 10:  1475773137 ISBN 13:  9781475773132
Casa editrice: Springer, 2013
Brossura

Risultati della ricerca per Principles of Verifiable RTL Design: A Functional Coding...

Foto dell'editore

Bening, Lionel; Foster, Harry D.
ISBN 10: 0792377885 ISBN 13: 9780792377887
Antico o usato Rilegato

Da: ThriftBooks-Dallas, Dallas, TX, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardcover. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.35. Codice articolo G0792377885I4N00

Contatta il venditore

Compra usato

EUR 12,26
Convertire valuta
Spese di spedizione: EUR 2,32
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Bening, Lionel; Foster, Harry D.
ISBN 10: 0792377885 ISBN 13: 9780792377887
Antico o usato Rilegato

Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardcover. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.35. Codice articolo G0792377885I4N00

Contatta il venditore

Compra usato

EUR 12,26
Convertire valuta
Spese di spedizione: EUR 2,32
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Bening, Lionel; Foster, Harry D.
ISBN 10: 0792377885 ISBN 13: 9780792377887
Antico o usato Rilegato

Da: ThriftBooks-Reno, Reno, NV, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardcover. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.35. Codice articolo G0792377885I4N00

Contatta il venditore

Compra usato

EUR 12,26
Convertire valuta
Spese di spedizione: EUR 2,32
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Bening, Lionel, Foster, Harry
Editore: Springer, 2000
ISBN 10: 0792377885 ISBN 13: 9780792377887
Antico o usato Rilegato Prima edizione

Da: Better World Books: West, Reno, NV, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: Very Good. 1st Edition. Used book that is in excellent condition. May show signs of wear or have minor defects. Codice articolo 5102596-6

Contatta il venditore

Compra usato

EUR 12,25
Convertire valuta
Spese di spedizione: EUR 17,86
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 2 disponibili

Aggiungi al carrello

Foto dell'editore

Bening, Lionel, Foster, Harry
Editore: Springer, 2000
ISBN 10: 0792377885 ISBN 13: 9780792377887
Antico o usato Rilegato Prima edizione

Da: Better World Books, Mishawaka, IN, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: As New. 1st Edition. Used book that is in almost brand-new condition. Codice articolo 50877156-6

Contatta il venditore

Compra usato

EUR 12,25
Convertire valuta
Spese di spedizione: EUR 17,86
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Bening, Lionel;Foster, Harry
ISBN 10: 0792377885 ISBN 13: 9780792377887
Antico o usato Rilegato

Da: Munster & Company LLC, ABAA/ILAB, Corvallis, OR, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: 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. Codice articolo 594941

Contatta il venditore

Compra usato

EUR 10,91
Convertire valuta
Spese di spedizione: EUR 22,06
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Bening, Lionel; Foster, Harry
Editore: Kluwer Academic, 2000
ISBN 10: 0792377885 ISBN 13: 9780792377887
Antico o usato Rilegato

Da: Thomas F. Pesce', Anaheim, CA, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hard Cover. Condizione: 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. Codice articolo 6022313

Contatta il venditore

Compra usato

EUR 13,62
Convertire valuta
Spese di spedizione: EUR 26,46
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Bening, Lionel; Foster, Harry
ISBN 10: 0792377885 ISBN 13: 9780792377887
Antico o usato Rilegato Prima edizione

Da: BIBLIOPE by Calvello Books, Oakland, CA, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardcover. Condizione: 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). Codice articolo 23856

Contatta il venditore

Compra usato

EUR 18,18
Convertire valuta
Spese di spedizione: EUR 23,38
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Bening, Lionel; Foster, Harry D.
ISBN 10: 0792377885 ISBN 13: 9780792377887
Antico o usato Rilegato Copia autografata

Da: The Book Bin, Salem, OR, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardcover. Condizione: 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. Codice articolo BBS-2020342

Contatta il venditore

Compra usato

EUR 36,36
Convertire valuta
Spese di spedizione: EUR 29,96
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Bening, Lionel, Foster, Harry D.
Editore: Springer, 2000
ISBN 10: 0792377885 ISBN 13: 9780792377887
Antico o usato Rilegato

Da: The Book Spot, Sioux Falls, MN, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardcover. Codice articolo Abebooks205643

Contatta il venditore

Compra usato

EUR 76,35
Convertire valuta
Spese di spedizione: EUR 39,71
Da: U.S.A. a: Italia
Destinazione, tempi e costi

Quantità: 1 disponibili

Aggiungi al carrello

Vedi altre 1 copie di questo libro

Vedi tutti i risultati per questo libro