后端提取的sdf中可能是有negative timing 在interconnect上的,可能的原因是crosstalk之类的问题导致. negative timing在FF,clock的delay超过data的delay. 这时,需要sdf和lib中的specify模型都支持negative timing才不会报错. $setuphold支持negative timing,$setup不支持negative timing. 用IUS进行gate-level的仿真时,可以加option -non…