为什么后仿时用的库文件包含延时信息？？

禅师1988

回复 10# eeares
这是SDF的检查函数：
(TIMINGCHECK
        (WIDTH (posedge CK) (0.211::0.211))
        (WIDTH (negedge CK) (0.386::0.386))
        (SETUPHOLD (posedge D) (posedge CK) (0.258::0.258) ())
        (SETUPHOLD (negedge D) (posedge CK) (0.494::0.494) ())
        (SETUPHOLD (posedge RN) (posedge CK) (0.243::0.243) ())
        (SETUPHOLD (negedge RN) (posedge CK) (0.501::0.501) ())
原来是SDF中并没有检查hold time，这样就由库中的检查函数进行了检查，也就是说如果SDF中检查了某项时序，那么库中定义的检查函数就不起作用了，如果没有进行某项时序检查，就由库中的函数进行检查，SDF有高的优先级。
现在问题是，encounter生成的SDF为什么没有检查hold time？

eeares

setuphold就是同时check setup和hold，

回复  eeares
这是SDF的检查函数：
(TIMINGCHECK
        (WIDTH (posedge CK) (0.211::0.211))
        (WIDTH (neg ...
禅师1988 发表于 2012-9-13 15:29

                               
登录/注册后可看大图

禅师1988

回复 12# eeares

对啊，第一个参数是setup time，第二个是hold time，可是后面第二个参数那的括号是空的啊

claire123456

请问楼主怎么做到不加sdf也能用modelsim跑出波形的呀？怎么设置的呀？