diff options
author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2013-11-04 22:05:57 +0100 |
---|---|---|
committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2013-11-04 22:05:57 +0100 |
commit | cebd07b64f1f537c5ecf00ec21ff4b7c4032f0a3 (patch) | |
tree | 9d2048313fe3ad4c92865c8f0236bed24e64449b /tp1/test/ram.mj | |
parent | f253f98136def21b5e50c5922246e2ddfe315442 (diff) | |
download | SystDigit-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.mj | 15 |
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 - |