用Liberate对时序单元触发器特征化

lightpisces

你template里面，arc怎么定义的？还是说没有arc定义在里面？

亭ting

   

chedanzhuzhu 发表于 2019-3-22 08:54
constraint_delay_degrade把这个设置的大一点把，默认是0.1，设成0.3试试看看能不能仿真跑过，仿真能过得话 ...

我设置了：

   

        

            
1. set_var constraint_delay_degrade 0.3
   
2. set_var constraint_delay_degrade_abstol 1e-12
   
3. 
           

   

    复制代码

然后还把那个template中index变小了，

   

        

            
1. define_template -type delay \
   
2.          -index_1 {1 12 27 47 67 87 102 127 147 167 187 } \
   
3.          -index_2 {0.001 0.002 0.0035 0.005 0.0065 0.008 0.0095 0.011 0.0125 0.014 0.016 } \
   
4.          delay_template_11x11
   
5. 
   
6. define_template -type constraint \
   
7.          -index_1 {1 47 187 } \
   
8.          -index_2 {1 47 187 }  \
   
9.          constraint_template_3x3
   
10. 
            

   

    复制代码

可是结果还是不行，仍然报错：

   

        

            
1. ERROR (LIB-52): The constraint search failed to find a solution within the search range for arc of cell:'DFM1RA_st', r_pin:'CK', r_pin dir:'r', pin:'D', pin dir:'r', type:'hold_rising rise_constraint', vector:'RRxx'. This cell will be marked as failed and the constraint data will be set to: 1.0 (see constraint_failed_value). To debug, review the saved simulation results for deck: hold_5. Possible causes include: 'constraint_delay_degrade' too large; 'constraint_delay_degrade_abstol' too large; 'constraint_check_final_state_threshold' too large;
           

   

    复制代码

亭ting

   

lightpisces 发表于 2019-3-22 08:59
你template里面，arc怎么定义的？还是说没有arc定义在里面？

我是这样定义的：

   

        

            
1. define_cell \
   
2.        -clock { CK } \
   
3.        -input { D } \
   
4.        -output { Q QB } \
   
5.        -pinlist { CK D Q QB } \
   
6.        -delay delay_template_11x11 \
   
7.        -power power_template_11x11 \
   
8.        -constraint constraint_template_3x3 \
   
9.        DFM1RA_st
           

   

    复制代码

   

        

            
1. define_template -type delay \
   
2.          -index_1 {1 12 27 47 67 87 102 127 147 167 187 } \
   
3.          -index_2 {0.001 0.002 0.0035 0.005 0.0065 0.008 0.0095 0.011 0.0125 0.014 0.016 } \
   
4.          delay_template_11x11
   
5. 
   
6. define_template -type constraint \
   
7.          -index_1 {1 47 187 } \
   
8.          -index_2 {1 47 187 }  \
   
9.          constraint_template_3x3
   
10. 
    
11. #         -index_1 {2 52 100 } \
    
12. #         -index_2 {2 52 100 }  \
    
13. 
    
14. define_template -type power \
    
15.          -index_1 {1 12 27 47 67 87 102 127 147 167 187 } \
    
16.          -index_2 {0.001 0.002 0.0035 0.005 0.0065 0.008 0.0095 0.011 0.0125 0.014 0.016 } \
    
17.          power_template_11x11
            

   

    复制代码

chedanzhuzhu

你看看你那边有没有相同类型cell的lib，读取后生成一个template试试看，里面有define_arc，char的时候加上-use_only试试

chedanzhuzhu

user_arcs_only

lightpisces

你arc没定义啊，应该类似这样：
define_arc \
       -type hold \
       -vector {RRxx} \
       -related_pin CK \
       -pin D \
       DFM1RA_st

亭ting

   

lightpisces 发表于 2019-3-22 16:25
你arc没定义啊，应该类似这样：
define_arc \
       -type hold \

我用的template就是从一个lib里读取来的，里面有这样的arc定义，如下：

   

        

            
1. # constraint arcs from CK => D  hold_rising
   
2. define_arc \
   
3.        -type hold \
   
4.        -vector {RRxx} \
   
5.        -related_pin CK \
   
6.        -pin D \
   
7.        DFM1RA_st
   
8. 
   
9. # constraint arcs from CK => D  hold_rising
   
10. define_arc \
    
11.        -type hold \
    
12.        -vector {RFxx} \
    
13.        -related_pin CK \
    
14.        -pin D \
    
15.        DFM1RA_st
    
16. 
    
17. define_arc \
    
18.        -type setup \
    
19.        -vector {RRxx} \
    
20.        -related_pin CK \
    
21.        -pin D \
    
22.        DFM1RA_st
    
23. 
    
24. define_arc \
    
25.        -type setup \
    
26.        -vector {RFxx} \
    
27.        -related_pin CK \
    
28.        -pin D \
    
29.        DFM1RA_st
    
30. 
    
31. # delay arcs from CK => Q  rising_edge
    
32. define_arc \
    
33.        -type edge \
    
34.        -vector {RxRx} \
    
35.        -related_pin CK \
    
36.        -pin Q \
    
37.        DFM1RA_st
    
38. 
    
39. # delay arcs from CK => Q  rising_edge
    
40. define_arc \
    
41.        -type edge \
    
42.        -vector {RxFx} \
    
43.        -related_pin CK \
    
44.        -pin Q \
    
45.        DFM1RA_st
    
46. 
    
47. # delay arcs from CK => QB  rising_edge
    
48. define_arc \
    
49.        -type edge \
    
50.        -vector {RxxR} \
    
51.        -related_pin CK \
    
52.        -pin QB \
    
53.        DFM1RA_st
    
54. 
    
55. # delay arcs from CK => QB  rising_edge
    
56. define_arc \
    
57.        -type edge \
    
58.        -vector {RxxF} \
    
59.        -related_pin CK \
    
60.        -pin QB \
    
61.        DFM1RA_st
    
62. 
            

   

    复制代码

就是我在template里包含了这样的内容，不过这还用用那个user_arcs_only吗

亭ting

   

chedanzhuzhu 发表于 2019-3-22 15:10
user_arcs_only

我在char_library里加了-user_arcs_only，而且那个define arc里也有hold的define arc，但是还是出了错，

   

        

            
1. ERROR (LIB-52): The constraint search failed to find a solution within the search range for arc of cell:'DFM1RA_st', r_pin:'CK', r_pin dir:'r', pin:'D', pin dir:'r', type:'hold_rising rise_constraint', vector:'RRxx'. This cell will be marked as failed and the constraint data will be set to: 1.0 (see constraint_failed_value). To debug, review the saved simulation results for deck: hold_5. Possible causes include: 'constraint_delay_degrade' too large; 'constraint_delay_degrade_abstol' too large; 'constraint_check_final_state_threshold' too large; estimated search range too small (see constraint_search_bound). Modify the constraint parameters and rerun.
           

   

    复制代码

请问，还有什么没有考虑到的吗？

lightpisces

   

亭ting 发表于 2019-3-25 10:00
我用的template就是从一个lib里读取来的，里面有这样的arc定义，如下：
就是我在template里包含了这样的 ...

user_arcs_only就是指定liberate从你的template里面去找arc
如果不设定，它会自己去找arc

亭ting

   

lightpisces 发表于 2019-3-25 14:43
user_arcs_only就是指定liberate从你的template里面去找arc
如果不设定，它会自己去找arc
...

我添加了这个user_arcs_only，还是报错，就像上面那样，请问还有什么办法吗？