File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -91,7 +91,7 @@ renames -wire
9191puts " Duplicate each flip-flop"
9292techmap -max_iter 1 -map $::env(DUPLICATE_DFFS_MAP_FILE)
9393flatten
94- opt -noff
94+ opt
9595clean -purge
9696
9797
@@ -119,27 +119,11 @@ puts "Perform logical equivalence checking"
119119check_logical_equivalence $::env(DESIGN_NAME) pre_retiming post_retiming
120120
121121# Optimize the design
122- opt -noff -purge
123-
124- # Technology mapping of adders
125- if { [env_var_exists_and_non_empty ADDER_MAP_FILE] } {
126- # extract the full adders
127- extract_fa
128- # map full adders
129- techmap -map $::env(ADDER_MAP_FILE)
130- techmap
131- # Quick optimization
132- opt -noff -fast -purge
133- }
134-
135- # Technology mapping of latches
136- if { [env_var_exists_and_non_empty LATCH_MAP_FILE] } {
137- techmap -map $::env(LATCH_MAP_FILE)
138- }
122+ opt -purge
139123
140124# puts "Replace each DFF with a corresponding latch"
141125techmap -autoproc -map $::env(DFF_TO_LATCH_MAP_FILE)
142- opt -noff
126+ opt
143127
144128
145129# Technology mapping of flip-flops
@@ -149,7 +133,7 @@ if { [env_var_exists_and_non_empty DFF_LIB_FILE] } {
149133} else {
150134 dfflibmap {*}$lib_args {*}$lib_dont_use_args
151135}
152- opt -noff
136+ opt
153137
154138# Replace undef values with defined constants
155139setundef -zero
You can’t perform that action at this time.
0 commit comments