diff options
| author | azidar | 2015-06-12 14:47:54 -0700 |
|---|---|---|
| committer | azidar | 2015-06-12 14:47:54 -0700 |
| commit | a1141295b939f2066186c96791bfd64e19209478 (patch) | |
| tree | 9cf27bcd29797645eba98f24b352141ff11b0264 /notes | |
| parent | 21128c8b346693a88b5d8765012c4a7de854a94f (diff) | |
Major revisions to spec. Bumped to v0.1.2
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] |