仿真条件+nospecify +notimingcheck +delay_mode_zero的区别

以标准库单元中一个与非门为例，库.v文件中作了如下描述：

module ND（X,A1，A2）
   output X ;
   input A1,A2 ;
   specify
     (A1 => X) = 40 ;
     (A2 => X) = 40 ;
   endspecify
endmodule

在标准单元中，定义输入A1和A2到输出X的路径延时都为40 time units。

+nospecify

在仿真时忽略库文件中指定的40 time unit的延时，一般加在前仿中。

+delay_mode_zero

将标准库单元中定义的延时40替换为0。testbench中的 #延时 也都被消除。

+notimingcheck

时序检查开关，比如setup/hold/width检查等等，如使用了该option，则仿真时不检查时序，行为类似于RTL仿真，一般加在前仿中。在PR未结束，sdf反标文件还没准备好时，可用该选项忽略延时，可用于功能性的粗略检查。但真正跑后仿真时，不可使用该选项，否则仿真有效性大大降低。