usb-tools/amaranth
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

test_lib_fifo: define all referenced FSM states.

Browse source 
Broken in commit a1c58633.
This commit is contained in:
whitequark 2020-02-06 18:10:15 +00:00
parent a1c58633e6
commit 9301e31b69
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
nmigen/test/test_lib_fifo.py
View file

@ -192,6 +192,8 @@ class FIFOContractSpec(Elaboratable):
fifo.w_en.eq(1)
]
m.next = "DONE"
with m.State("DONE"):
pass
with m.FSM(domain=self.r_domain) as read_fsm:
read_1 = Signal(fifo.width)
@ -209,6 +211,8 @@ class FIFOContractSpec(Elaboratable):
]
with m.If((read_1 == entry_1) & (read_2 == entry_2)):
m.next = "DONE"
with m.State("DONE"):
pass
with m.If(Initial()):
m.d.comb += Assume(write_fsm.ongoing("WRITE-1"))