From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sat, 22 Jun 2019 09:08:50 +0000 (+0100)
Subject: update 64-bit prefix format
X-Git-Tag: convert-csv-opcode-to-binary~4558
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a68aaf2b9c9dc2e45e24e308da5ae10d380d31af;p=libreriscv.git

update 64-bit prefix format
---

diff --git a/simple_v_extension/sv_prefix_proposal.rst b/simple_v_extension/sv_prefix_proposal.rst
index 3112069ea..febdc3064 100644
--- a/simple_v_extension/sv_prefix_proposal.rst
+++ b/simple_v_extension/sv_prefix_proposal.rst
@@ -122,7 +122,6 @@ Table showing Standard RV32 encodings:
 
 64-bit Instruction Encodings 
 ============================
-<a name="64-bit-prefix"></a>
 
 Where in the 48 bit format the prefix is "0b0011111" in bits 0 to 6, this is
 now set to "0b0111111".