encounter生成的SDF为什么没有检查hold time？
时间：10-02
整理：3721RD
点击：
这是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?
(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?
同问，顶起
(SETUPHOLD (posedge D) (posedge CK) (0.258::0.258) ())
后面（）里面没有数值的，应该是没有检查吧?
1) 检查lib里面是否有hold的定义，report_timing -early -to <那个FF>
2）检查output sdf命令的选项和log file