projects
/
yosys.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
4bee908
)
synth_gatemate: Fix fsm test
author
Patrick Urban
<patrick.urban@web.de>
Mon, 11 Oct 2021 08:31:03 +0000
(10:31 +0200)
committer
Marcelina KoĆcielnicka
<mwk@0x04.net>
Sat, 13 Nov 2021 20:53:25 +0000
(21:53 +0100)
tests/arch/gatemate/fsm.ys
patch
|
blob
|
history
diff --git
a/tests/arch/gatemate/fsm.ys
b/tests/arch/gatemate/fsm.ys
index 39b74c9e0ba6e9684f07c6df1627989c4907b859..6e3e3a1bebb274800321dbdaf5ff635659d9ff14 100644
(file)
--- a/
tests/arch/gatemate/fsm.ys
+++ b/
tests/arch/gatemate/fsm.ys
@@
-14,7
+14,7
@@
cd fsm # Constrain all select calls below inside the top module
select -assert-count 1 t:CC_BUFG
select -assert-count 6 t:CC_DFF
-select -assert-count
3
t:CC_LUT2
-select -assert-count
4
t:CC_LUT3
+select -assert-count
4
t:CC_LUT2
+select -assert-count
2
t:CC_LUT3
select -assert-count 8 t:CC_LUT4
select -assert-none t:CC_BUFG t:CC_DFF t:CC_LUT2 t:CC_LUT3 t:CC_LUT4 %% t:* %D