diff options
Diffstat (limited to 'src/naming.tex')
| -rw-r--r-- | src/naming.tex | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/src/naming.tex b/src/naming.tex index aa1b14a..ee84fb0 100644 --- a/src/naming.tex +++ b/src/naming.tex @@ -44,15 +44,9 @@ 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 ``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 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} +depends on ``F'' and ``F'' depends on ``Zicsr''. These dependences may be +implicit in the ISA name: for example, RV32IF is equivalent to RV32IFZicsr, +and RV32ID is equivalent to RV32IFD and RV32IFDZicsr. \section{Version Numbers} Recognizing that instruction sets may expand or alter over time, we |