diff --git a/model/riscv_sys_control.sail b/model/riscv_sys_control.sail index a3ee54996..82b458740 100644 --- 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;