第1章 什么是“编程陷阱”

什么是Verilog和SystemVerilog

什么是陷阱

Verilog和SystemVerilog标准

第2章 声明以及字符表述类陷阱

陷阱1：字母大小写的敏感性

陷阱2：网表的隐式声明

陷阱3：默认的1 bit内部网

陷阱4：单文件和多文件编译的＄unit声明

陷阱5：局部变量的声明

陷阱6：分层路径的转义名称

陷阱7：自动变量的分层引用

陷阱8：未命名模块中的变量分层引用

陷阱9：分层引用一个导入的包项目

陷阱10：从程序包中导入枚举类型

陷阱11：导入多个程序包

陷阱12：默认的整数进制

陷阱13：有符号整数

陷阱14：有符号数的位宽扩展

陷阱15：变量位宽与赋值位宽的不一致

陷阱16：将矢量全置为1

陷阱17：合并数组和并置

陷阱18：端口连接的几点规则

陷阱19：后驱动端口

陷阱20：实型（浮点型）数字的端口间传送

第3章 RTL建模中的陷阱

陷阱21：包含函数调用的组合逻辑灵敏度列表

陷阱22：灵敏度列表中的数组

陷阱23：时序逻辑灵敏度列表中的向量

陷阱24：灵敏度列表中的操作

陷阱25：使用begin...end的时序逻辑块

陷阱26：带复位的顺序逻辑块

陷阱27：异步设置/复位触发器仿真和综合

陷阱28：顺序程序块中的阻塞赋值

陷阱29：要求阻塞赋值的顺序逻辑

陷阱30：组合逻辑中的非阻塞赋值

陷阱31：错误顺序的组合逻辑赋值语句

陷阱32： case表达式中casez/casex掩码用法

陷阱33：不完备的判决语句

陷阱34：重叠判决语句

陷阱35：不恰当使用unique条件语句

陷阱36： 2-状态模型的复位

陷阱37：枚举类型锁定状态机的建模

陷阱38： 4-状态逻辑中隐藏的设计问题

陷阱39： 2-状态类型中隐藏的设计问题

陷阱40：越界数组访问中的隐藏问题

陷阱41：枚举类型的越界赋值

陷阱42：模块中未检测到共享变量

陷阱43：在接口和程序包中未见共享变量

第4章 运算符陷阱

陷阱44：表达式的赋值

陷阱45：操作符的自定义和上下文定义

陷阱46：赋值语句中的运算位宽和符号扩展

陷阱47：有符号数的算数运算规则

陷阱48：基于位选择的操作

陷阱49：递增、递减和赋值运算符

陷阱50：前加与后加运算

陷阱51：一条语句中变量的多次改变

陷阱52：运算求值短路

陷阱53：逻辑非（！）与按位求反符（～）

陷阱54：数组的运算

陷阱55：针对数组子集的运算

第5章 常见的编程陷阱

陷阱56：验证零时刻的异步和同步复位

陷阱57：if...else嵌套语块

陷阱58：4-状态值下等号求值

陷阱59：事件触发竞争条件

陷阱60：使用信号量的同步

陷阱61：使用邮箱的同步

陷阱62：时钟块的触发

陷阱63：判断语句后错误使用分号

陷阱64：for循环语句中分号的错误使用

陷阱65：死循环

陷阱66：由于并发for循环引起的死锁

陷阱67：循环控制变量的引用

陷阱68：函数返回默认的位宽

陷阱69：任务/功能函数的默认值

陷阱70：为避免毛刺而采用延迟的连续赋值

第6章 面向对象和多线程编程中的陷阱

陷阱71：类定义的编程语句

陷阱72：基于面向对象接口的测试平台

陷阱73：邮箱中的所有对象具有相同的值

陷阱74：使用input或ref参数的句柄传递

陷阱75：构建一个基于对象的数组

陷阱76：静态任务和功能的非可重入性

陷阱77：静态变量与自动变量的初始化

陷阱78：叉型编程线程需要自动变量

陷阱79：禁用fork将终止多个线程

陷阱80：禁用一个语句块却未如所愿

陷阱81：仿真在测试完毕前过早退出

第7章 随机化、覆盖率和断言类陷阱

陷阱82：随机化声明的变量并未随机化

陷阱83：未被检测的随机化失败

陷阱84：$assertoff可以禁止随机化

陷阱85：两个以上随机变量的布尔约束条件

陷阱86：不必要的负随机值

陷阱87：覆盖报告默认基于组而非箱

陷阱88：覆盖率始终报告0%

陷阱89：覆盖报告将所有实例混在一起

陷阱90：覆盖组的参数方向具有粘黏性

陷阱91：断言传递语句与空成功一同执行

陷阱92：程序块中的并发断言

陷阱93：assert...else语句中的不匹配

陷阱94：不能失败的断言

第8章 工具兼容性陷阱

陷阱95：默认的仿真时间单位和精度

陷阱96：程序包链接

陷阱97：不同工具的随机数生成不一致

陷阱98：使用always＿latch/always＿来加载存储器模型

陷阱99：非标准语言扩展

陷阱100：数组常量的级联

陷阱101：传输浮点数值（实数类型）的模块端口