Skip to content

Commit

Permalink
HOTFIX : Add parenthesis to "inside" constraint
Browse files Browse the repository at this point in the history
  • Loading branch information
AyoubJalali authored Nov 8, 2023
1 parent 5a7bbaf commit 8081bba
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions verif/env/corev-dv/cva6_unsupported_instr.sv
Original file line number Diff line number Diff line change
Expand Up @@ -211,9 +211,9 @@ class cva6_unsupported_instr_c extends uvm_object;
if (instr_bin[12:10] != 3'b111) {
instr_bin[6:2] == 5'b0;
}
else {
!instr_bin[6:5] inside {2'b10, 2'b11};
}
else {
!(instr_bin[6:5] inside {2'b10, 2'b11});
}
}
if (c_op == 2'b10) {
!(c_msb inside {3'b100, 3'b010, 3'b110});
Expand Down

0 comments on commit 8081bba

Please sign in to comment.