Merge pull request #3521 from The-OpenROAD-Project-staging/secure-fix-mod-swap-flow

Made options consistent between SYNTH_WRAPPED_OPERATORS and SWAP_ARIT…

Author: maliberty

flow/scripts/synth.tcl

@@ -119,7 +119,10 @@ opt
 # Replace undef values with defined constants
 setundef -zero
 
-if { ![env_var_exists_and_non_empty SYNTH_WRAPPED_OPERATORS] } {
+if {
+  ![env_var_exists_and_non_empty SYNTH_WRAPPED_OPERATORS] &&
+  ![env_var_exists_and_non_empty SWAP_ARITH_OPERATORS]
+} {
   log_cmd abc {*}$abc_args
 } else {
   scratchpad -set abc9.script $::env(SCRIPTS_DIR)/abc_speed_gia_only.script
@@ -151,7 +154,10 @@ tee -o $::env(REPORTS_DIR)/synth_stat.txt stat {*}$lib_args
 
 # check the design is composed exclusively of target cells, and
 # check for other problems
-if { ![env_var_exists_and_non_empty SYNTH_WRAPPED_OPERATORS] } {
+if {
+  ![env_var_exists_and_non_empty SYNTH_WRAPPED_OPERATORS] &&
+  ![env_var_exists_and_non_empty SWAP_ARITH_OPERATORS]
+} {
   check -assert -mapped
 } else {
   # Wrapped operator synthesis leaves around $buf cells which `check -mapped`