add unratified B extension

riscv · Jan 11, 2024 · 42c13b4 · 42c13b4
1 parent 0d4b529
commit 42c13b4
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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