机读格式显示(MARC)

• 000 01610cam 2200313 450

• 001 0000522384

• 005 20251128100100.0

• 010 __ |a 978-7-115-61405-6 |d CNY79.80

• 099 __ |a CAL 012023118204

• 100 __ |a 20231017d2023 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a SystemVerilog数字集成电路功能验证 |A SystemVerilog shu zi ji cheng dian lu gong neng yan zheng |d = Functional verification with SystemVerilog |f 王旭主编 |z eng

• 210 __ |a 北京 |c 人民邮电出版社 |d 2023

• 215 __ |a x, 316页 |c 图 |d 26cm

• 225 2_ |a 工业和信息化精品系列教材 |A gong ye he xin xi hua jing pin xi lie jiao cai |i 电子信息类

• 320 __ |a 有书目

• 330 __ |a 本书讲解了SystemVerilog 的基本语法和工作原理, 同时结合了 UVM 验证方法学中的验证技术知识。讲述的内容主要包括：基本数据类型、接口、类、随机化、约束、进程同步、功能覆盖和 DPI 技术。书中使用了约 270 个完整实例, 详细说明了每个知识点在实际项目中的应用。最后使用学过的验证技术搭建一个基于SystemVerilog 的简单验证平台。书中还介绍了 UVM 中的一些关键技术, 主要包括：继承和派生, 拷贝函数、单例类、测试登记表、代理类和工厂机制。为接下来系统学习 UVM 验证方法学打下坚实的基础。

• 410 _0 |1 2001 |a 工业和信息化精品系列教材 |i 电子信息类

• 510 1_ |a Functional verification with SystemVerilog |z eng

• 606 0_ |a 数字集成电路 |A shu zi ji cheng dian lu |x 电路设计 |x 高等学校 |j 教材

• 606 0_ |a 硬件描述语言 |A ying jian miao shu yu yan |x 高等学校 |j 教材

• 690 __ |a TN431.202 |v 5

• 690 __ |a TP312 |v 5

• 701 _0 |a 王旭 |A wang xu |4 主编

• 801 _0 |a CN |b 淮南新华书店有限公司 |c 20251106

• 905 __ |a AUSTL |d TN431.202/W894