Make write-under-write section for mems in spec (#1140)

2 files changed, 2 insertions, 0 deletions

diff --git a/spec/spec.pdf b/spec/spec.pdf
index 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}