diff options
Diffstat (limited to 'notes')
| -rw-r--r-- | notes/memory.txt | 4 |
1 files changed, 2 insertions, 2 deletions
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] |