Writing Testbenches: Functional Verification of HDL Models (Paperback, Softcover reprint of the original 2nd ed. 2003)

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.

General

Imprint:	Springer-Verlag New York
Country of origin:	United States
Release date:	October 2012
First published:	2003
Authors:	Janick Bergeron
Dimensions:	235 x 155 x 26mm (L x W x T)
Format:	Paperback
Pages:	478
Edition:	Softcover reprint of the original 2nd ed. 2003
ISBN-13:	978-1-4613-5012-5
Categories:	Books > Computing & IT > General theory of computing > General Books > Computing & IT > Computer hardware & operating systems > General Books > Computing & IT > Applications of computing > General Books > Professional & Technical > Technology: general issues > Technical design > Computer aided design (CAD) Books > Professional & Technical > Energy technology & engineering > Electrical engineering > General Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Circuits & components Books > Computing & IT > Computer programming > Programming languages > General
LSN:	1-4613-5012-3
Barcode:	9781461350125

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!