作者：慕意豪 著
页数：442
出版社：科学出版社
出版日期：2025
ISBN：9787030816894
电子书格式：pdf/epub/txt
网盘下载地址：下载使用SystemVerilog进行RTL建模——基于SystemVerilog的
内容简介
本书几乎涵盖使用SystemVerilog在RTL层面对ASIC和FPGA进行建模的所有方面，旨在为数字IC设计工程师提供全面的学习与参考资料。
本书基于SystemVerilog-2017标准，首先阐述SystemVerilog与传统Verilog的区别，以及其在仿真和综合中的作用，并对RTL和门级建模等抽象级别进行定义；接着深入探讨多种数据类型，包括线网和变量类型、用户自定义类型等，详细说明其使用方法和注意事项；对于运算符和编程语句，本书也进行了全面讲解，强调如何正确使用它们编写可综合的RTL模型。此外，书中各章节包含丰富示例和代码片段，聚焦特定SystemVerilog构造，展示了如何在实际设计中运用相关知识。同时，针对ASIC和FPGA的建模特点，讨论了不同技术对RTL建模风格的影响，并提供了相应的编码建议。附录部分还汇总了最佳实践指南，列出了关键字集，并提供了额外资源，方便读者查阅和进一步学习。
目录
目录第1章 SystemVerilog仿真与综合 11.1 Verilog和System Verilog的区别 21.2 RTL 和门级建模 71.3 定义System Verilog的RTL综合子集 121.4 针对ASIC和FPGA的建模 121.5 System Verilog仿真 161.6 数字综合 291.7 System Veriloglint检查器 331.8 逻辑等价检查器 331.9 小结 34第2章 RTL建模基础 352.1 模块和过程块 362.2 System Verilog语言规则 372.3 模 块 492.4 模块实例和层次结构 512.5 小 结 56第3章 线网和变量类型 573.1 4 态数据值 583.2 文本值（数字） 583.3 类型和数据类型 633.4 变量类型 633.5 线网类型 723.6 端口声明 793.7 线网和变量的非合并数组 853.8 参数常量 893.9 常量变量 943.10 小结 95第4章 用户定义的类型和包 974.1 用户定义类型 984.2 System Verilog包 994.3 $unit命名空间 1084.4 枚举类型 1104.5 结构体 1194.6 联合体 1254.7 使用结构体和联合体的数组 1314.8 小 结 133第5章 RTL表达式运算符 1375.1 运算符表达式规则 1385.2 连接和复制运算符 1425.3 条件运算符 1465.4 位运算符 1495.5 归约运算符 1535.6 逻辑运算符 1555.7 比较运算符 1605.8 全等运算符 1635.9 集合成员关系运算符 1655.10 移位运算符 1685.1 1 流操作符（打包和解包） 1755.1 2 算术运算符 1775.1 3 增量和减量运算符 1825.1 4 赋值运算符 1885.1 5 类型转换运算符和类型转换 1905.1 6 运算符优先级 2005.1 7 总结 202第6章 RTL编程语句 2036.1 System Verilog过程块 2046.2 决策语句 2096.3 循环语句 2216.4 跳转语句 2326.5 空操作语句 2346.6 RTL 建模中的函数和任务 2366.7 小结 242第7章 组合逻辑建模 2437.1 连续赋值（布尔表达式） 2447.2 always和always_comb过程块 2487.3 使用函数表示组合逻辑 2557.4 组合逻辑决策优先级 2567.5 小结 262第8章 时序逻辑建模 2658.1 触发器和寄存器的RTL 模型 2668.2 建模有限状态机（FSM） 2908.3 建模内存设备（如RAM） 3088.4 小 结 312第9章 建模锁存器和避免非设计意图的锁存器 3139.1 锁存器建模 3149.2 非设计意图的锁存器 3189.3 在不完整的决策中避免产生锁存器 3209.4 小结 341第10章 通信总线建模——接口端口（interface ports） 34310.1 接口的概念 34410.2 将interface用作模块端口 35410.3 接口的modports 35610.4 接口方法（任务和函数） 36110.5 接口过程代码 36410.6 参数化接口 36610.7 综合接口 36710.8 小结 370附录 371附录A 最佳实践指南 372附录B System Verilog关键字 377附录C RTL模型中的X态乐观与X态悲观 382附录D 其他资源 420
