summaryrefslogtreecommitdiff
path: root/tp1/test/ram.mj
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2013-11-04 22:05:57 +0100
committerAlex AUVOLAT <alex.auvolat@ens.fr>2013-11-04 22:05:57 +0100
commitcebd07b64f1f537c5ecf00ec21ff4b7c4032f0a3 (patch)
tree9d2048313fe3ad4c92865c8f0236bed24e64449b /tp1/test/ram.mj
parentf253f98136def21b5e50c5922246e2ddfe315442 (diff)
downloadSystDigit-Projet-cebd07b64f1f537c5ecf00ec21ff4b7c4032f0a3.tar.gz
SystDigit-Projet-cebd07b64f1f537c5ecf00ec21ff4b7c4032f0a3.zip
Added stub C simulator (defined dumb-down syntax for netlists).
Diffstat (limited to 'tp1/test/ram.mj')
-rw-r--r--tp1/test/ram.mj15
1 files changed, 0 insertions, 15 deletions
diff --git a/tp1/test/ram.mj b/tp1/test/ram.mj
deleted file mode 100644
index 7c4d1ed..0000000
--- a/tp1/test/ram.mj
+++ /dev/null
@@ -1,15 +0,0 @@
-const addr = 2
-const word = 4
-
-or_n<n>(a:[n],b:[n]) = (o:[n]) where
- if n = 0 then
- o = []
- else
- o = (a[0] and b[0]).(or_n<n-1>(a[1..], b[1..]))
- end if
-end where
-
-main(ra:[addr], we, wa:[addr], c:[word]) = (o:[word]) where
- o = ram<addr, word>(ra, we, wa, or_n<word>(o, c))
-end where
-