一 选项:+neg_tchk
+neg_tchk,针对的是timing check task,即$setuphold / $recrem / $nochange 这三种task(据我所知,有且只有这3种),如果这些timing check task中的timing limit有负值,就需要加上这个option,否则vcs会把负的timing limit当作0来处理。
这个参数不会影响$setup / $hold / $removal / $recovery / $skew / $width / $period这些类型的timing check task,因为后面这几种timing check task的timing limit不允许是负值。
下图截取自某个sdf文件,+neg_tchk所针对的内容。
二 选项: -negdelay
-negdelay,针对的是延时的计算,即cell内部(IOPATH)或者cell to cell间(INTERCONNECT)的延时,如果不使用这个option,vcs同样会把负的delay值当作0来处理。
下图截取自某个sdf文件,红框标记了-negdelay所针对的内容。