Skip to content

Commit 4dea5a5

Browse files
committed
add gate-nomatch clone* to prevent eqy false positive
Signed-off-by: Eder Monteiro <[email protected]>
1 parent 506e666 commit 4dea5a5

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

flow/scripts/load.tcl

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -103,7 +103,10 @@ proc write_eqy_script { } {
103103
puts $outfile "\[match *]\ngate-nomatch _*_.*"
104104

105105
# See issue OpenROAD#6545 "Equivalence check failure due to non-unique resizer nets"
106-
puts $outfile "gate-nomatch net*\n\n"
106+
puts $outfile "gate-nomatch net*"
107+
108+
# Necessary to avoid false positive after Yosys 0.49
109+
puts $outfile "gate-nomatch clone*\n\n"
107110

108111
# Equivalence check recipe 1
109112
puts $outfile "\[strategy basic]\nuse sat\ndepth 10\n\n"

0 commit comments

Comments
 (0)