illegal CSR does not take exception
Created by: strichmo
Steps to Reproduce
- Use this forked repo: https://github.com/strichmo/core-v-verif.git
- 5459b37d5ac846fa9171ff4334cd219af4c810c6
- Run the illegal test with any seed
% makeuvmt test TEST=illegal
The test should fail on the subtest that takes an exception on an illegal CSR.
Generate a decoded CSR operation with invalid CSR
UVM_ERROR @ 134688.300 ns : uvme_cv32e40x_core_sb.sv(381) uvm_test_top.env.core_sb [CORESB] CSR Mismatch, order: 9300, pc: 0x000000f2, csr: mepc, rvfi = 0x0000011c, rvvi = 0x000000f2, mask = 0xffffffff
UVM_ERROR @ 134688.300 ns : uvme_cv32e40x_core_sb.sv(381) uvm_test_top.env.core_sb [CORESB] CSR Mismatch, order: 9300, pc: 0x000000f2, csr: mstatus, rvfi = 0x00001880, rvvi = 0x00001800, mask = 0xffffffff
UVM_ERROR @ 134697.300 ns : uvme_cv32e40x_core_sb.sv(305) uvm_test_top.env.core_sb [CORESB] PC Mismatch, rvfi_order: 9301, rvvi_order: 9301, rvfi.pc = 0x000000f6, rvvi.pc = 0x00000000