Add Zabha extension

riscv · Jun 13, 2024 · a3b855b · a3b855b
1 parent 8055769
commit a3b855b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/model/riscv_insts_aext.sail b/model/riscv_insts_aext.sail
@@ -39,6 +39,7 @@ function lrsc_width_valid(size : word_width) -> bool = {
     _      => false
   }
 }
+
 function amo_width_valid(size : word_width) -> bool = {
   match(size) {
     BYTE   => haveZabha(),

diff --git a/model/riscv_sys_regs.sail b/model/riscv_sys_regs.sail
@@ -164,6 +164,9 @@ function haveZmmul()  -> bool = true
 /* Zicond extension support */
 function haveZicond() -> bool = true
 
+/* Zabha extension support */
+function haveZabha() -> bool = true
+
 bitfield Mstatush : bits(32) = {
   MBE  : 5,
   SBE  : 4