自动修复简单transition violation问题 tcl脚本

wlmwxm

tcl 语言不熟练，脚本语句用的都很基础，思路简单，存在冗余之处大佬们可发表下优化方法

proc trans_fix {{top_design wrapper} {scenario sc_1p05v_125c_ff} {slack 0.00} {buff_list "BUF_X9 BUF_X16"} } {
   report_constraint -all_violators -max_transition -nosplit > ${top_design}.tran_err
    set file_hdl [open ${top_design}.tran_err r]
    set vio_list ""
    while {![eof $file_hdl]} {
      gets $file_hdl line
      set end_point [lindex $line 0]
      set rpt_scen  [lindex $line end]
      if { ![string compare $rpt_scen $scenario] && ![regexp {Scenario}  $line] && ![regexp {Total}  $line]} {
         puts "## violted  point => $line"
         lappend vio_list $line
      }   
   }
   close $file_hdl
   set wr_hdl [open ${top_design}.eco w]
   foreach vio_path  $vio_list {
      set end_point [lindex $vio_path 0]
      set rpt_slack [lindex $vio_path 3]
      set ld_flag 0
      set drv_flag 0
       set load_num 0
      set drv_cell ""
      set load_type ""
     if {$rpt_slack < $slack} {
        set rpt_name [split  ${end_point} "/"]
        set rpt_file [lindex $rpt_name end]
        puts $rpt_file
        report_net -connection  -nosplit  $end_point > ${rpt_file}.con
        set file_hdl [open ${rpt_file}.con r]
        while {![eof $file_hdl]} {
           gets $file_hdl line
           if {[regexp {Driver} [lindex $line 0]]} {
              set drv_flag 1
           }
           if {[regexp {Load}  [lindex $line 0]]} {
              set drv_flag 0
              set ld_flag 1
           }
           if {$drv_flag == 1 && ![regexp "\-.*" [lindex $line 0]] && ![regexp "Driver" [lindex $line 0]] && [string compare  "" [lindex $line 0]] } {
              set drv_pin [lindex $line 0]
              set drv_cell  [lindex $line end]
           }
           if {$ld_flag == 1 && ![regexp {\-.*} [lindex $line 0]] && ![regexp {Load}  [lindex $line 0]]  } {
              set load_pin [lindex $line 0]
              set load_type  [lindex $line 1]
              set load_num [expr $load_num + 1]
           }
           if {[regexp "BUF" $drv_cell] && [regexp "Output" $load_type]} {
              if {[expr  $slack - $rpt_slack] > 0.05} {
                   regsub "\/Y" $drv_pin "" drv_inst
                   puts $wr_hdl "size_cell $drv_inst [lindex $buff_list 1]"
                 } else {
                   regsub "\/Y" $drv_pin "" drv_inst
                   puts $wr_hdl "size_cell $drv_inst [lindex $buff_list 0]"
                 }
           } elseif {![regexp "BUF" $drv_cell] && [regexp "Output" $load_type]} {
              if {[expr  $slack - $rpt_slack] > 0.05} {
                   puts $wr_hdl "insert_buffer $load_pin [lindex $buff_list 1]"
                 } else {
                   puts $wr_hdl "insert_buffer $load_pin [lindex $buff_list 0]"
                 }               
           } elseif {[regexp "BUF" $drv_cell] && [regexp "Input" $load_type] && $load_num == 1} {
              if {[expr  $slack - $rpt_slack] > 0.05} {
                   regsub "\/Y" $drv_pin "" drv_inst
                   puts $wr_hdl "size_cell $drv_inst [lindex $buff_list 1]"
                 }  else {
                   regsub "\/Y" $drv_pin "" drv_inst
                   puts $wr_hdl "size_cell $drv_inst [lindex $buff_list 0]"
                 }
           } elseif {![regexp "BUF" $drv_cell] && [regexp "Input" $load_type] && $load_num == 1} {
              if {[expr  $slack - $rpt_slack] > 0.05} {
                   puts $wr_hdl "insert_buffer $drv_pin  [lindex $buff_list 1]"
                 } else {
                   puts $wr_hdl "insert_buffer $drv_pin  [lindex $buff_list 0]"
                 }               
           }         
        }        
      }
   }
   close $wr_hdl
}

ljianlin

用来做练习可以，实际用的话，PT自带的 “fix_eco_drc -type max_transition ” 不是更简单直接吗？

set eco_drc_buf_list "BUFX2 BUFX3 BUFX4 BUFX5 BUFX6 BUFX8 BUFX10 BUFX12 BUFX14 BUFX16"
fix_eco_drc -type max_transition -method { size_cell insert_buffer } -verbose -buffer_list $eco_drc_buf_list

wlmwxm

抛砖引玉，这个方法好

青线

学习学习

runforbetter

学习了，transition一般修第一个，后面会有改善，可以从这个角度优化一下，或者每次只修一个点？？