Verilog时序仿真中+notimingcheck与+no_notifier的区别及用法咨询

1. 两个编译参数的具体作用 #

• +notimingcheck：全局关闭仿真器的所有时序检查逻辑，不仅不会输出任何setup/hold等时序违例的断言/报错信息，也不会触发任何时序违例对应的行为（包括触发器输出打X），仿真行为接近无SDF反标的功能仿真。
• +no_notifier：保留完整的时序检查逻辑，依旧会正常输出所有时序违例的断言/报错信息，但会屏蔽时序违例触发的notifier信号翻转动作（标准单元库的时序模型中，正是notifier翻转触发了触发器输出赋值为X），因此时序违例时触发器会保留原有输出值，不会变为X。

2. 两个参数是否可以同时使用 #

可以同时指定两个参数，同时生效的效果是：既不会输出任何时序违例断言，也不会触发输出打X的行为，完全忽略所有时序违例的影响。
注意：该用法会完全丧失带SDF反标的门级仿真的时序校验价值，非特殊场景不推荐使用 #

3. 对你的猜测的正误验证 #

你提出的猜测如下：

指定+notimingcheck时会关闭上述第二个行为，不会生成断言；指定+no_notifier时会关闭上述第一个行为，输出不会变为'X'，适合运行包含多时钟域的门级设计
验证结果：

• 关于+no_notifier的描述完全正确：该参数确实仅关闭输出变X的行为，不会屏蔽时序违例报错，非常适配多时钟域设计的门级仿真场景——跨时钟域路径本就设计为异步不需要做时序检查，保留时序报错能力可以帮你排查同步路径的真实问题，同时不会因为异步路径的违例产生大量X值干扰功能验证。
• 关于+notimingcheck的描述不准确：该参数是全局关闭整时序检查逻辑，既不会生成时序违例断言，也不会触发输出变X的行为，等于完全放弃了门级仿真的时序校验能力。如果仅需要屏蔽跨时钟域路径的违例，更推荐使用针对特定路径/时钟域的忽略时序检查参数，而非全局加+notimingcheck。

内容的提问来源于stack exchange，提问作者pico