杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

编写测试平台:HDL模型的功能验证/(美)Janick Bergeron著 张春, 陈新凯, 李晓雯等译

版本说明:

第2版

出版发行项:

北京:电子工业出版社,2006.8

ISBN及定价:

7-121-03076-4/CNY45.00

载体形态项:

17,345页;24cm

并列正题名:

Writing testbenches:functional verification of HDL models

其它题名:

HDL模型的功能验证

丛编项:

国外电子与通信教材系列

个人责任者:

伯杰龙 J. 著

个人责任者:

Bergeron Janick 著

个人次要责任者:

张春 译

个人次要责任者:

陈新凯 译

个人次要责任者:

李晓雯 译

学科主题:

集成电路-芯片-验证

非控制主题词:

HDL

中图法分类号:

TN407

版本附注:

本书由斯普林格出版公司授予出版 据原书第2版译出

提要文摘附注:

本书介绍了验证的基本概念和各种工具，验证的重要性和代价，比较了不同的验证方法，以及测试和验证的区别。然后从方法学的角度探讨了验证的策略和层次，介绍了覆盖率模型和如何制定完整的验证计划。

豆瓣简介：