仿真条件+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。

+nospeicy

在仿真时忽略库文件中指定的40 time unit的延时。

+delay_mode_zero

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

+notimingcheck

时序检查开关，比如setup/hold/width检查等等，如使用了该option，则仿真时不检查时序，行为类似于RTL仿真。在PR未结束，sdf反标文件还没准备好时，可用该选项忽略延时，可用于功能性的粗略检查。但真正跑后仿真时，不可使用该选项，否则仿真有效性大大降低。可使用tfile来将特定的路径加到no timing check list file中。建立notimingcheck.cfg文件,把违例的路径按格式instance {t_test.i_all.i_top.i_xx} {noTiming}; 添加到notimingcheck.cfg文件中，在编译的时候加入命令+optconfigfile+../notimingcheck.cfg 注意文件路径是相对makefile文件。