diff options
| author | Albert Magyar | 2019-07-30 11:34:18 -0700 |
|---|---|---|
| committer | mergify[bot] | 2019-07-30 18:34:18 +0000 |
| commit | 3ef04a7f704c9f586bdb0841a3b953a032c77622 (patch) | |
| tree | 8812f9fe597ca60888a20ae177e3fb6b08dfb832 /spec/spec.tex | |
| parent | 135ca1bd9cbe8a6ade6d07f20e347278e08b899f (diff) | |
Make write-under-write section for mems in spec (#1140)
Diffstat (limited to 'spec/spec.tex')
| -rw-r--r-- | spec/spec.tex | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/spec/spec.tex b/spec/spec.tex index 706df2f0..fd1f045c 100644 --- a/spec/spec.tex +++ b/spec/spec.tex @@ -829,6 +829,8 @@ If the read-under-write flag is set to \verb|new|, then a read port always retur If the read-under-write flag is set to \verb|undefined|, then the value held by the read port after the appropriate read latency is undefined. +\subsubsection{Write Under Write Behaviour} + In all cases, if a memory location is written to by more than one port on the same cycle, the stored value is undefined. \subsection{Instances}\label{instances} |
