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.
Produkteigenschaften
- Artikelnummer: 9781402074011
- Medium: Buch
- ISBN: 978-1-4020-7401-1
- Verlag: Springer Us
- Erscheinungstermin: 28.02.2003
- Sprache(n): Englisch
- Auflage: 2. 2003 Auflage 2003
- Produktform: Gebunden
- Gewicht: 1960 g
- Seiten: 478
- Format (B x H x T): 163 x 241 x 27 mm
- Ausgabetyp: Kein, Unbekannt
Themen
- Interdisziplinäres
- Wissenschaften
- Wissenschaften: Forschung und Information
- Kybernetik, Systemtheorie, Komplexe Systeme
- Interdisziplinäres
- Wissenschaften
- Wissenschaften: Forschung und Information
- Kybernetik, Systemtheorie, Komplexe Systeme
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Programmier- und Skriptsprachen
- Mathematik | Informatik
- EDV | Informatik
- Angewandte Informatik
- Computeranwendungen in Wissenschaft & Technologie
- Mathematik | Informatik
- EDV | Informatik
- Programmierung | Softwareentwicklung
- Programmier- und Skriptsprachen