Remark that F depends on Zicsr

1 files changed, 7 insertions, 6 deletions

diff --git a/src/naming.tex b/src/naming.tex
index 3cc876a..ad0ba09 100644
--- a/src/naming.tex
+++ b/src/naming.tex
@@ -43,14 +43,15 @@ Standard extensions to the RISC-V ISA are given other reserved
 letters, e.g., ``Q'' for quad-precision floating-point, or
 ``C'' for the 16-bit compressed instruction format.
 
-Some ISA extensions depend on the presence of other extensions, e.g.,
-``D'' requires ``F'' and ``Q'' requires ``D''.  However, ISA strings may not
-omit the implied extensions, so, for example, RV32ID may not be used to imply RV32IFD.
+Some ISA extensions depend on the presence of other extensions, e.g., ``D''
+requires ``F'' and ``F'' requires ``Zicsr''.  However, ISA strings may not
+omit the implied extensions, so, for example, RV32ID may not be used to imply
+RV32IFDZicsr.
 
 \begin{commentary}
-Disallowing the use of the shorthand RV32ID to imply RV32IFD admits the possibility
-that, in the future, the dependence between these extensions could be broken, and
-pure RV32ID implementations could be named under this scheme.
+Disallowing the use of the shorthand RV32ID to imply RV32IFDZicsr admits the
+possibility that, in the future, the dependence between these extensions could
+be broken, and pure RV32ID implementations could be named under this scheme.
 \end{commentary}
 
 \section{Version Numbers}