add vxsat to supported csr_regs

riscv-software-src · Feb 9, 2022 · cc19a86 · cc19a86
1 parent 9284102
commit cc19a86
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/riscv_isac/coverage.py b/riscv_isac/coverage.py
@@ -222,7 +222,8 @@ def __init__ (self, xlen):
             "scause": int('142',16),
             "stval": int('143',16),
             "sip": int('144',16),
-            "satp": int('180',16)
+            "satp": int('180',16),
+            "vxsat": int('009',16)
         }
         for i in range(16):
             self.csr_regs["pmpaddr"+str(i)] = int('3B0',16)+i
@@ -289,7 +290,6 @@ def __init__ (self, xlen, flen):
         else:
             self.f_rf = ['0000000000000000']*32
             self.fcsr = 0
-        self.vxsat = 0
         self.pc = 0
 
 class statistics: