diff options
| -rw-r--r-- | spec/spec.pdf | bin | 271113 -> 269138 bytes | |||
| -rw-r--r-- | spec/spec.tex | 2 |
2 files changed, 2 insertions, 0 deletions
diff --git a/spec/spec.pdf b/spec/spec.pdf Binary files differindex 6cf141c0..42395661 100644 --- a/spec/spec.pdf +++ b/spec/spec.pdf 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} |