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,fcov] IRQ and NMI detection fixes for fcov

Browse source 
This commit makes sure that different IRQs are collected in a single
`fcov_irqs` bus correctly. Also changes nmi_taken coverpoint to catch
interrupt taken case for NMI types from the same bus.

Signed-off-by: Canberk Topal <ctopal@lowrisc.org>
This commit is contained in:
Canberk Topal 2022-07-20 23:47:21 +01:00 • committed by Canberk Topal
parent 6dc0683773
commit ae399e6454
1 changed files with 9 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -343,12 +343,14 @@ interface core_ibex_fcov_if import ibex_pkg::*; (
prev_store_addr == curr_data_addr;
// Collect all the interrupts for collecting them in different bins.
logic [5:0] fcov_irqs = {id_stage_i.controller_i.irq_nm_ext_i,
id_stage_i.controller_i.irq_nm_int,
(|id_stage_i.controller_i.irqs_i.irq_fast),
id_stage_i.controller_i.irqs_i.irq_external,
id_stage_i.controller_i.irqs_i.irq_software,
id_stage_i.controller_i.irqs_i.irq_timer};
logic [5:0] fcov_irqs;
assign fcov_irqs = {id_stage_i.controller_i.irq_nm_ext_i,
id_stage_i.controller_i.irq_nm_int,
(|id_stage_i.controller_i.irqs_i.irq_fast),
id_stage_i.controller_i.irqs_i.irq_external,
id_stage_i.controller_i.irqs_i.irq_software,
id_stage_i.controller_i.irqs_i.irq_timer};
logic instr_unstalled;
logic instr_unstalled_last;
@ -500,8 +502,7 @@ interface core_ibex_fcov_if import ibex_pkg::*; (
`DV_FCOV_EXPR_SEEN(insn_trigger_exception, instr_id_matches_trigger_q &&
id_stage_i.controller_i.fcov_pipe_flush)
cp_nmi_taken: coverpoint (id_stage_i.controller_i.nmi_mode_d &
(~id_stage_i.controller_i.nmi_mode_q)) iff
cp_nmi_taken: coverpoint ((fcov_irqs[5] || fcov_irqs[4])) iff
(id_stage_i.controller_i.fcov_interrupt_taken);
cp_interrupt_taken: coverpoint fcov_irqs iff (id_stage_i.controller_i.fcov_interrupt_taken){