diff options
author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2013-10-31 15:35:11 +0100 |
---|---|---|
committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2013-10-31 15:35:11 +0100 |
commit | 0b269f32dd9b8d349f94793dad44e728473e9f0a (patch) | |
tree | 066a30fee1efe19d897f5e153d7ea9aa3d7448af /minijazz/test/tests.mj | |
download | SystDigit-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.mj | 19 |
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 |