SystemVerilog验证

SystemVerilog验证

作者:(美)克里斯·斯皮尔 著,张春 等译

出版社:科学出版社

出版年:2009-09-01

评分:5分

ISBN:703025306x

所属分类:网络科技

书刊介绍

SystemVerilog验证 内容简介

本书讲解了systemverilog语言的工作原理,介绍了类、随机化和功能覆盖率等测试手段和概念,并且在创建测试平台方面提供了很多引导性的建议。本书借助大量的实例说明systemverilog的各种验证方法,以及如何根据实际的应用情况选择*优的方法达到尽可能高的覆盖率。而且,重点演示了如何使用面向对象编程(oop)的方法建立由覆盖率驱动并且受约束的基本的随机分层测试平台,此外,还论述了systemverilog与c语言的接口技术。
本书可供具有一定vetilog编程基础的电路工程技术人员使用,也可作为高等院校电子类、自动化类、计算机类的学生参考书。

SystemVerilog验证 本书特色

本书可以作为学习system verilog验证语言的初级阶段读物。书中描述了语言的工作原理并且包含了很多例子,这些例子演示了如何使用面向对象编程(oop)的方法建立一个基本的、由覆盖率驱动并且受约束的随机分层测试平台。本书在创建测试平台方面有很多引导性的建议,能够帮你弄清楚为什么要使用类、随机化和功能覆盖率的概念。一旦你掌握了这门语言,就可以通过参考文献中所列举的方法学方面的书籍来学习关于建立测试平台的更多信息。

SystemVerilog验证 目录

第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并行的随机测试

相关推荐

微信二维码