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:           set ilc=*;  recv, deliver;
  15 memory.inAddrRead:  set ilc=*;  recv, deliver;
  16
  17 // send write-completion tokens to the fifo output
  18 memory.out:
  19   set ilc=4;  collect, send token to fifo.out;
  20   set ilc=*;  collect, send to debug.in;
  21
  22 memory.inAddrWrite: set word= 1; deliver;
  23 memory.inDataWrite: set word= 11; deliver;
  24
  25 memory.inAddrWrite:  set word= 2; deliver;
  26 memory.inDataWrite:  set word= 12; deliver;
  27
  28 memory.inAddrWrite:  set word= 3; deliver;
  29 memory.inDataWrite:  set word= 13; deliver;
  30
  31 memory.inAddrWrite:  set word= 4; deliver;
  32 memory.inDataWrite:  set word= 14; deliver;
  33
  34 // when the write-completion tokens accumulate, unleash
  35 // the read addresses
  36 fifo.out:
  37   set ilc=4;  recv token;
  38   set ilc=4;  collect, send to memory.inAddrRead;
  39
  40 fifo.in:
  41   set word= 4; deliver;
  42   set word= 3; deliver;
  43   set word= 2; deliver;
  44   set word= 1; deliver;
  45
  46
  47