机读格式显示(MARC)

• 000 00891nam0 2200133 450

• 001 0000343163

• 010 __ |a 978-7-03-072746-6 |d CNY98.00

• 101 1_ |a chi |c eng

• 200 1_ |a SystemVerilog验证 |A SystemVerilog yan zheng |b 专著 |e 测试平台编写指南 |f (美)克里斯·斯皮尔，(美)格雷格·图姆布斯著 |g 张春译

• 210 __ |a 北京 |c 科学出版社 |d 2023.03

• 215 __ |a 14,410页 |c 图 |d 26cm

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

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

• 690 __ |a TP312.8VH |v 5