Rebased regressions.

Signed-off-by: Jaehyun Kim <[email protected]>

Author: jhkim-pii

src/rsz/test/repair_tie10_hier.ok

@@ -87,3 +87,6 @@ Hierarchical pins
 
 0.0 0.0
 0.0 0.0
+[WARNING ORD-2043] SanityCheck: Module 'ALU_16_0_16_0_16_unused_CO\[14:0\]_X_BRENT_KUNG' is defined but never instantiated.
+[WARNING ORD-2043] SanityCheck: Module 'ALU_16_0_16_0_16_unused_CO\[14:0\]_X_KOGGE_STONE' is defined but never instantiated.
+[WARNING ORD-2043] SanityCheck: Module 'ALU_16_0_16_0_16_unused_CO\[14:0\]_X_SKLANSKY' is defined but never instantiated.

src/rsz/test/repair_tie10_hier.tcl

@@ -25,3 +25,5 @@ report_net _395_/CI
 
 check_ties TIEHIx1_ASAP7_75t_R
 report_ties TIEHIx1_ASAP7_75t_R
+
+sta::check_axioms

src/rsz/test/repair_tie11_hier.defok

@@ -18,8 +18,8 @@ PINS 1 ;
 END PINS
 NETS 4 ;
     - net ( alu0/hier2/load1 A ) ( alu0_1 H ) ( alu0/load2 A ) + USE SIGNAL ;
-    - net1 ( alu1/hier2/load1 A ) ( alu1_2 H ) ( alu1/load2 A ) + USE SIGNAL ;
     - net2 ( load0 A ) ( load0_3 H ) + USE SIGNAL ;
+    - net_1 ( alu1/hier2/load1 A ) ( alu1_2 H ) ( alu1/load2 A ) + USE SIGNAL ;
     - top_in ( PIN top_in ) + USE SIGNAL ;
 END NETS
 END DESIGN

src/rsz/test/repair_tie12_hier.defok

@@ -17,8 +17,8 @@ PINS 1 ;
     - top_in + NET top_in + DIRECTION INPUT + USE SIGNAL ;
 END PINS
 NETS 4 ;
+    - hier3/net ( hier3/alu1/hier2/load1 A ) ( hier3/alu1_2 H ) ( hier3/alu1/load2 A ) + USE SIGNAL ;
     - net ( alu0/hier2/load1 A ) ( alu0_1 H ) ( alu0/load2 A ) + USE SIGNAL ;
-    - net1 ( hier3/alu1/hier2/load1 A ) ( hier3/alu1_2 H ) ( hier3/alu1/load2 A ) + USE SIGNAL ;
     - net2 ( load0 A ) ( load0_3 H ) + USE SIGNAL ;
     - top_in ( PIN top_in ) + USE SIGNAL ;
 END NETS