Interrupt cov : sample when rvfi.intr is asserted (#2675)
Some checks are pending
bender-up-to-date / bender-up-to-date (push) Waiting to run
ci / build-riscv-tests (push) Waiting to run
ci / execute-riscv64-tests (push) Blocked by required conditions
ci / execute-riscv32-tests (push) Blocked by required conditions

This commit is contained in:
Jalali 2024-12-19 15:20:45 +00:00 committed by GitHub
parent 73bae85e0c
commit b4a037d33b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -28,12 +28,12 @@ covergroup cg_interrupt(
option.name = name;
cp_interrupt: coverpoint instr.rvfi.name_csrs["mcause"].wdata {
bins NO_INTERRUPT = {0} iff (!instr.trap);
bins NO_INTERRUPT = {0} iff (!instr.rvfi.intr);
ignore_bins IGN_SOFTWARE_INTERRUPT = {32'h80000003} iff (!sw_int_supported);
bins MACHINE_MODE_EXTERNAL_INTERRUPT = {32'h8000000b} iff (instr.trap);
bins MACHINE_MODE_SOFTWARE_INTERRUPT = {32'h80000003} iff (instr.trap);
bins MACHINE_MODE_TIMER_INTERRUPT = {32'h80000007} iff (instr.trap);
bins MACHINE_MODE_EXTERNAL_INTERRUPT = {32'h8000000b} iff (instr.rvfi.intr);
bins MACHINE_MODE_SOFTWARE_INTERRUPT = {32'h80000003} iff (instr.rvfi.intr);
bins MACHINE_MODE_TIMER_INTERRUPT = {32'h80000007} iff (instr.rvfi.intr);
}