R9.0 Books
[Bailey 2007] G. Bailey, G. Martin, A. Piziali, ESL Design and Verification: A Prescription for Electronic System Level Methodology February 2007 Morgan Kauftnann San Francisco
[Bergeron 2000] J. Bergeron, Writing Testbenches, Function Verification of HDL Models Second edition February 2003 Kluwer Academic Publishers New York
[Dempster 2002] D. Dempster, M. Stuart, Verification Methodology Manual: Techniques for Verifying HDL Designs Third Edition June 2002 Teamwork International Hampshire, UK
[Foster 2004] H. Foster, A. Krolnik, D. Lacey, Assertion-Based Design Second Edition May 2004 Kluwer Academic Publishers New York
[Gorden 1993] M.J.C. Gorden, T.F. Melham, Introduction to HOL: A Theorem Proving Environment for ...
Get Electronic Design Automation now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
