further riscv mapping

1 files changed, 4 insertions, 0 deletions

diff --git a/riscv/prelude.sail b/riscv/prelude.sail
index be81ce17..7ce12d79 100644
--- a/riscv/prelude.sail
+++ b/riscv/prelude.sail
@@ -11,6 +11,10 @@ val hex_bits_12 : bits(12) <-> string
 val hex_bits_12_forwards = "string_of_bits" : bits(12) -> string
 val "hex_bits_12_matches_prefix" : string -> option((bits(12), nat))
 
+val hex_bits_13 : bits(13) <-> string
+val hex_bits_13_forwards = "string_of_bits" : bits(13) -> string
+val "hex_bits_13_matches_prefix" : string -> option((bits(13), nat))
+
 val hex_bits_20 : bits(20) <-> string
 val hex_bits_20_forwards = "string_of_bits" : bits(20) -> string
 val "hex_bits_20_matches_prefix" : string -> option((bits(20), nat))