Principles of Verifiable Rtl Design: A Functional Coding Style Supporting Verification Processes in Verilog Tapa dura - 2000

Springer. Used - Good. Used book that is in clean, average condition without any missing pages.

Springer. Used - Very Good. Used book that is in excellent condition. May show signs of wear or have minor defects.

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.

Kluwer Academic . Very Good. 2000. Hard Cover. 0792377885 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. .

Norwell, Mass: Kluwer Academic Publishers, 2000. First edition (presumed; no earlier dates stated). Hardcover. Faint rubbed fold to spine head & foot & folds, barely rubbed corners, else 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… Leer más

Kluwer Academic Publishers Group, 2000. Hardcover. Very Good. 9x6x0. Signed. 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.