diff options
| -rw-r--r-- | src/machine.tex | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/machine.tex b/src/machine.tex index 0d00fb8..abd715f 100644 --- a/src/machine.tex +++ b/src/machine.tex @@ -117,17 +117,16 @@ being not implemented for M-mode, because the F extension's instructions will not act as the Unprivileged ISA requires but may instead raise an illegal instruction exception. -We acknowledge that defining the term \emph{implemented} -based strictly on the observable behavior can conflict +Defining the term \emph{implemented} +based strictly on the observable behavior might conflict with other common understandings of the same word. In particular, although common usage may allow for the combination ``implemented but disabled,'' in this document it is considered a contradiction of terms, because \emph{disabled} implies execution will not behave as required for the feature to be considered \emph{implemented}. -In the same vein, ``implemented and enabled'' -would be redundant here; -either ``implemented'' or ``enabled'' is sufficient. +In the same vein, ``implemented and enabled'' is redundant here; +``implemented'' suffices. \end{commentary} The design of the RV128I base ISA is not yet complete, and while much of the remainder of this |