|
马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。
您需要 登录 才可以下载或查看,没有账号?注册
x
本帖最后由 my2817 于 2012-8-2 13:43 编辑
大家 好,后端在做完PR后提供 了SPEF文件,现在我想用PT通过spef生成sdf,但在生成 的sdf文件 中发现没有removal check,specify block中的removal check path,在写出的SDF中该path成了hold check,详情如下,
specify block:
- $width(negedge CKN,1.0,0); $width(posedge CKN,1.0,0); // hold D-HL CKN-HL $hold(negedge CKN &&& (ENABLE_SDN === 1'b1),
- negedge D &&& (ENABLE_SDN === 1'b1),1.0); // hold D-LH CKN-HL $hold(negedge CKN &&& (ENABLE_SDN === 1'b1),
- posedge D &&& (ENABLE_SDN === 1'b1),1.0); // setup D-HL CKN-HL $setup(negedge D &&& (ENABLE_SDN === 1'b1),
- negedge CKN &&& (ENABLE_SDN === 1'b1),1.0); // setup D-LH CKN-HL $setup(posedge D &&& (ENABLE_SDN === 1'b1),
- negedge CKN &&& (ENABLE_SDN === 1'b1),1.0); // recovery SDN-LH CKN-HL $recovery(posedge SDN,negedge CKN,1.0); // removal SDN-LH CKN-HL $removal(posedge SDN,negedge CKN,1.0); $width(negedge SDN,1.0,0);
复制代码
sdf written out by PT:
- (TIMINGCHECK (WIDTH (negedge CKN) (0.301::0.301)) (WIDTH (posedge CKN) (0.222::0.222)) (HOLD (posedge SDN) (negedge CKN) (0.099::0.100)) (RECOVERY (posedge SDN) (negedge CKN) (0.002::0.002)) (WIDTH (negedge SDN) (0.143::0.143)) (SETUP (posedge D) (COND ENABLE_SDN===1'b1 (negedge CKN)) (0.355::0.355)) (SETUP (negedge D) (COND ENABLE_SDN===1'b1 (negedge CKN)) (0.349::0.362)) (HOLD (posedge D) (COND ENABLE_SDN===1'b1 (negedge CKN)) (-0.175::-0.175)) (HOLD (negedge D) (COND ENABLE_SDN===1'b1 (negedge CKN)) (-0.276::-0.264)) ))
复制代码 |
|