#ship fifo : Fifo
// dumb configurations
-debug.in: [*] take, deliver;
-memory.inAddrRead: [*] take, deliver;
+debug.in: set ilc=*; recv, deliver;
+memory.inAddrRead: set ilc=*; recv, deliver;
// send write-completion tokens to the fifo output
memory.out:
- load repeat counter with 4; take, notify fifo.out;
- [*] take, sendto debug.in;
+ set ilc=4; collect, send token to fifo.out;
+ set ilc=*; collect, send to debug.in;
-memory.inAddrWrite: literal 1; deliver;
-memory.inDataWrite: literal 11; deliver;
+memory.inAddrWrite: set word= 1; deliver;
+memory.inDataWrite: set word= 11; deliver;
-memory.inAddrWrite: literal 2; deliver;
-memory.inDataWrite: literal 12; deliver;
+memory.inAddrWrite: set word= 2; deliver;
+memory.inDataWrite: set word= 12; deliver;
-memory.inAddrWrite: literal 3; deliver;
-memory.inDataWrite: literal 13; deliver;
+memory.inAddrWrite: set word= 3; deliver;
+memory.inDataWrite: set word= 13; deliver;
-memory.inAddrWrite: literal 4; deliver;
-memory.inDataWrite: literal 14; deliver;
+memory.inAddrWrite: set word= 4; deliver;
+memory.inDataWrite: set word= 14; deliver;
// when the write-completion tokens accumulate, unleash
// the read addresses
fifo.out:
- load repeat counter with 4; wait;
- load repeat counter with 4; take, sendto memory.inAddrRead;
+ set ilc=4; recv token;
+ set ilc=4; collect, send to memory.inAddrRead;
fifo.in:
- literal 4; deliver;
- literal 3; deliver;
- literal 2; deliver;
- literal 1; deliver;
+ set word= 4; deliver;
+ set word= 3; deliver;
+ set word= 2; deliver;
+ set word= 1; deliver;