|
题名:
|
编写测试平台: HDL模型的功能验证 / (美)Janick Bergeron , |
|
ISBN:
|
7-121-03076-4 价格： 45.00 |
|
载体形态:
|
17,345页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 电子工业出版社 出版日期： 20060101 |
|
内容提要:
|
本书介绍了验证的基本概念和各种工具，验证的重要性和代价，比较了不同的验证方法，以及测试和验证的区别。然后从方法学的角度探讨了验证的策略和层次，介绍了覆盖率模型和如何制定完整的验证计划。 |
|
主题词:
|
集成电路 |
|
中图分类法:
|
TN407 版次： |