[bib08_1] [1] http://www.atrenta.com.
[bib08_2] [2] M. Keating and P. Bricaud. Reuse Methodology Manual for System-on-a-Chip Designs, Kluwer Academic Publishers, June 1998.
[bib08_3] [3] http://www.synopsys.com/products/simulation/simulation.html.
[bib08_4] [4] http://www.model.com.
[bib08_5] [5] http://www.cadence.com/products/functional_ver/index.aspx.
[bib08_6] [6] http://www.novas.com/.
[bib08_7] [7] http://www.mentor.com/seamless/.
[bib08_8] [8] http://www-306.ibm.com/software/rational/.
[bib08_9] [9] B. Beizer. Software Testing Techniques. Second Edition. Van Nostrand Reinhold, 1990.
[bib08_10] [10] http://www.transeda.com.
[bib08_11] [11] F. Fallah, S. Devadas, and K. Keutzer. OCCOM: Efficient Computation of Observability-based Code Coverage Metrics ...
Get Verification Techniques for System-Level Design 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.