书籍简介:

验证是制造出功能正确的芯片的必要步骤，是一个证明设计思路是如何实现的过程。本书首先介绍验证的基本概念和各种工具，验证的重要性和代价，比较了不同的验证方法，以及测试和验证的区别。然后从方法学的角度探讨了验证的策略和层次，介绍了覆盖率模型和如何制定完整的验证计划。在验证的方法和技术方面，本书引入了硬件验证语言（HVL），讨论了使用行为描述进行高层次建模的方法，介绍了施加激励和监视响应的技术，以及通过使用总线功能模型把物理层次的事务抽象为更高层次的过程，并结合各种测试语言讲解了仿真管理的各个要素。本书提出了覆盖率驱动的受约束的随机事务级自检验测试平台，并围绕这种结构对其中各个部分原理及设计要素进行了系统的讨论。本书还介绍了如何编写自检验测试平台、设计基于总线功能模型的随机激励发生器。

书籍规格:

书籍详细信息
书名	编写测试平台站内查询相似图书
丛书名	国外电子与通信教材系列
	9787121030765 如需购买下载《编写测试平台》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	北京	出版单位	电子工业出版社
版次	1版	印次	1
定价(元)	33.0	语种	简体中文
尺寸	26	装帧	平装
页数		印数	5000

全网搜索试读资源

书籍信息归属:

编写测试平台是电子工业出版社于2006.08出版的中图分类号为 TN407 的主题关于集成电路－芯片－验证的书籍。