请教与后仿有关的问题(negative timing check)！

lolo

请教与后仿有关的问题！
阅读ncverilog的手册中与check timing相关的章节，里面提到setup timing/hold timing 可以为负？为什么？
ncverilog对于这种‘setup timing' 和 ’hold timing‘ 为负的情况有两种处理方式：（1）把时钟或数据delay以后再分析；（2）直接分析； 为什么？ 选用哪种方式比较好呢？
smic库提供的verilog model文件也有两个：smic.v 和 smic_neg.v; 两个文件的区别在于前者不支持’negative timing check', 后者支持。这两个文件在综合/STA/P&R 时会用到吗？

populaa

谢谢分享