mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-23 00:55:32 +00:00
Code Activity

opt_expr: do not group by X, more fixes

Browse source
This commit is contained in:
Eddie Hung 2020-04-23 18:15:07 -07:00
parent b84415094c
commit 90b71eb84b
3 changed files with 61 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tests/opt/opt_expr_xnor.ys
View file

@ -80,6 +80,6 @@ select -assert-count t c:$_XOR_
cd
miter -equiv -flatten -make_assert -make_outputs gold coarse_keepdc miter3
sat -verify -prove-asserts -show-ports -enable_undef -set-def in_i miter3
sat -verify -prove-asserts -show-ports -enable_undef miter3
miter -equiv -flatten -make_assert -make_outputs coarse_keepdc fine_keepdc miter4
sat -verify -prove-asserts -show-ports -enable_undef miter4

2
tests/opt/opt_expr_xor.ys
View file

@ -136,6 +136,6 @@ select -assert-count t c:$_XOR_
cd
miter -equiv -flatten -make_assert -make_outputs gold coarse_keepdc miter3
sat -verify -prove-asserts -show-ports -enable_undef -set-def in_i miter3
sat -verify -prove-asserts -show-ports -enable_undef miter3
miter -equiv -flatten -make_assert -make_outputs coarse_keepdc fine_keepdc miter4
sat -verify -prove-asserts -show-ports -enable_undef miter4