类型：
成立时间：
出版社特色：
中国工信出版集团 电子工业出版社
出版社信息：
出版社简介：
暂无相关内容，正在全力查找中
编写测试平台书籍相关信息
- ISBN：9787121030765
- 作者：伯杰龙
- 出版社：中国工信出版集团 电子工业出版社
- 出版时间：2006-8
- 页数：345
- 价格：45.00元
- 纸张：暂无纸张
- 装帧：暂无装帧
- 开本：暂无开本
- 语言：暂无语言
- 丛书：国外电子与通信教材系列
- 适合人群：软件测试工程师, 程序员, 软件开发人员, 软件质量保证(QA)专家, 系统分析师, IT项目管理人员, 对软件测试感兴趣的初学者
- TAG：编程 / 自动化 / 测试工具 / 软件工程 / 软件质量 / 测试管理 / 测试
- 豆瓣评分：暂无豆瓣评分
- 更新时间：2025-05-17 14:53:53
内容简介：
验证是制造出功能正确的芯片的必要步骤，是一个证明设计思路是如何实现的过程。本书首先介绍验证的基本概念和各种工具，验证的重要性和代价，比较了不同的验证方法，以及测试和验证的区别。然后从方法学的角度探讨了验证的策略和层次，介绍了覆盖率模型和如何制定完整的验证计划。在验证的方法和技术方面，本书引入了硬件验证语言（HVL），讨论了使用行为描述进行高层次建模的方法，介绍了施加激励和监视响应的技术，以及通过使用总线功能模型把物理层次的事务抽象为更高层次的过程，并结合各种测试语言讲解了仿真管理的各个要素。本书提出了覆盖率驱动的受约束的随机事务级自检验测试平台，并围绕这种结构对其中各个部分原理及设计要素进行了系统的讨论。本书还介绍了如何编写自检验测试平台、设计基于总线功能模型的随机激励发生器。
本书适合于从事ASIC、SoC及系统设计与验证的人员阅读。
全格式电子版 - 免费下载