Skip to content

Commit af8725d

Browse files
committed
moved setundef -zero before ABC optimization to resolve undefined values before ABC
This fixes the Yosys issue 5220. Signed-off-by: Cho Moon <[email protected]>
1 parent acbfa78 commit af8725d

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

flow/scripts/synth.tcl

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -107,6 +107,9 @@ if { [env_var_exists_and_non_empty DFF_LIB_FILE] } {
107107
}
108108
opt
109109

110+
# Replace undef values with defined constants
111+
setundef -zero
112+
110113
if { ![env_var_exists_and_non_empty SYNTH_WRAPPED_OPERATORS] } {
111114
log_cmd abc {*}$abc_args
112115
} else {
@@ -117,9 +120,6 @@ if { ![env_var_exists_and_non_empty SYNTH_WRAPPED_OPERATORS] } {
117120
delete {t:$specify*}
118121
}
119122

120-
# Replace undef values with defined constants
121-
setundef -zero
122-
123123
# Splitting nets resolves unwanted compound assign statements in netlist (assign {..} = {..})
124124
splitnets
125125

0 commit comments

Comments
 (0)