Prime time 写SDF文件，没有removal check

大家 好，后端在做完PR后提供 了SPEF文件，现在我想用PT通过spef生成sdf，但在生成 的sdf文件 中发现没有removal check，specify block中的removal check path，在写出的SDF中该path成了hold check，详情如下，
specify block：

1. $width(negedge CKN,1.0,0); $width(posedge CKN,1.0,0);  // hold D-HL CKN-HL  $hold(negedge CKN &&& (ENABLE_SDN === 1'b1),
   
2.                 negedge D &&& (ENABLE_SDN === 1'b1),1.0); // hold D-LH CKN-HL  $hold(negedge CKN &&& (ENABLE_SDN === 1'b1),
   
3.                 posedge D &&& (ENABLE_SDN === 1'b1),1.0);  // setup D-HL CKN-HL  $setup(negedge D &&& (ENABLE_SDN === 1'b1),
   
4.                 negedge CKN &&& (ENABLE_SDN === 1'b1),1.0); // setup D-LH CKN-HL  $setup(posedge D &&& (ENABLE_SDN === 1'b1),
   
5.                 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:

1.   (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))  ))

复制代码

更新下，刚发的太乱了：
  

1.         $width(negedge CKN,1.0,0);
   
2. 
   
3.         $width(posedge CKN,1.0,0);
   
4. 
   
5.         // hold D-HL CKN-HL
   
6.         $hold(negedge CKN &&& (ENABLE_SDN === 1'b1),
   
7.                 negedge D &&& (ENABLE_SDN === 1'b1),1.0);
   
8. 
   
9.         // hold D-LH CKN-HL
   
10.         $hold(negedge CKN &&& (ENABLE_SDN === 1'b1),
    
11.                 posedge D &&& (ENABLE_SDN === 1'b1),1.0);
    
12. 
    
13.         // setup D-HL CKN-HL
    
14.         $setup(negedge D &&& (ENABLE_SDN === 1'b1),
    
15.                 negedge CKN &&& (ENABLE_SDN === 1'b1),1.0);
    
16. 
    
17.         // setup D-LH CKN-HL
    
18.         $setup(posedge D &&& (ENABLE_SDN === 1'b1),
    
19.                 negedge CKN &&& (ENABLE_SDN === 1'b1),1.0);
    
20. 
    
21.         // recovery SDN-LH CKN-HL
    
22.         $recovery(posedge SDN,negedge CKN,1.0);
    
23. 
    
24.         // removal SDN-LH CKN-HL
    
25.         $removal(posedge SDN,negedge CKN,1.0);
    
26. 
    
27.         $width(negedge SDN,1.0,0);

复制代码

1.   (TIMINGCHECK
   
2.     (WIDTH (negedge CKN) (0.301::0.301))
   
3.     (WIDTH (posedge CKN) (0.222::0.222))
   
4.     (HOLD (posedge SDN) (negedge CKN) (0.099::0.100))
   
5.     (RECOVERY (posedge SDN) (negedge CKN) (0.002::0.002))
   
6.     (WIDTH (negedge SDN) (0.143::0.143))
   
7.     (SETUP (posedge D)    (COND ENABLE_SDN===1'b1  (negedge CKN)) (0.355::0.355))
   
8.     (SETUP (negedge D)    (COND ENABLE_SDN===1'b1  (negedge CKN)) (0.349::0.362))
   
9.     (HOLD (posedge D)    (COND ENABLE_SDN===1'b1  (negedge CKN)) (-0.175::-0.175))
   
10.     (HOLD (negedge D)    (COND ENABLE_SDN===1'b1  (negedge CKN)) (-0.276::-0.264))
    
11.   )

复制代码

   出问题的就是specify block中的第25行与sdf timecheck的第4行

顶更健康………………

我也是发现了这个现象，感觉没什么问题啊?

试一下pt写出sdf3.0格式的sdf

顶，顶更健康………………