From c6c509d623e5e64e021fa311018b8ace2f3f8969 Mon Sep 17 00:00:00 2001
From: Albert Magyar
Date: Wed, 7 Aug 2019 16:33:45 -0700
Subject: Check mems for legal latencies; ban zero write latency. (#1147)

* Check mems for legal latencies; ban zero write latency.

* Trigger
---
 spec/spec.pdf | Bin 269138 -> 269128 bytes
 spec/spec.tex |   2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)

(limited to 'spec')

diff --git a/spec/spec.pdf b/spec/spec.pdf
index 42395661..9242011e 100644
Binary files a/spec/spec.pdf and b/spec/spec.pdf differ
diff --git a/spec/spec.tex b/spec/spec.tex
index fd1f045c..8685de45 100644
--- a/spec/spec.tex
+++ b/spec/spec.tex
@@ -756,7 +756,7 @@ A memory is an abstract representation of a hardware memory. It is characterized
 \item A positive integer representing the number of elements in the memory.
 \item A variable number of named ports, each being a read port, a write port, or readwrite port.
 \item A non-negative integer indicating the read latency, which is the number of cycles after setting the port's read address before the corresponding element's value can be read from the port's data field.
-\item A non-negative integer indicating the write latency, which is the number of cycles after setting the port's write address and data before the corresponding element within the memory holds the new value.
+\item A positive integer indicating the write latency, which is the number of cycles after setting the port's write address and data before the corresponding element within the memory holds the new value.
 \item A read-under-write flag indicating the behaviour when a memory location is written to while a read to that location is in progress.
 \end{enumerate}
 
-- 
cgit v1.2.3