本书是介绍SystemVetilog（Verilog-2005）的实用图书。书中深入浅出地介绍SystemVerilog相比于Verilog新增加的特性，包括新的数据类型、操作符、过程块语句以及适于SoC设计的接口结构，这些新增加的特性大大提高Verilog的高层抽象能力，弥补’Verilog底层描述能力强但系统级描述能力弱的缺点。为了进一步说明这些新的数据类型、操作符和过程语
句，本书对Verilog语句中的数据类型、操作符以及过程语句的仿真行为进行深入的分析，以便于读者加深对Verilog的理解。此外，本书还介绍Sys—temVerilog增加的一些系统连接描述方法，相对于Verilog-2001，这些方法可以进一步简化系统连接，提高设计效率。本书提供许多代码例子，这些例子可以从网上下载，有助于读者对SystemVerilog的学习。
本书可供具有一定Verilog基础的电路设计工程技术人员使用，同时可作为高等院校相关专业学生参考书。

第1章 SystemVerilog介绍
1.1 SystemVeriIog起源
1.1.1 SystemVerilog标准的发展历程
1.1.2 SystemVerilog获得的捐赠
1.2 SystemVerilog针对硬件设计的关键增强
1.3 小结
第2章 SystemVerilog声明的位置
2.1 包(package)
2.1.1 包的定义
2.1.2 引用包的内容
2.1.3 综合指导
2.2 Sunit编译单元声明
2.2.1 编码指导
2.2.2 SystemVerilog标识符搜索规则
2.2.3 源代码顺序
2.2.4 将包导入Sunit的编码原则
2.2.5 综合指导
2.3 未命名语句块中的声明
2.3.1 未命名块中的局部变量
2.4 仿真时间单位和精度
2.4.1 Verilog编译指令timescale
2.4.2 包含时间单位的时间值
2.4.3 范围级（scope—level）时间单位和精度
2.4.4 编译单元的时间单位和精度
2.5 小结
第3章 SystemVerilog文本值和数据类型
3.1 加强的文本值赋值
3.2 define增强
3.2.1 字符串内的宏变量替换
3.2.2 通过宏建立标识符名
3.3 SystemVerilog变量
3.3.1 对象类型和数据类型
3.3.2 SystemVerilog四态变量
3.3.3 SystemVerilog两态变量
3.3.4 显式及隐式变量和线网类型
3.3.5 综合指导
3.4 在RTL模型中使用两态类型
3.4.1 两态类型的特点
3.4.2 两态类型和四态类型仿真
3.4.3 在case语句中使用两态类型
3.5 数据类型规则的放宽
3.6 有符号和无符号修饰符
3.7 静态和自动变量
3.7.1 静态变量和自动变量的初始化
3.7.2 自动变量的综合指导
3.7.3 静态和自动变量的使用原则
3.8 变量初始化的确定性
3.8.1 初始化确定机制
3.8.2 时序逻辑的异步输入初始化
3.9 强制类型转换
3.9.1 静态转换（编译时转换）
3.9.2 动态强制类型转换
3.9.3 综合指导
3.10 常数
3.11 小结
第4章 用户自定义和枚举数据类型
4.1 用户自定义类型
4.1.1 局部typedef声明
4.1.2 共享typedef定义
4.1.3 用户自定义类型的命名习惯
4.2 枚举数据类型
4.2.1 枚举类型标签序列
4.2.2 枚举类型标签作用域
4.2.3 枚举类型值
4.2.4 枚举类型的基类
……
第5章 数组、结构体和联合体
第6章 SystemVerilog过程块、任务和函数
第7章 过程语句
第8章 有限状态机建模
第9章 层次化设计
第10章 接口
第11章 一个完整设计的建模
第12章 行为级和交易级建模
附录A SystemVerilog形式定义（BNF）
附录B Verilog和SystemVerilog保留关键字
附录C SUPERLOG的历史，即SystemVerilog的开端