Merge pull request #3281 from The-OpenROAD-Project-staging/bump-or-250207

Update for "rsz: Convert buffering to fixed-point delays"

Author: maliberty

flow/designs/ihp-sg13g2/aes/rules-base.json

@@ -44,7 +44,7 @@
         "compare": "<="
     },
     "detailedroute__antenna_diodes_count": {
-        "value": 5,
+        "value": 12,
         "compare": "<="
     },
     "finish__timing__setup__ws": {

flow/designs/ihp-sg13g2/jpeg/rules-base.json

@@ -28,7 +28,7 @@
         "compare": "<="
     },
     "globalroute__antenna_diodes_count": {
-        "value": 4,
+        "value": 12,
         "compare": "<="
     },
     "detailedroute__route__wirelength": {

flow/designs/nangate45/bp_fe_top/config.mk

@@ -29,3 +29,5 @@ export PLACE_DENSITY_MAX_POST_HOLD = 0.13
 export TNS_END_PERCENT        = 100
 
 export FASTROUTE_TCL = $(DESIGN_HOME)/$(PLATFORM)/$(DESIGN_NAME)/fastroute.tcl
+
+export GPL_KEEP_OVERFLOW = 0

flow/designs/nangate45/bp_fe_top/rules-base.json

@@ -48,7 +48,7 @@
         "compare": "<="
     },
     "finish__timing__setup__ws": {
-        "value": -0.12,
+        "value": -0.21,
         "compare": ">="
     },
     "finish__design__instance__area": {

flow/designs/sky130hd/gcd/rules-base.json

@@ -32,7 +32,7 @@
         "compare": "<="
     },
     "detailedroute__route__wirelength": {
-        "value": 9752,
+        "value": 11675,
         "compare": "<="
     },
     "detailedroute__route__drc_errors": {
@@ -56,7 +56,7 @@
         "compare": "<="
     },
     "finish__timing__drv__setup_violation_count": {
-        "value": 81,
+        "value": 86,
         "compare": "<="
     },
     "finish__timing__drv__hold_violation_count": {

flow/designs/sky130hd/riscv32i/rules-base.json

@@ -28,7 +28,7 @@
         "compare": "<="
     },
     "globalroute__antenna_diodes_count": {
-        "value": 10,
+        "value": 20,
         "compare": "<="
     },
     "detailedroute__route__wirelength": {

flow/scripts/load.tcl

@@ -108,8 +108,14 @@ proc write_eqy_script { } {
   # See issue OpenROAD#6545 "Equivalence check failure due to non-unique resizer nets"
   puts $outfile "gate-nomatch net*"
 
-  # Necessary to avoid false positive after Yosys 0.49
-  puts $outfile "gate-nomatch clone*\n\n"
+  # Forbid matching on buffer instances or cloned instances to make it less
+  # likely EQY will fail to prove equivalence because of its assuming structural
+  # similarity between gold and gate netlists. This doesn't remove coverage.
+  puts $outfile "gate-nomatch clone*"
+  puts $outfile "gate-nomatch place*"
+  puts $outfile "gate-nomatch rebuffer*"
+  puts $outfile "gate-nomatch wire*"
+  puts $outfile "gate-nomatch place*\n\n"
 
   # Equivalence check recipe 1
   puts $outfile "\[strategy basic]\nuse sat\ndepth 10\n\n"