Writing Testbenches: Functional Verification of Hdl Models
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…
Mehr
CHF 281.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V105:
Folgt in ca. 15 Arbeitstagen
Produktdetails
- ISBN: 978-1-4020-7401-1
- EAN: 9781402074011
- Produktnummer: 1620719
- Verlag: Springer Nature
- Sprache: Englisch
- Erscheinungsjahr: 2003
- Seitenangabe: 478 S.
- Masse: H24.1 cm x B16.3 cm x D2.7 cm 826 g
- Auflage: 2. A.
- Gewicht: 826
10 weitere Werke von Janick Bergeron:
Bewertungen
Anmelden