summaryrefslogtreecommitdiff
path: root/minijazz/test/tests.mj
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2013-10-31 15:35:11 +0100
committerAlex AUVOLAT <alex.auvolat@ens.fr>2013-10-31 15:35:11 +0100
commit0b269f32dd9b8d349f94793dad44e728473e9f0a (patch)
tree066a30fee1efe19d897f5e153d7ea9aa3d7448af /minijazz/test/tests.mj
downloadSystDigit-Projet-0b269f32dd9b8d349f94793dad44e728473e9f0a.tar.gz
SystDigit-Projet-0b269f32dd9b8d349f94793dad44e728473e9f0a.zip
First commit ; includes first TP and minijazz compiler
Diffstat (limited to 'minijazz/test/tests.mj')
-rw-r--r--minijazz/test/tests.mj19
1 files changed, 19 insertions, 0 deletions
diff --git a/minijazz/test/tests.mj b/minijazz/test/tests.mj
new file mode 100644
index 0000000..a8f8b63
--- /dev/null
+++ b/minijazz/test/tests.mj
@@ -0,0 +1,19 @@
+Fulladder(a,b,c) = (s, r) where
+ s = (a xor b) xor c;
+ r = (a and b) or ((a xor b) and c);
+end where
+
+minus(x) = (y) where
+ y = x xor c;
+ c = reg (x or y)
+end where
+
+cm2(x) = (s, r) where
+ s = reg (x xor s);
+ r = x and s
+end where
+
+clk2() = (o) where
+ o = reg(c);
+ c = not (reg (o))
+end where \ No newline at end of file