From 42c13b4e94ee88d033d629a96e1b17602336cd7a Mon Sep 17 00:00:00 2001
From: Ved Shanbhogue <ved@rivosinc.com>
Date: Wed, 10 Jan 2024 18:34:13 -0600
Subject: [PATCH] add unratified B extension

---
 model/riscv_sys_regs.sail | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/model/riscv_sys_regs.sail b/model/riscv_sys_regs.sail
index 9c9969994..4af215c0c 100644
--- a/model/riscv_sys_regs.sail
+++ b/model/riscv_sys_regs.sail
@@ -188,10 +188,10 @@ function haveNExt()    -> bool = misa.N() == 0b1
 /* see below for F and D (and Z*inx counterparts) extension tests */
 
 /* BitManip extension support. */
-function haveZba()  -> bool = haveBExt()
-function haveZbb()  -> bool = haveBExt()
+function haveZba()  -> bool = true
+function haveZbb()  -> bool = true
 function haveZbc()  -> bool = true
-function haveZbs()  -> bool = haveBExt()
+function haveZbs()  -> bool = true
 
 /* Zfa (additional FP) extension */
 function haveZfa()  -> bool = true