replace vxrm with vcsr[vxrm]

riscv · Sep 29, 2024 · 207bfcc · 207bfcc
1 parent 54e016c
commit 207bfcc
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/model/riscv_sys_control.sail b/model/riscv_sys_control.sail
@@ -558,8 +558,8 @@ function init_sys() -> unit = {
    */
   vstart             = zero_extend(0b0);
   vl                 = zero_extend(0b0);
-  vcsr[vxrm]       = vxrm;
-  vcsr[vxsat]      = vxsat;
+  vcsr[vxrm]       = 0b00;
+  vcsr[vxsat]      = 0b0;
   vtype[vill]      = 0b1;
   vtype[reserved]  = zero_extend(0b0);
   vtype[vma]       = 0b0;