《SystemVerilog验证》是2009吗才煤染朝识雨法列年科学出版社出版的图书，作者是克里斯·斯皮尔。

• 书名 SystemVerilog验证
• 作者 (美)克里斯·斯皮尔
• 译者 张春
• ISBN 9787030253064
• 定价 55.00元

内容简介

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

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

图书目录

　　第1章 验证导论

　　第2章 数据类型

　　第3章 过程语句和子程序

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

　　第5章 面向对象编程基础

　　第6先省英师达章 随机化

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

　　第8章 计洋货放病金古面向对象编程的高级技巧指南

　　直强雨弦难表岩假望肉第9章 功能覆盖率

　　第10章 高级接口

　　第11章 完整的Sy讨玉身括很stem Verilog测试平台

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