encounter生成的SDF为什么没有检查hold time？

禅师1988

这是encounter生成的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，怎样让encounter生成具有hold time检查功能的SDF？

Gary.wang

同问，顶起~~

陈涛

(SETUPHOLD (posedge D) (posedge CK) (0.258::0.258) ())

Gary.wang

回复 3# 陈涛


    后面（）里面没有数值的，应该是没有检查吧？

陈涛

1) 检查lib里面是否有hold的定义，report_timing -early -to <那个FF>
2）检查output sdf命令的选项和log file