本书是一本全面介绍SystemVerilog基础知识，并使每位读者都可以毫无误解地理解SystemVerilog的入门读物。本书通过大量浅显易懂的示例，透彻讲解了SystemVerilog的基本功能，并对难以理解、容易混淆的功能进行了详细介绍，为读者进行SystemVerilog实践提供全面的知识准备。 本书由24章构成，全面、详细介绍了SystemVerilog语言。在概述SystemVerilog的概况和发展历史的基础上，分别介绍了用于设计和验证的构建块，数据类型，类，进程，赋值语句，运算符和表达式，执行语句，任务和函数，时钟块，进程同步和通信，检查器，程序，接口，包，模块，系统任务和系统函数，基于约束的随机激励生成，SystemVerilog的验证功能，硬件建模和验证，UVM，编译器预处理指令，仿真执行模型。 本书可作为广大从事硬件设计、验证的技术人员，特别是正在入门的初学人员的学习教材和技术参考书，也可作为高校集成电路、电子技术、计算机等专业的课程教材。

译者序
原书前言
本书使用的缩略语一览表
第1章 概述
1.1 SystemVerilog的历史
1.2 SystemVerilog概述
1.2.1 作为语言的SystemVerilog
1.2.2 作为设计语言的SystemVerilog
1.2.3 作为验证语言的SystemVerilog
1.3 本书的语法描述
1.4 SystemVerilog的语法规则
1.5 编译和细化
1.6 声明和定义
1.7 本书的对象和目的
1.8 本书的结构
1.9 关于示例
1.10 本书的标记法
第2章 用于设计和验证的构建块
2.1 设计要素
2.2 模块
2.3 程序
2.4 接口
2.5 检查器
2.6 包
2.7 门级和开关级建模
2.8 基本元件
2.9 配置
2.10 编译单元
2.11 `timescale编译器指令
2.12 垃圾回收
2.12.1 automatic变量
2.12.2 static变量
第3章 数据类型
3.1 数据类型和数据对象
3.2 logic类型
3.3 线网（net）类型
3.4 变量
3.5 线网和变量
3.6 4-state类型
3.7 2-state类型
3.8 integral类型
3.9 real、shortreal和realtime类型
3.10 void类型
3.11 chandle类型
3.12 string类型
3.13 event类型
3.14 typedef语句
3.15 enum类型
3.16 常量
3.17 const常量
3.18 cast操作符
3.19 $cast动态类型转换
3.20 便利的初始值设置
3.20.1 位值扩展
3.20.2 通过位号的设定
3.21 引用指针
第4章 由多个元素组成的数据类型
4.1 结构体
4.1.1 紧凑结构体
4.1.2 结构体的赋值
4.2 共用体
4.2.1 紧凑共用体
4.2.2 标记共用体
4.3 紧凑数组和非紧凑数组
4.3.1 紧凑数组
4.3.2 非紧凑数组
4.3.3 数组的引用
4.3.4 紧凑数组的引用
4.4 动态数组
4.4.1 适用于动态数组的方法
4.4.2 数组的复制
4.5 关联数组
4.5.1 关联数组概述
4.5.2 关联数组数据元素的添加及更新
4.5.3 适用于关联数组的方法
4.5.4 关联数组实量
4.6 队列
4.6.1 队列概述
4.6.2 队列的操作
4.6.3 适用于队列的方法
4.7 数组信息获取函数
4.8 数组操作方法
4.8.1 数组搜索方法
4.8.2 数组数据元素的排序方法
4.8.3 数组计算方法
4.9 数组扫描方法
第5章 类
5.1 类的概述
5.2 类的语法
5.3 类对象（类实例）
5.4 类属性和方法的访问
5.5 构造函数
5.6 指定类型的构造函数调用
5.7 static类属性
5.8 static类方法
5.9 this句柄
5.10 句柄数组
5.11 类的复制
5.12 类继承和子类
5.13 $cast
5.14 const类属性
5.15 virtual方法
5.16 抽象类和pure virtual方法
5.17 类作用域运算符
5.18 类成员的访问控制
5.19 如何在类外编写方法
5.20 通过参数进行的通用类定义
5.20.1 概述
5.20.2 通过参数进行的通用类实现
5.20.3 使用参数实现通用类的步骤
5.21 类的前向声明
5.22 将类应用于测试平台
5.23 接口类
5.23.1 概述
5.23.2 功能
第6章 进程
6.1 仿真过程
6.1.1 initial过程
6.1.2 always过程
6.1.3 final过程
6.2 语句块
6.2.1 begin-end语句块
6.2.2 fork-join语句块
6.2.3 语句块命名
6.2.4 fork语句块的有效利用
6.3 基于定时的执行控制
6.3.1 基于定时的执行控制概述
6.3.2 延时控制
6.3.3 边缘敏感事件控制
6.3.4 赋值定时控制
6.3.5 事件等待控制
6.3.6 事件控制和解除
6.4 进程控制
6.4.1 wait语句
6.4.2 wait fork语句
6.4.3 disable fork语句
6.4.4 wait_order语句
6.5 进程和RNG
6.6 特定的用户进程控制
第7章 赋值语句
7.1 连续赋值语句
7.2 行为赋值语句
7.2.1 阻塞赋值语句
7.2.2 非阻塞赋值语句
7.3 模式赋值
第8章 运算符和表达式
8.1 运算符
8.1.1 赋值运算符
8.1.2 自增和自减运算符
8.1.3 算术运算符
8.1.4 比较运算符
8.1.5 通配符比较运算符
8.1.6 逻辑运算符
8.1.7 位运算符
8.1.8 单变量逻辑运算符
8.1.9 移位运算符
8.1.10 条件运算符
8.1.11 拼接运算符
8.1.12 inside运算符
8.1.13 比特流运算符
8.2 操作数
8.2.1 部分选择
8.2.2 非紧凑数组
8.3 带标记成员的操作
第9章 执行语句
9.1 if语句
9.1.1 所有条件的列举
9.1.2 unique-if语句和unique0-if语句
9.1.3 priority-if语句
9.2 case语句
9.2.1 unique-case语句和unique0-case语句
9.2.2 priority-case语句
9.2.3 casez和casex
9.3 insid