From fc44561b65313ab81985f3cdf0b80d3a8b9c46f6 Mon Sep 17 00:00:00 2001 From: Krste Asanovic Date: Tue, 3 Mar 2020 18:29:01 -0800 Subject: Refined definition of WARL. Closes #333. --- src/priv-csrs.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/priv-csrs.tex b/src/priv-csrs.tex index 4c6f065..fa6be96 100644 --- a/src/priv-csrs.tex +++ b/src/priv-csrs.tex @@ -447,7 +447,7 @@ values to a \warl\ field. Implementations can return any legal value on the read of a \warl\ field when the last write was of an illegal value, but the legal value returned should deterministically depend on the illegal written value and -the value of the field prior to the write. +the architectural state of the hart. \section{CSR Width Modulation} \label{sec:csrwidthmodulation} -- cgit v1.1