mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-08-08 07:03:11 +00:00
Code Activity

tests: exclude signorm marker cells from cell-count assertions

Browse source
This commit is contained in:
Emil J. Tywoniak 2026-07-21 14:05:18 +02:00
parent e27e695c9e
commit ed7e50be24
3 changed files with 8 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

3
tests/memlib/generate_mk.py
View file

@ -1566,7 +1566,8 @@ for t in TESTS:
for kk, vv in ca.items():
sf.write("select -assert-count {} t:{} r:{}={} %i\n".format(cc, k, kk, vv))
else:
sf.write("select -assert-count {} t:{}\n".format(v, k))
suffix = " t:$*_port %d t:$public %d" if k.startswith("$") else ""
sf.write("select -assert-count {} t:{}{}\n".format(v, k, suffix))
def create_tests():
for t in TESTS:

2
tests/proc/yosys_latch.ys
View file

@ -13,7 +13,7 @@ select -assert-count 1 t:$_DLATCH_P_
select -assert-count 1 t:$_DLATCH_N_
select -assert-count 1 t:$_DLATCH_PN0_
select -assert-count 1 t:$_DLATCH_NN0_
select -assert-count 4 t:*
select -assert-count 4 t:* t:$*_port %d t:$public %d
design -load gold
equiv_opt -assert -multiclock simplemap

10
tests/various/peepopt.ys
View file

@ -9,7 +9,7 @@ equiv_opt -assert peepopt
design -load postopt
clean
select -assert-count 1 t:$bmux
select -assert-count 0 t:$bmux t:* %D
select -assert-count 0 t:$bmux t:* %D t:$*_port %d t:$public %d
####################
@ -26,7 +26,7 @@ design -load postopt
clean
select -assert-count 1 t:$shr
select -assert-count 1 t:$mul
select -assert-count 0 t:$shr t:$mul %% t:* %D
select -assert-count 0 t:$shr t:$mul %% t:* %D t:$*_port %d t:$public %d
####################
@ -50,7 +50,7 @@ sat -verify -show-public -enable_undef -prove-asserts miter
cd gate
select -assert-count 1 t:$shr
select -assert-count 1 t:$mul
select -assert-count 0 t:$shr t:$mul %% t:* %D
select -assert-count 0 t:$shr t:$mul %% t:* %D t:$*_port %d t:$public %d
####################
@ -109,7 +109,7 @@ equiv_opt -assert peepopt
design -load postopt
clean
select -assert-count 1 t:$bmux
select -assert-count 0 t:$bmux t:* %D
select -assert-count 0 t:$bmux t:* %D t:$*_port %d t:$public %d
####################
@ -244,4 +244,4 @@ equiv_opt -assert peepopt
design -load postopt
clean
select -assert-count 1 t:$bmux
select -assert-count 0 t:$bmux t:* %D
select -assert-count 0 t:$bmux t:* %D t:$*_port %d t:$public %d