Skip to content

Commit

Permalink
Removing rvfi assert on illegal instruction
Browse files Browse the repository at this point in the history
The reason for removing this assert is that any custom instructions
or custom extensions would trigger this assert. It does not really
verify the rvfi interface, but forces all instruction to be added
to the dissassembler.
  • Loading branch information
silabs-kjetil committed Mar 7, 2024
1 parent 188963b commit 048a71b
Showing 1 changed file with 0 additions and 8 deletions.
8 changes: 0 additions & 8 deletions tb/assertions/uvmt_cv32e40x_rvfi_assert.sv
Original file line number Diff line number Diff line change
Expand Up @@ -349,14 +349,6 @@ module uvmt_cv32e40x_rvfi_assert
) else `uvm_error(info_tag, "!store->!exce, exce->store");


// Disassembler

a_unknowninstr_trap: assert property (
(rvfi_if.instr_asm.instr == UNKNOWN_INSTR) && rvfi_if.rvfi_valid
|->
rvfi_if.rvfi_trap.trap
) else `uvm_error(info_tag, "Unknown instruction is not trapped");

// RV32E
if (RV32 == cv32e40x_pkg::RV32E) begin: gen_rv32e_rd1
a_rvfi_rd1_rv32e: assert property(
Expand Down

0 comments on commit 048a71b

Please sign in to comment.