github-mirrors/cva6
1
0
Fork 0
mirror of https://github.com/openhwgroup/cva6.git synced 2025-04-23 13:47:13 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

Add constraint to generate illegal sfence.vma func7 (#1640)

Browse source
This commit is contained in:
Jalali 2023-11-17 18:14:16 +01:00 • committed by GitHub
parent ded8ed8141
commit dc2a177a39
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
verif/env/corev-dv/cva6_unsupported_instr.sv vendored
View file

@ -161,8 +161,7 @@ class cva6_unsupported_instr_c extends uvm_object;
opcode == 7'b1110011;
func3 == 3'b000;
instr_bin[11:7] inside {5'b0, 5'b00001};
func7 == 7'b0001001;
func7 inside {7'b1111111, 7'b0001001};
}
}