作者：（美）克里斯·斯皮尔 著，张春 等译
页数：365
出版社：科学出版社
出版日期：2009
ISBN：9787030253064
高清校对版pdf（带目录）
夸克网盘：https://pan.quark.cn/s/2c8a1697b0c2
百度网盘：https://pan.baidu.com/s/1DT50OA8JiJg46L3_ZVP2kQ?pwd=dh2v
内容简介
本书讲解了systemverilog语言的工作原理，介绍了类、随机化和功能覆盖率等测试手段和概念，并且在创建测试平台方面提供了很多引导性的建议。本书借助大量的实例说明systemverilog的各种验证方法，以及如何根据实际的应用情况选择最优的方法达到尽可能高的覆盖率。而且，重点演示了如何使用面向对象编程(oop)的方法建立由覆盖率驱动并且受约束的基本的随机分层测试平台，此外，还论述了systemverilog与c语言的接口技术。
本书可供具有一定vetilog编程基础的电路工程技术人员使用，也可作为高等院校电子类、自动化类、计算机类的学生参考书。
本书特色
本书可以作为学习system verilog验证语言的初级阶段读物。书中描述了语言的工作原理并且包含了很多例子，这些例子演示了如何使用面向对象编程(oop)的方法建立一个基本的、由覆盖率驱动并且受约束的随机分层测试平台。本书在创建测试平台方面有很多引导性的建议，能够帮你弄清楚为什么要使用类、随机化和功能覆盖率的概念。一旦你掌握了这门语言，就可以通过参考文献中所列举的方法学方面的书籍来学习关于建立测试平台的更多信息。
目录
第1章 验证导论
1.1 验证流程
1.1.1 不同层次上的测试
1.1.2 验证计划
1.2 验证方法学
1.3 基本测试平台的功能
1.4 定向测试
1.5 方法学基础
1.6 受约束的随机激励
1.7 你的随机化对象是什么
1.7.1 设备和环境配置
1.7.2 输入数据
1.7.3 协议异常、错误和违例
1.7.4 时延和同步
1.7.5 并行的随机测试
1.1 验证流程
1.1.1 不同层次上的测试
1.1.2 验证计划
1.2 验证方法学
1.3 基本测试平台的功能
1.4 定向测试
1.5 方法学基础
1.6 受约束的随机激励
1.7 你的随机化对象是什么
1.7.1 设备和环境配置
1.7.2 输入数据
1.7.3 协议异常、错误和违例
1.7.4 时延和同步
1.7.5 并行的随机测试
- THE END -
非特殊说明，本博所有文章均为博主原创。
![[PDF下载] SYSTEMVERILOG数字集成电路功能验证](https://image12.bookschina.com/2023/20231127/1/B9173894.jpg "[PDF下载] SYSTEMVERILOG数字集成电路功能验证")
![[PDF下载] SYSTEMVERILOG硬件设计](https://image12.bookschina.com/2024/20240521/1/B9308732.jpg "[PDF下载] SYSTEMVERILOG硬件设计")
![[PDF下载] 国外电子与通信教材系列数字设计/Verilog HDL、VHDL和SystemVerilog实现(第六版)(英文版)](https://image12.bookschina.com/2020/20201106/2/B8422214.jpg "[PDF下载] 国外电子与通信教材系列数字设计/Verilog HDL、VHDL和SystemVerilog实现(第六版)(英文版)")
![[PDF下载] 系统生物学入门(原书第二版)(A First Course in Systems Biology)](https://image12.bookschina.com/2023/20231220/1/B9049155.jpg "[PDF下载] 系统生物学入门(原书第二版)(A First Course in Systems Biology)")
共有 0 条评论