github-mirrors/cva6
1
0
Fork 0
mirror of https://github.com/openhwgroup/cva6.git synced 2025-04-19 11:54:46 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

[UVM] Few LRM compliance fixes (#2042)

Browse source
This commit is contained in:
CoralieAllioux 2024-04-15 16:44:34 +02:00 • committed by GitHub
parent 71ef48804a
commit fb43d778b3
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
verif/env/corev-dv/cva6_illegal_instr.sv vendored
View file

@ -63,7 +63,7 @@ class cva6_illegal_instr_c extends riscv_illegal_instr;
// Invalid SYSTEM instructions
constraint system_instr_c {
if (!(SUPERVISOR_MODE inside supported_privileged_mode)) {
if (!(SUPERVISOR_MODE inside {supported_privileged_mode})) {
if (exception == kIllegalSystemInstr) {
opcode == 7'b1110011;
func3 == 3'b000;

2
verif/env/corev-dv/cva6_instr_test_pkg.sv vendored
View file

@ -37,4 +37,4 @@ package cva6_instr_test_pkg;
`include "rv32zcmp_instr.sv"
`include "rv64zcb_instr.sv"
endpackage : cva6_instr_test_pkg;
endpackage : cva6_instr_test_pkg