Made options consistent between SYNTH_WRAPPED_OPERATORS and SWAP_ARITH_OPERATORS

Signed-off-by: Cho Moon <[email protected]>

Author: precisionmoon

flow/scripts/synth.tcl

@@ -119,7 +119,8 @@ 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 +152,8 @@ 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`