tests/memory/memory-test.fleet

   1 // output ///////////////////////////////////////////////////////////////////
   2 #skip
   3 #expect 14
   4 #expect 13
   5 #expect 12
   6 #expect 11
   7
   8 // program //////////////////////////////////////////////////////////////////
   9 #ship debug        : Debug
  10 #ship memory       : Memory
  11 #ship fifo         : Fifo
  12
  13 // dumb configurations
  14 debug.in:        [*] take, deliver;
  15 memory.inAddr:   [*] take, deliver;
  16 memory.inData:   [*] take, deliver;
  17 fifo.in:         [*] take, deliver;
  18
  19 // addresses and values to initialize the memory with
  20 1:  sendto memory.inAddr.write;
  21 2:  sendto memory.inAddr.write;
  22 3:  sendto memory.inAddr.write;
  23 4:  sendto memory.inAddr.write;
  24 11: sendto memory.inData;
  25 12: sendto memory.inData;
  26 13: sendto memory.inData;
  27 14: sendto memory.inData;
  28
  29 // send write-completion tokens to the fifo output
  30 memory.out:
  31   [4] take, notify fifo.out;
  32   [*] take, sendto debug.in;
  33
  34 // when the write-completion tokens accumulate, unleash
  35 // the read addresses
  36 fifo.out:
  37   [4] wait;
  38   [4] take, sendto memory.inAddr.read;
  39
  40 // read addresses
  41 4:  sendto fifo.in;
  42 3:  sendto fifo.in;
  43 2:  sendto fifo.in;
  44 1:  sendto fifo.in;
  45