checkpoint

[sbp.git] / tests / join.g

diff --git a/tests/join.g b/tests/join.g
new file mode 100644 (file)
index 0000000..0ad7281
--- /dev/null
+++ b/tests/join.g
@@ -0,0 +1,26 @@
+
+
+
+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)
+