From 1a45da16135b4fa313923c27ab60b751e94650c4 Mon Sep 17 00:00:00 2001 From: Yoichi Hirai Date: Thu, 11 Jul 2024 15:21:52 +0100 Subject: [PATCH] Strictor bit pattern as in RISC-V The corresponding changes are being made in #217 --- docs/pages/specs/nexus-vm.mdx | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/docs/pages/specs/nexus-vm.mdx b/docs/pages/specs/nexus-vm.mdx index e5908ce5..58be0abc 100644 --- a/docs/pages/specs/nexus-vm.mdx +++ b/docs/pages/specs/nexus-vm.mdx @@ -102,7 +102,7 @@ The notation $\langle i_x \rangle$ each denote immediate values, interpreted the | $\textbf{lui}$ | $rd$ $i$ | $\begin{array}{lll} \langle i_\texttt{U} \rangle & \langle d \rangle & \texttt{0b\_011\_0111} \end{array}$ | | $\textbf{auipc}$ | $rd$ $i$ | $\begin{array}{lll} \langle i_\texttt{U} \rangle & \langle d \rangle & \texttt{0b\_001\_0111} \end{array}$ | | $\textbf{jal}$ | $rd$ $i$ | $\begin{array}{lll} \langle i_\texttt{J} \rangle & \langle d \rangle & \texttt{0b\_110\_1111} \end{array}$| -| $\textbf{jalr}$ | $rd$ $rs_1$ $i$ | $\begin{array}{llllll} \langle i_\texttt{I} \rangle & \langle s_1 \rangle & \mathtt{*^3} & \langle d \rangle & \texttt{0b\_110\_0111} \end{array}$| +| $\textbf{jalr}$ | $rd$ $rs_1$ $i$ | $\begin{array}{llllll} \langle i_\texttt{I} \rangle & \langle s_1 \rangle & \mathtt{0b\_000} & \langle d \rangle & \texttt{0b\_110\_0111} \end{array}$| | $\textbf{beq}$ | $rs_1$ $rs_2$ $i$ | $\begin{array}{llllll} \langle i_\texttt{B1} \rangle & \langle s_2 \rangle&\langle s_1 \rangle &\texttt{0b\_000} &\langle i_\texttt{B0} \rangle \;\ &\texttt{0b\_110\_0011}\end{array}$| | $\textbf{bne}$ | $rs_1$ $rs_2$ $i$ | $\begin{array}{llllll} \langle i_\texttt{B1} \rangle & \langle s_2 \rangle &\langle s_1 \rangle & \texttt{0b\_001} & \langle i_\texttt{B0} \rangle \;\ &\texttt{0b\_110\_0011}\end{array}$| | $\textbf{blt}$ | $rs_1$ $rs_2$ $i$ | $\begin{array}{llllll} \langle i_\texttt{B1} \rangle & \langle s_2 \rangle & \langle s_1 \rangle & \texttt{0b\_100} & \langle i_\texttt{B0} \rangle \;\ &\texttt{0b\_110\_0011}\end{array}$| @@ -126,16 +126,16 @@ The notation $\langle i_x \rangle$ each denote immediate values, interpreted the | $\textbf{srai}$ | $rd$ $rs_1$ $i$ | $\begin{array}{llllll}\texttt{0b\_010\_0000} & \langle i_\texttt{SH} \rangle & \langle s_1 \rangle & \texttt{0b\_101} & \langle d \rangle & \texttt{0b\_001\_0011} \end{array}$ | | $\textbf{ori}$ | $rd$ $rs_1$ $i$ | $\begin{array}{lllll}\langle i_\texttt{I} \rangle & \langle s_1 \rangle & \texttt{0b\_110} & \langle d \rangle & \texttt{0b\_001\_0011} \end{array}$ | | $\textbf{andi}$ | $rd$ $rs_1$ $i$ | $\begin{array}{lllll}\langle i_\texttt{I} \rangle & \langle s_1 \rangle & \texttt{0b\_111} & \langle d \rangle & \texttt{0b\_001\_0011} \end{array}$ | -| $\textbf{add}$ | $rd$ $rs_1$ $rs_2$ | $\begin{array}{llllll}\mathtt{*^7} & \langle s_2 \rangle & \langle s_1 \rangle & \texttt{0b\_000} & \langle d \rangle & \texttt{0b\_011\_0011} \end{array}$ | +| $\textbf{add}$ | $rd$ $rs_1$ $rs_2$ | $\begin{array}{llllll}\mathtt{0b\_000\_0000} & \langle s_2 \rangle & \langle s_1 \rangle & \texttt{0b\_000} & \langle d \rangle & \texttt{0b\_011\_0011} \end{array}$ | | $\textbf{sub}$ | $rd$ $rs_1$ $rs_2$ | $\begin{array}{llllll}\texttt{0b\_010\_0000} & \langle s_2 \rangle & \langle s_1 \rangle & \texttt{0b\_000} & \langle d \rangle & \texttt{0b\_011\_0011} \end{array}$ | -| $\textbf{sll}$ | $rd$ $rs_1$ $rs_2$ | $\begin{array}{llllll}\mathtt{*^7} & \langle s_2 \rangle & \langle s_1 \rangle & \texttt{0b\_001} & \langle d \rangle & \texttt{0b\_011\_0011} \end{array}$ | -| $\textbf{slt}$ | $rd$ $rs_1$ $rs_2$ | $\begin{array}{llllll}\mathtt{*^7} & \langle s_2 \rangle & \langle s_1 \rangle & \texttt{0b\_010} & \langle d \rangle & \texttt{0b\_011\_0011} \end{array}$ | -| $\textbf{sltu}$ | $rd$ $rs_1$ $rs_2$ | $\begin{array}{llllll}\mathtt{*^7} & \langle s_2 \rangle & \langle s_1 \rangle & \texttt{0b\_011} & \langle d \rangle & \texttt{0b\_011\_0011} \end{array}$ | -| $\textbf{xor}$ | $rd$ $rs_1$ $rs_2$ | $\begin{array}{llllll}\mathtt{*^7} & \langle s_2 \rangle & \langle s_1 \rangle & \texttt{0b\_100} & \langle d \rangle & \texttt{0b\_011\_0011} \end{array}$ | +| $\textbf{sll}$ | $rd$ $rs_1$ $rs_2$ | $\begin{array}{llllll}\mathtt{0b\_000\_0000} & \langle s_2 \rangle & \langle s_1 \rangle & \texttt{0b\_001} & \langle d \rangle & \texttt{0b\_011\_0011} \end{array}$ | +| $\textbf{slt}$ | $rd$ $rs_1$ $rs_2$ | $\begin{array}{llllll}\mathtt{0b\_000\_0000} & \langle s_2 \rangle & \langle s_1 \rangle & \texttt{0b\_010} & \langle d \rangle & \texttt{0b\_011\_0011} \end{array}$ | +| $\textbf{sltu}$ | $rd$ $rs_1$ $rs_2$ | $\begin{array}{llllll}\mathtt{0b\_000\_0000} & \langle s_2 \rangle & \langle s_1 \rangle & \texttt{0b\_011} & \langle d \rangle & \texttt{0b\_011\_0011} \end{array}$ | +| $\textbf{xor}$ | $rd$ $rs_1$ $rs_2$ | $\begin{array}{llllll}\mathtt{0b\_000\_0000} & \langle s_2 \rangle & \langle s_1 \rangle & \texttt{0b\_100} & \langle d \rangle & \texttt{0b\_011\_0011} \end{array}$ | | $\textbf{srl}$ | $rd$ $rs_1$ $rs_2$ | $\begin{array}{llllll}\texttt{0b\_000\_0000} & \langle s_2 \rangle & \langle s_1 \rangle & \texttt{0b\_101} & \langle d \rangle & \texttt{0b\_011\_0011} \end{array}$ | | $\textbf{sra}$ | $rd$ $rs_1$ $rs_2$ | $\begin{array}{llllll}\texttt{0b\_010\_0000} & \langle s_2 \rangle & \langle s_1 \rangle & \texttt{0b\_101} & \langle d \rangle & \texttt{0b\_011\_0011} \end{array}$ | -| $\textbf{or}$ | $rd$ $rs_1$ $rs_2$ | $\begin{array}{llllll}\mathtt{*^7} & \langle s_2 \rangle & \langle s_1 \rangle & \texttt{0b\_110} & \langle d \rangle & \texttt{0b\_011\_0011} \end{array}$ | -| $\textbf{and}$ | $rd$ $rs_1$ $rs_2$ | $\begin{array}{llllll}\mathtt{*^7} & \langle s_2 \rangle & \langle s_1 \rangle & \texttt{0b\_111} & \langle d \rangle & \texttt{0b\_011\_0011} \end{array}$ | +| $\textbf{or}$ | $rd$ $rs_1$ $rs_2$ | $\begin{array}{llllll}\mathtt{0b\_000\_0000} & \langle s_2 \rangle & \langle s_1 \rangle & \texttt{0b\_110} & \langle d \rangle & \texttt{0b\_011\_0011} \end{array}$ | +| $\textbf{and}$ | $rd$ $rs_1$ $rs_2$ | $\begin{array}{llllll}\mathtt{0b\_000\_0000} & \langle s_2 \rangle & \langle s_1 \rangle & \texttt{0b\_111} & \langle d \rangle & \texttt{0b\_011\_0011} \end{array}$ | | $\textbf{fence}$ | | $\begin{array}{ll} \mathtt{*^{25}} & \texttt{0b\_000\_1111} \end{array}$| | $\textbf{ecall}$ | $rd$ | $\begin{array}{lll} \texttt{0x00000} & \langle d \rangle & \texttt{0b\_111\_0011} \end{array}$| | $\textbf{ebreak}$ | $rd$ | $\begin{array}{lll} \texttt{0x00100} & \langle d \rangle & \texttt{0b\_111\_0011} \end{array}$|