by JanickBergeron (Author)
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.
Format: Hardcover
Pages: 512
Edition: 2nd ed.
Publisher: Springer
Published: 28 Feb 2003
ISBN 10: 1402074018
ISBN 13: 9781402074011