update 64-bit prefix format
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sat, 22 Jun 2019 09:06:41 +0000 (10:06 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Sat, 22 Jun 2019 09:06:41 +0000 (10:06 +0100)
simple_v_extension/sv_prefix_proposal.rst

index 547f906548f432e515dd04d15716bda09c82da24..97f94c4f6ff541de4864610031afc9e675d3373f 100644 (file)
@@ -126,11 +126,11 @@ Table showing Standard RV32 encodings:
 Where in the 48 bit format the prefix is "0b0011111" in bits 0 to 6, this is
 now set to "0b0111111".
 
-+---------------+---------------+--------------+-----------|
++---------------+---------------+--------------+-----------+
 | 63:48         | 47:18         | 17:7         | 6:0       |
-+---------------+---------------+--------------+-----------|
++---------------+---------------+--------------+-----------+
 | 64 bit prefix | RV32[31:3]    | P48[17:7]    | 0b0111111 |
-+---------------+---------------+--------------+-----------|
++---------------+---------------+--------------+-----------+
 
 * The 64 bit prefix format is below
 * Bits 18 to 47 contain bits 3 to 31 of a standard RV32 format