tests/join.g

   1
   2
   3
   4 Expr =
   5
   6
   7
   8 ram addr data we -> data ack =
   9   clock => we ? data -> storage.data[addr]
  10               :
  11
  12
  13 merge ( a b c ) =
  14   a(x)        => rega=x | a_ok
  15   b(x)        => regb=x | b_ok
  16   a_ok & b_ok => c=x
  17
  18
  19
  20 bit[32]
  21 { alpha=
  22
  23
  24 X           (datapath)
  25 Event-of-X  (control)
  26