tests/memory/memory-test.fleet

   1 #skip
   2 // output ///////////////////////////////////////////////////////////////////
   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.inAddrRead:  [*] take, deliver;
  16
  17 // send write-completion tokens to the fifo output
  18 memory.out:
  19   load repeat counter with 4;  take, notify fifo.out;
  20   [*] take, sendto debug.in;
  21
  22 memory.inAddrWrite: literal 1; deliver;
  23 memory.inDataWrite: literal 11; deliver;
  24
  25 memory.inAddrWrite:  literal 2; deliver;
  26 memory.inDataWrite:  literal 12; deliver;
  27
  28 memory.inAddrWrite:  literal 3; deliver;
  29 memory.inDataWrite:  literal 13; deliver;
  30
  31 memory.inAddrWrite:  literal 4; deliver;
  32 memory.inDataWrite:  literal 14; deliver;
  33
  34 // when the write-completion tokens accumulate, unleash
  35 // the read addresses
  36 fifo.out:
  37   load repeat counter with 4;  wait;
  38   load repeat counter with 4;  take, sendto memory.inAddrRead;
  39
  40 fifo.in:
  41   literal 4; deliver;
  42   literal 3; deliver;
  43   literal 2; deliver;
  44   literal 1; deliver;
  45
  46
  47