新一些的库 DFF Verilog model 里$setup, $hold合并成$setuphold,$hold, $recovery合并成$recrem。 下面是一个例子。
Innovus 生成 sdf 的时候加上选项:
write_sdf -setuphold merge_always -recrem merge_always ...
xrun仿真命令行加上 -DEFINE NTC -DEFINE RECREM
`ifdef NTC
`ifdef RECREM
...
$setuphold (posedge CP &&& CDN_nD_SDN_SE_SDFCHK, negedge SI , 0, 0, notifier,,, CP_d, SI_d);
$recrem (posedge CDN &&& D_SDN_SE_SI_SDFCHK, posedge CP &&& D_SDN_SE_SI_SDFCHK, 0,0, notifier, , , CDN_d, CP_d); |