From 3ef04a7f704c9f586bdb0841a3b953a032c77622 Mon Sep 17 00:00:00 2001 From: Albert Magyar Date: Tue, 30 Jul 2019 11:34:18 -0700 Subject: Make write-under-write section for mems in spec (#1140) --- spec/spec.pdf | Bin 271113 -> 269138 bytes spec/spec.tex | 2 ++ 2 files changed, 2 insertions(+) (limited to 'spec') diff --git a/spec/spec.pdf b/spec/spec.pdf index 6cf141c0..42395661 100644 Binary files a/spec/spec.pdf and b/spec/spec.pdf differ 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} -- cgit v1.2.3