github-mirrors/ibex
1
0
Fork 0
mirror of https://github.com/lowRISC/ibex.git synced 2025-04-20 11:57:12 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

[dv] added functional coverpoints

Browse source 
Coverpoints for priv modes with interrupts and mstatus.MIE, and with exceptions.
Also, fixed a checker for scenarios when interrupt is taken from lower priv modes.

Signed-off-by: Saad Khalid <saad.khalid@lowrisc.org>
This commit is contained in:
Saad Khalid 2022-11-03 14:28:59 +00:00 • committed by Saad Khalid
parent 56268c675a
commit 2c15b96a35
3 changed files with 20 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

15
dv/uvm/core_ibex/fcov/core_ibex_fcov_if.sv
View file

@ -627,6 +627,21 @@ interface core_ibex_fcov_if import ibex_pkg::*; (
binsof(cp_priv_mode_id) intersect {PRIV_LVL_U};
}
priv_mode_irq_cross: cross cp_priv_mode_id, cp_interrupt_taken, cs_registers_i.mstatus_q.mie {
// No interrupt would be taken in M-mode when its mstatus.MIE = 0
illegal_bins mmode_mstatus_mie =
binsof(cs_registers_i.mstatus_q.mie) intersect {1'b0} &&
binsof(cp_priv_mode_id) intersect {PRIV_LVL_M};
}
priv_mode_exception_cross: cross cp_priv_mode_id, cp_ls_pmp_exception, cp_ls_error_exception {
illegal_bins pmp_and_error_exeption_both_or_none =
(binsof(cp_ls_pmp_exception) intersect {1'b1} &&
binsof(cp_ls_error_exception) intersect {1'b1}) ||
(binsof(cp_ls_pmp_exception) intersect {1'b0} &&
binsof(cp_ls_error_exception) intersect {1'b0});
}
stall_cross: cross cp_id_instr_category, cp_stall_type_id {
illegal_bins illegal =
// Only Div, Mul, Branch and Jump instructions can see an instruction stall

5
dv/uvm/core_ibex/tests/core_ibex_test_lib.sv
View file

@ -678,7 +678,10 @@ class core_ibex_debug_intr_basic_test extends core_ibex_base_test;
wait_for_csr_write(CSR_MSTATUS, 5000);
mstatus = signature_data;
`DV_CHECK_EQ_FATAL(mstatus[12:11], select_mode(), "Incorrect mstatus.mpp")
`DV_CHECK_EQ_FATAL(mstatus[7], 1'b1, "mstatus.mpie was not set to 1'b1 after entering handler")
// mstatus.MPIE must be 1 when trap from M mode otherwise not necessarily be 1
// as lower priv modes could trap when mstatus.MPIE is 0
`DV_CHECK_EQ_FATAL(mstatus[7] | ~&mstatus[12:11], 1'b1,
"mstatus.mpie was not set to 1'b1 after entering handler")
`DV_CHECK_EQ_FATAL(mstatus[3], 1'b0, "mstatus.mie was not set to 1'b0 after entering handler")
// check mcause against the interrupt id
check_mcause(1'b1, irq_id);

2
ibex_top.core
View file

@ -131,7 +131,7 @@ parameters:
datatype: int
default: 0
paramtype: vlogparam
description: "Granularity of NAPOT range, 0 = 4 byte, 1 = byte, 2 = 16 byte, 3 = 32 byte etc"
description: "Granularity of NAPOT range, 0 = 4 byte, 1 = 8 byte, 2 = 16 byte, 3 = 32 byte etc"
PMPNumRegions:
datatype: int