update everything to naming conventions agreed upon in class last week

[fleet.git] / contrib / dcache-demo.fleet

diff --git a/contrib/dcache-demo.fleet b/contrib/dcache-demo.fleet
deleted file mode 100644 (file)
index cdaf598..0000000
--- a/contrib/dcache-demo.fleet
+++ /dev/null
@@ -1,42 +0,0 @@
-
-// ships required in order to run this code
-#ship debug        : Debug
-#ship dscratch     : Dscratch
-#ship fifo         : Fifo
-
-// dumb configurations
-debug.data:        [*] take, deliver;
-dscratch.write_addr: [*] take, deliver;
-dscratch.write_data: [*] take, deliver;
-dscratch.read_addr:  [*] take, deliver;
-fifo.in:           [*] take, deliver;
-
-// addresses and values to initialize the dscratch with
-1:  sendto dscratch.write_addr;
-2:  sendto dscratch.write_addr;
-3:  sendto dscratch.write_addr;
-4:  sendto dscratch.write_addr;
-11: sendto dscratch.write_data;
-12: sendto dscratch.write_data;
-13: sendto dscratch.write_data;
-14: sendto dscratch.write_data;
-
-// send write-completion tokens to the fifo output
-dscratch.write_done:
-  [*] take, sendto fifo.out;
-
-// when the write-completion tokens accumulate, unleash
-// the read addresses
-fifo.out:
-  [4] wait;
-  [4] take, sendto dscratch.read_addr;
-
-// read addresses
-4:  sendto fifo.in;
-3:  sendto fifo.in;
-2:  sendto fifo.in;
-1:  sendto fifo.in;
-
-// data read from dscratch goes to the debug ship
-dscratch.read_data:
-  [*] take, sendto debug.data;