enable CSR randomization only for csr instructions
@@ -98,6 +98,7 @@ class riscv_rand_instr extends riscv_instr_base;
if(cfg.no_csr_instr) {
category != CSR;
} else {
+ if (category == CSR) {
if (cfg.enable_illegal_csr_instruction) {
!(csr inside {implemented_csr});
} else if (cfg.enable_access_invalid_csr_level) {
@@ -120,6 +121,7 @@ class riscv_rand_instr extends riscv_instr_base;
}
}
}
+ }
constraint floating_point_c {
if (!cfg.enable_floating_point) {
