Writing Testbenches: Functional Verification of HDL Models

Häftad, Engelska, 2012

Av Janick Bergeron

3 649 kr

Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)


mental improvements during the same period. What is clearly needed in verification techniques and technology is the equivalent of a synthesis productivity breakthrough. In the second edition of Writing Testbenches, Bergeron raises the verification level of abstraction by introducing coverage-driven constrained-random transaction-level self-checking testbenches­ all made possible through the introduction of hardware verification languages (HVLs), such as e from Verisity and OpenVera from Synopsys. The state-of-art methodologies described in Writing Test­ benches will contribute greatly to the much-needed equivalent of a synthesis breakthrough in verification productivity. I not only highly recommend this book, but also I think it should be required reading by anyone involved in design and verification of today's ASIC, SoCs and systems. Harry Foster Chief Architect Verplex Systems, Inc. xviii Writing Testbenches: Functional Verification of HDL Models PREFACE If you survey hardware design groups, you will learn that between 60% and 80% of their effort is now dedicated to verification.

Produktinformation

  • Utgivningsdatum2012-10-21
  • Mått155 x 235 x 28 mm
  • Vikt768 g
  • FormatHäftad
  • SpråkEngelska
  • Antal sidor478
  • Upplaga2
  • FörlagSpringer-Verlag New York Inc.
  • ISBN9781461350125