mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-04-25 05:13:34 +00:00
Code Activity

tests: adjust to input_port and init behavior (sketchy)

Browse source
This commit is contained in:
Emil J. Tywoniak 2026-03-10 14:09:31 +01:00
parent 30ac7d271c
commit 4c90e26298
4 changed files with 17 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

8
tests/opt/opt_expr_more.ys
View file

@ -50,7 +50,7 @@ opt_expr -fine
# The division by zero should be removed
select -assert-count 0 t:$div
# No cells should be left as it's replaced with constant undef
select -assert-none t:*
select -assert-none t:* t:$input_port %d
design -reset
read_verilog <<EOT
@ -64,7 +64,7 @@ design -load postopt
# The mux should be removed completely
select -assert-count 0 t:$mux
# No additional cells needed - direct connection
select -assert-none t:*
select -assert-none t:* t:$input_port %d
design -reset
read_verilog <<EOT
@ -110,7 +110,7 @@ design -load postopt
# The comparison of different constants should be replaced with constant 0
select -assert-count 0 t:$eq
# No other cells should be present (just the constant driver)
select -assert-none t:*
select -assert-none t:* t:$input_port %d
# opt.opt_expr.invert.double
@ -131,7 +131,7 @@ design -load postopt
opt_clean -purge
select -assert-count 0 t:$not
# No other cells should be present
select -assert-none t:*
select -assert-none t:* t:$input_port %d
# opt.opt_expr.reduce_xnor_not

16
tests/opt/opt_expr_or.ys
View file

@ -12,12 +12,12 @@ copy gold fine_keepdc
cd coarse
opt_expr
select -assert-none c:*
select -assert-none c:* t:$input_port %d
cd fine
simplemap
opt_expr
select -assert-none c:*
select -assert-none c:* t:$input_port %d
cd
miter -equiv -flatten -make_assert -make_outputs -ignore_gold_x gold coarse miter
@ -27,12 +27,12 @@ sat -verify -prove-asserts -show-ports -enable_undef miter2
cd coarse_keepdc
opt_expr -keepdc
select -assert-count 1 c:*
select -assert-count 1 c:* t:$input_port %d
cd fine_keepdc
simplemap
opt_expr -keepdc
select -assert-count 1 c:*
select -assert-count 1 c:* t:$input_port %d
cd
miter -equiv -flatten -make_assert -make_outputs gold coarse_keepdc miter3
@ -56,12 +56,12 @@ copy gold fine_keepdc
cd coarse
opt_expr -fine
select -assert-none c:*
select -assert-none c:* t:$input_port %d
cd fine
simplemap
opt_expr
select -assert-none c:*
select -assert-none c:* t:$input_port %d
cd
miter -equiv -flatten -make_assert -make_outputs -ignore_gold_x gold coarse miter
@ -71,12 +71,12 @@ sat -verify -prove-asserts -show-ports -enable_undef miter2
cd coarse_keepdc
opt_expr -fine -keepdc
select -assert-count 1 c:*
select -assert-count 1 c:* t:$input_port %d
cd fine_keepdc
simplemap
opt_expr -keepdc
select -assert-count 2 c:*
select -assert-count 2 c:* t:$input_port %d
cd
miter -equiv -flatten -make_assert -make_outputs gold coarse_keepdc miter3

2
tests/opt/opt_expr_xnor.ys
View file

@ -27,7 +27,7 @@ sat -verify -prove-asserts -show-ports -enable_undef miter2
cd coarse_keepdc
opt_expr -keepdc
select -assert-count 1 c:*
select -assert-count 1 c:* t:$input_port %d
cd fine_keepdc
simplemap

8
tests/opt/opt_expr_xor.ys
View file

@ -66,12 +66,12 @@ copy gold fine_keepdc
cd coarse
opt_expr
select -assert-none c:*
select -assert-none c:* t:$input_port %d
cd fine
simplemap
opt_expr
select -assert-none c:*
select -assert-none c:* t:$input_port %d
cd
miter -equiv -flatten -make_assert -make_outputs -ignore_gold_x gold coarse miter
@ -81,12 +81,12 @@ sat -verify -prove-asserts -show-ports -enable_undef miter2
cd coarse_keepdc
opt_expr -keepdc
select -assert-count 1 c:*
select -assert-count 1 c:* t:$input_port %d
cd fine_keepdc
simplemap
opt_expr -keepdc
select -assert-count 1 c:*
select -assert-count 1 c:* t:$input_port %d
cd
miter -equiv -flatten -make_assert -make_outputs gold coarse_keepdc miter3