@@ -142,26 +142,23 @@ techmap -autoproc -map $::env(DFF_TO_LATCH_MAP_FILE)
142142opt -noff
143143
144144
145- set dfflibmap_args " "
146- foreach cell $::env(DONT_USE_CELLS) {
147- lappend dfflibmap_args -dont_use $cell
148- }
149-
150145# Technology mapping of flip-flops
151146# dfflibmap only supports one liberty file
152147if { [env_var_exists_and_non_empty DFF_LIB_FILE] } {
153- dfflibmap -liberty $::env(DFF_LIB_FILE) {*}$dfflibmap_args
148+ dfflibmap -liberty $::env(DFF_LIB_FILE) {*}$lib_dont_use_args
154149} else {
155- dfflibmap -liberty $::env(DONT_USE_SC_LIB) {*}$dfflibmap_args
150+ dfflibmap {*} $lib_args {*}$lib_dont_use_args
156151}
157152opt -noff
158153
159154# Replace undef values with defined constants
160155setundef -zero
161156
162157
163- if { ![env_var_exists_and_non_empty SYNTH_WRAPPED_OPERATORS] } {
164- puts " Running basic abc"
158+ if {
159+ ![env_var_exists_and_non_empty SYNTH_WRAPPED_OPERATORS] &&
160+ ![env_var_exists_and_non_empty SWAP_ARITH_OPERATORS]
161+ } {
165162 log_cmd abc {*}$abc_args
166163} else {
167164 scratchpad -set abc9.script $::env(SCRIPTS_DIR) /abc_speed_gia_only.script
@@ -190,11 +187,14 @@ insbuf -buf {*}$::env(MIN_BUF_CELL_AND_PORTS)
190187# Reports
191188tee -o $::env(REPORTS_DIR) /synth_check.txt check
192189
193- tee -o $::env(REPORTS_DIR) /synth_stat.txt stat {*}$stat_libs
190+ tee -o $::env(REPORTS_DIR) /synth_stat.txt stat {*}$lib_args
194191
195192# check the design is composed exclusively of target cells, and
196193# check for other problems
197- if { ![env_var_exists_and_non_empty SYNTH_WRAPPED_OPERATORS] } {
194+ if {
195+ ![env_var_exists_and_non_empty SYNTH_WRAPPED_OPERATORS] &&
196+ ![env_var_exists_and_non_empty SWAP_ARITH_OPERATORS]
197+ } {
198198 check -assert -mapped
199199} else {
200200 # Wrapped operator synthesis leaves around $buf cells which `check -mapped`
0 commit comments