From a1141295b939f2066186c96791bfd64e19209478 Mon Sep 17 00:00:00 2001 From: azidar Date: Fri, 12 Jun 2015 14:47:54 -0700 Subject: Major revisions to spec. Bumped to v0.1.2 --- notes/memory.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'notes') diff --git a/notes/memory.txt b/notes/memory.txt index 22fb95dc..8a9e758e 100644 --- a/notes/memory.txt +++ b/notes/memory.txt @@ -24,13 +24,13 @@ Masks? How do we do this? Try not expanding mems, but expanding accessors. e.g. -mem m : { tag : UInt<10> data : UInt<128> } +mem m : { tag : UInt<10> data : UInt<128> }[128] accessor r = m[i] accessor w = m[i] ==> -mem m : { tag : UInt<10> data : UInt<128> } +mem m : { tag : UInt<10> data : UInt<128> }[128] accessor r#tag = m.tag[i] accessor r#data = m.data[i] accessor w#tag = m.tag[i] -- cgit v1.2.3