github-mirrors/ibex
1
0
Fork 0
mirror of https://github.com/lowRISC/ibex.git synced 2025-04-22 21:07:34 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

[dv] Add single step over exception coverpoint

Browse source
This commit is contained in:
Greg Chadwick 2022-10-25 17:36:31 +01:00 • committed by Greg Chadwick
parent bfe71faf5f
commit 1d4cf9b207
2 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
doc/03_reference/coverage_plan.rst
View file

@ -222,6 +222,7 @@ Furthermore they can all occur together and must be appropriately prioritised (c
* ``cp_debug_req`` - External debug request.
* ``cp_single_step_taken`` - Instruction executed when debug single step enabled.
* ``cp_single_step_exception`` - Single step over an instruction that takes an exception.
* ``cp_insn_trigger_enter_debug`` - Instruction matches hardware trigger point.
* ``cp_debug_mode`` - Ibex operating in debug mode.
* ``irq_wfi_cross``, ``debug_wfi_cross`` - Debug and Interrupt whilst sleeping with WFI

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

@ -498,6 +498,8 @@ interface core_ibex_fcov_if import ibex_pkg::*; (
`DV_FCOV_EXPR_SEEN(debug_entry_id, id_stage_i.controller_i.fcov_debug_entry_id)
`DV_FCOV_EXPR_SEEN(pipe_flush, id_stage_i.controller_i.fcov_pipe_flush)
`DV_FCOV_EXPR_SEEN(single_step_taken, id_stage_i.controller_i.fcov_debug_single_step_taken)
`DV_FCOV_EXPR_SEEN(single_step_exception, id_stage_i.controller_i.do_single_step_d &&
id_stage_i.controller_i.fcov_pipe_flush)
`DV_FCOV_EXPR_SEEN(insn_trigger_enter_debug, instr_id_matches_trigger_q)
cp_nmi_taken: coverpoint ((fcov_irqs[5] || fcov_irqs[4])) iff