X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=tests%2Fjoin.g;fp=tests%2Fjoin.g;h=0000000000000000000000000000000000000000;hp=0ad728149dfc908935c3ff59e1dbfbcc1429107f;hb=3094f58635dc32e4f0ba3922a0ce2f13267ea06e;hpb=5eea0a7ad35fb17a5b7203fa40119ad5cab01ec0 diff --git a/tests/join.g b/tests/join.g deleted file mode 100644 index 0ad7281..0000000 --- a/tests/join.g +++ /dev/null @@ -1,26 +0,0 @@ - - - -Expr = - - - -ram addr data we -> data ack = - clock => we ? data -> storage.data[addr] - : - - -merge ( a b c ) = - a(x) => rega=x | a_ok - b(x) => regb=x | b_ok - a_ok & b_ok => c=x - - - -bit[32] -{ alpha= - - -X (datapath) -Event-of-X (control) -