From 594618a089ebc5b4f596defb863765fdbde66276 Mon Sep 17 00:00:00 2001
From: adam <adam@megacz.com>
Date: Sun, 4 Mar 2007 12:52:00 +0100
Subject: [PATCH] add stride/count test

---
 tests/memory/count.and.stride.fleet |   44 +++++++++++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)
 create mode 100644 tests/memory/count.and.stride.fleet

diff --git a/tests/memory/count.and.stride.fleet b/tests/memory/count.and.stride.fleet
new file mode 100644
index 0000000..2694d96
--- /dev/null
+++ b/tests/memory/count.and.stride.fleet
@@ -0,0 +1,44 @@
+// output ///////////////////////////////////////////////////////////////////
+#expect 14
+#expect 13
+#expect 12
+#expect 11
+
+// program //////////////////////////////////////////////////////////////////
+#ship debug        : Debug
+#ship memory       : Memory
+#ship fifo         : Fifo
+
+// dumb configurations
+debug.in:        [*] take, deliver;
+memory.inAddr:   [*] take, deliver;
+memory.inData:   [*] take, deliver;
+memory.inCount:  [*] take, deliver;
+memory.inStride: [*] take, deliver;
+fifo.in:         [*] take, deliver;
+
+// addresses and values to initialize the memory with
+1:  sendto memory.inAddr.writeMany;
+4:  sendto memory.inCount;
+1:  sendto memory.inStride;
+11: sendto memory.inData;
+12: sendto memory.inData;
+13: sendto memory.inData;
+14: sendto memory.inData;
+
+// send write-completion tokens to the fifo output
+memory.out:
+  [4] take, notify fifo.out;
+  [*] take, sendto debug.in;
+
+// when the write-completion tokens accumulate, unleash
+// the read addresses
+fifo.out:
+  [4] wait;
+  take, sendto memory.inAddr.readMany;
+
+// read addresses
+4: sendto fifo.in;
+4: sendto memory.inCount;
+-1: sendto memory.inStride;
+
-- 
1.7.10.4