reorg tcl cmds

Signed-off-by: James Cherry <[email protected]>
nchuan · Jan 19, 2023 · 695b0be · 695b0be
1 parent 3f7df84
commit 695b0be
Show file tree

Hide file tree

Showing 16 changed files with 1,433 additions and 1,495 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -221,17 +221,20 @@ set(STA_SOURCE
 set(STA_TCL_FILES
   tcl/Init.tcl
   tcl/Util.tcl
+  tcl/CmdArgs.tcl
+  tcl/CmdUtil.tcl
   tcl/Graph.tcl
   tcl/Liberty.tcl
   tcl/Link.tcl
   tcl/Network.tcl
   tcl/NetworkEdit.tcl
+  tcl/Property.tcl
   tcl/Sdc.tcl
   tcl/Search.tcl
-  tcl/Cmds.tcl
-  tcl/Variables.tcl
   tcl/Sta.tcl
   tcl/Splash.tcl
+  tcl/Variables.tcl
+  tcl/WritePathSpice.tcl
   dcalc/DelayCalc.tcl
   parasitics/Parasitics.tcl
   power/Power.tcl

diff --git a/dcalc/DelayCalc.tcl b/dcalc/DelayCalc.tcl
@@ -120,5 +120,248 @@ proc set_delay_calculator { alg } {
   }
 }
 
+define_cmd_args "set_pocv_sigma_factor" { factor }
+
+################################################################
+
+define_cmd_args "set_assigned_delay" \
+  {-cell|-net [-rise] [-fall] [-corner corner] [-min] [-max]\
+     [-from from_pins] [-to to_pins] delay}
+
+# Change the delay for timing arcs between from_pins and to_pins matching
+# on cell (instance) or net.
+proc set_assigned_delay { args } {
+  set_assigned_delay_cmd "set_assigned_delay" $args
+}
+
+proc set_assigned_delay_cmd { cmd cmd_args } {
+  parse_key_args $cmd cmd_args keys {-corner -from -to} \
+    flags {-cell -net -rise -fall -max -min}
+  check_argc_eq1 $cmd $cmd_args
+  set corner [parse_corner keys]
+  set min_max [parse_min_max_all_check_flags flags]
+  set to_rf [parse_rise_fall_flags flags]
+
+  if [info exists keys(-from)] {
+    set from_pins [get_port_pins_error "from_pins" $keys(-from)]
+  } else {
+    sta_error 442 "$cmd missing -from argument."
+  }
+  if [info exists keys(-to)] {
+    set to_pins [get_port_pins_error "to_pins" $keys(-to)]
+  } else {
+    sta_error 443 "$cmd missing -to argument."
+  }
+
+  set delay [lindex $cmd_args 0]
+  if {![string is double $delay]} {
+    sta_error 444 "$cmd delay is not a float."
+  }
+  set delay [time_ui_sta $delay]
+
+  if {[info exists flags(-cell)] && [info exists flags(-net)]} {
+    sta_error 445 "set_annotated_delay -cell and -net options are mutually excluive."
+  } elseif {[info exists flags(-cell)]} {
+    if { $from_pins != {} } {
+      set inst [[lindex $from_pins 0] instance]
+      foreach pin $from_pins {
+	if {[$pin instance] != $inst} {
+	  sta_error 446 "$cmd pin [get_full_name $pin] is not attached to instance [get_full_name $inst]."
+	}
+      }
+      foreach pin $to_pins {
+	if {[$pin instance] != $inst} {
+	  sta_error 447 "$cmd pin [get_full_name $pin] is not attached to instance [get_full_name $inst]"
+	}
+      }
+    }
+  } elseif {![info exists flags(-net)]} {
+    sta_error 448 "$cmd -cell or -net required."
+  }
+  foreach from_pin $from_pins {
+    set from_vertices [$from_pin vertices]
+    set_assigned_delay1 [lindex $from_vertices 0] \
+      $to_pins $to_rf $corner $min_max $delay
+    if { [llength $from_vertices] == 2 } {
+      set_assigned_delay1 [lindex $from_vertices 1] \
+	$to_pins $to_rf $corner $min_max $delay
+    }
+  }
+}
+
+proc set_assigned_delay1 { from_vertex to_pins to_rf corner min_max delay } {
+  foreach to_pin $to_pins {
+    set to_vertices [$to_pin vertices]
+    set_assigned_delay2 $from_vertex [lindex $to_vertices 0] \
+      $to_rf $corner $min_max $delay
+    if { [llength $to_vertices] == 2 } {
+      # Bidirect driver.
+      set_assigned_delay2 $from_vertex [lindex $to_vertices 1] \
+	$to_rf $corner $min_max $delay
+    }
+  }
+}
+
+proc set_assigned_delay2 {from_vertex to_vertex to_rf corner min_max delay} {
+  set edge_iter [$from_vertex out_edge_iterator]
+  while {[$edge_iter has_next]} {
+    set edge [$edge_iter next]
+    if { [$edge to] == $to_vertex \
+	   && ![timing_role_is_check [$edge role]] } {
+      foreach arc [$edge timing_arcs] {
+	if { $to_rf == "rise_fall" \
+	       || $to_rf eq [$arc to_edge_name] } {
+	  set_arc_delay $edge $arc $corner $min_max $delay
+	}
+      }
+    }
+  }
+  $edge_iter finish
+}
+
+################################################################
+
+define_cmd_args "set_assigned_check" \
+  {-setup|-hold|-recovery|-removal [-rise] [-fall]\
+     [-corner corner] [-min] [-max]\
+     [-from from_pins] [-to to_pins] [-clock rise|fall]\
+     [-cond sdf_cond] check_value}
+
+proc set_assigned_check { args } {
+  set_assigned_check_cmd "set_assigned_check" $args
+}
+
+proc set_assigned_check_cmd { cmd cmd_args } {
+  parse_key_args $cmd cmd_args \
+    keys {-from -to -corner -clock -cond} \
+    flags {-setup -hold -recovery -removal -rise -fall -max -min}
+  check_argc_eq1 $cmd $cmd_args
+
+  if { [info exists keys(-from)] } {
+    set from_pins [get_port_pins_error "from_pins" $keys(-from)]
+  } else {
+    sta_error 449 "$cmd missing -from argument."
+  }
+  set from_rf "rise_fall"
+  if { [info exists keys(-clock)] } {
+    set clk_arg $keys(-clock)
+    if { $clk_arg eq "rise" \
+	   || $clk_arg eq "fall" } {
+      set from_rf $clk_arg
+    } else {
+      sta_error 450 "$cmd -clock must be rise or fall."
+    }
+  }
+
+  if { [info exists keys(-to)] } {
+    set to_pins [get_port_pins_error "to_pins" $keys(-to)]
+  } else {
+    sta_error 451 "$cmd missing -to argument."
+  }
+  set to_rf [parse_rise_fall_flags flags]
+  set corner [parse_corner keys]
+  set min_max [parse_min_max_all_check_flags flags]
+
+  if { [info exists flags(-setup)] } {
+    set role "setup"
+  } elseif { [info exists flags(-hold)] } {
+    set role "hold"
+  } elseif { [info exists flags(-recovery)] } {
+    set role "recovery"
+  } elseif { [info exists flags(-removal)] } {
+    set role "removal"
+  } else {
+    sta_error 452 "$cmd missing -setup|-hold|-recovery|-removal check type.."
+  }
+  set cond ""
+  if { [info exists key(-cond)] } {
+    set cond $key(-cond)
+  }
+  set check_value [lindex $cmd_args 0]
+  if { ![string is double $check_value] } {
+    sta_error 453 "$cmd check_value is not a float."
+  }
+  set check_value [time_ui_sta $check_value]
+
+  foreach from_pin $from_pins {
+    set from_vertices [$from_pin vertices]
+    set_assigned_check1 [lindex $from_vertices 0] $from_rf \
+      $to_pins $to_rf $role $corner $min_max $cond $check_value
+    if { [llength $from_vertices] == 2 } {
+      set_assigned_check1 [lindex $from_vertices 1] $from_rf \
+	$to_pins $to_rf $role $corner $min_max $cond $check_value
+    }
+  }
+}
+
+proc set_assigned_check1 { from_vertex from_rf to_pins to_rf \
+			     role corner min_max cond check_value } {
+  foreach to_pin $to_pins {
+    set to_vertices [$to_pin vertices]
+    set_assigned_check2 $from_vertex $from_rf [lindex $to_vertices 0] \
+      $to_rf $role $corner $min_max $cond $check_value
+    if { [llength $to_vertices] == 2 } {
+      # Bidirect driver.
+      set_assigned_check2 $from_vertex $from_rf \
+	[lindex $to_vertices 1] $to_rf $role $corner $min_max \
+	$cond $check_value
+    }
+  }
+}
+
+proc set_assigned_check2 { from_vertex from_rf to_vertex to_rf \
+			     role corner min_max cond check_value } {
+  set edge_iter [$from_vertex out_edge_iterator]
+  while {[$edge_iter has_next]} {
+    set edge [$edge_iter next]
+    if { [$edge to] == $to_vertex } {
+      foreach arc [$edge timing_arcs] {
+	if { ($from_rf eq "rise_fall" \
+		|| $from_rf eq [$arc from_edge_name]) \
+	       && ($to_rf eq "rise_fall" \
+		     || $to_rf eq [$arc to_edge_name]) \
+	       && [$arc role] eq $role \
+	       && ($cond eq "" || [$arc sdf_cond] eq $cond) } {
+	  set_arc_delay $edge $arc $corner $min_max $check_value
+	}
+      }
+    }
+  }
+  $edge_iter finish
+}
+
+################################################################a
+
+define_cmd_args "set_assigned_transition" \
+  {[-rise] [-fall] [-corner corner] [-min] [-max] slew pins}
+
+# Change the slew on a list of ports.
+proc set_assigned_transition { args } {
+  parse_key_args "set_assigned_transition" args keys {-corner} \
+    flags {-rise -fall -max -min}
+
+  set corner [parse_corner keys]
+  set min_max [parse_min_max_all_check_flags flags]
+  set tr [parse_rise_fall_flags flags]
+  check_argc_eq2 "set_assigned_transition" $args
+
+  set slew [lindex $args 0]
+  if {![string is double $slew]} {
+    sta_error 428 "set_assigned_transition transition is not a float."
+  }
+  set slew [time_ui_sta $slew]
+  set pins [get_port_pins_error "pins" [lindex $args 1]]
+  foreach pin $pins {
+    set vertices [$pin vertices]
+    set vertex [lindex $vertices 0]
+    set_annotated_slew $vertex $corner $min_max $tr $slew
+    if { [llength $vertices] == 2 } {
+      # Bidirect driver.
+      set vertex [lindex $vertices 1]
+      set_annotated_slew $vertex $min_max $tr $slew
+    }
+  }
+}
+
 # sta namespace end
 }
diff --git a/doc/ApiChanges.txt b/doc/ApiChanges.txt
@@ -16,7 +16,7 @@
 
 This file summarizes STA API changes for each release.
 
-Release 2.4.0 2023/01/??
+Release 2.4.0 2023/01/19
 -------------------------
 
 The Network API and associated containers now 'const' the network class objects.

diff --git a/doc/ChangeLog.txt b/doc/ChangeLog.txt
@@ -3,6 +3,9 @@ OpenSTA Timing Analyzer Release Notes
 
 This file summarizes user visible changes for each release.
 
+Release 2.4.0 2023/01/19
+-------------------------
+
 The report_parasitics_annotation command reports SPEF annotation completeness.
 
   report_parasitics_annotation [-report_unannotated]
@@ -12,6 +15,8 @@ pin activities for power analysis.
 
   read_power_activities -vcd filename
 
+The report_cell command has been removed; use report_instance.
+
 Release 2.3.3 2022/09/24
 -------------------------
 

diff --git a/doc/OpenSTA.odt b/doc/OpenSTA.odt
diff --git a/tcl/Cmds.tcl → tcl/CmdArgs.tcl b/tcl/Cmds.tcl → tcl/CmdArgs.tcl