SystemVerilog验证

图书信息

书 名: SystemVerilog验证

作者：（美）克里斯·斯皮尔，张春译

出版社：科学出版社

出版时间： 2009-9-1

ISBN: 9787030253064

开本： 16开

定价: 55.00元

内容简介本书讲解了SystemVerilog语言的工作原理，介绍了类、随机化和功能覆盖率等测试手段和概念，并且在创建测试平台方面提供了很多引导性的建议。本书借助大量的实例说明SystemVerilog的各种验证方法，以及如何根据实际的应用情况选择最优的方法达到尽可能高的覆盖率。而且，重点演示了如何使用面向对象编程(OOP)的方法建立由覆盖率驱动并且受约束的基本的随机分层测试平台，此外，还论述了SystemVerilog与C语言的接口技术。

本书可供具有一定Vetilog编程基础的电路工程技术人员使用，也可作为高等院校电子类、自动化类、计算机类的学生参考书。

图书目录第1章 验证导论

第2章 数据类型

第3章 过程语句和子程序

第4章 连接设计和测试平台

第5章 面向对象编程基础

第6章 随机化

第7章 线程以及线程间的通信

第8章 面向对象编程的高级技巧指南

第9章 功能覆盖率

第10章 高级接口

第11章 完整的System Verilog测试平台

第12章 System Verilog与C语言的接口