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

[fcov] Cross for Decoded Insn and Controller FSM

Browse source 
Bins are defined specifically for interested cases implied in coverage
plan.

Signed-off-by: Canberk Topal <ctopal@lowrisc.org>
This commit is contained in:
Canberk Topal 2022-05-17 16:45:48 +01:00 • committed by Canberk Topal
parent 1ad55daf96
commit 3b2e792a53
1 changed files with 40 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -460,12 +460,20 @@ interface core_ibex_fcov_if import ibex_pkg::*; (
cp_controller_fsm: coverpoint id_stage_i.controller_i.ctrl_fsm_cs {
bins out_of_reset = (RESET => BOOT_SET);
bins out_of_boot_set = (BOOT_SET => FIRST_FETCH);
bins out_of_first_fetch[] = (FIRST_FETCH => DECODE, IRQ_TAKEN, DBG_TAKEN_IF);
bins out_of_decode[] = (DECODE => FLUSH, DBG_TAKEN_IF, IRQ_TAKEN);
bins out_of_first_fetch0 = (FIRST_FETCH => DECODE);
bins out_of_first_fetch1 = (FIRST_FETCH => IRQ_TAKEN);
bins out_of_first_fetch2 = (FIRST_FETCH => DBG_TAKEN_IF);
bins out_of_decode0 = (DECODE => FLUSH);
bins out_of_decode1 = (DECODE => DBG_TAKEN_IF);
bins out_of_decode2 = (DECODE => IRQ_TAKEN);
bins out_of_irq_taken = (IRQ_TAKEN => DECODE);
bins out_of_debug_taken_if = (DBG_TAKEN_IF => DECODE);
bins out_of_debug_taken_id = (DBG_TAKEN_ID => DECODE);
bins out_of_flush[] = (FLUSH => DECODE, DBG_TAKEN_ID, WAIT_SLEEP, IRQ_TAKEN, DBG_TAKEN_IF);
bins out_of_flush0 = (FLUSH => DECODE);
bins out_of_flush1 = (FLUSH => DBG_TAKEN_ID);
bins out_of_flush2 = (FLUSH => WAIT_SLEEP);
bins out_of_flush3 = (FLUSH => IRQ_TAKEN);
bins out_of_flush4 = (FLUSH => DBG_TAKEN_IF);
bins out_of_wait_sleep = (WAIT_SLEEP => SLEEP);
bins out_of_sleep = (SLEEP => FIRST_FETCH);
// TODO: VCS does not implement default sequence so illegal_bins will be empty
@ -484,6 +492,35 @@ interface core_ibex_fcov_if import ibex_pkg::*; (
id_stage_i.controller_i.ctrl_fsm_ns == SLEEP &&
(|cs_registers_i.mip))
controller_instr_cross: cross cp_controller_fsm, cp_id_instr_category {
// Only expecting DECODE => FLUSH when we have the instruction categories constrained below.
bins decode_to_flush =
binsof(cp_controller_fsm.out_of_decode0) &&
binsof(cp_id_instr_category) intersect {InstrCategoryMRet, InstrCategoryDRet,
InstrCategoryEBreakDbg, InstrCategoryEBreakExc,
InstrCategoryECall, InstrCategoryFetchError,
InstrCategoryCSRAccess,
InstrCategoryCSRIllegal,
InstrCategoryUncompressedIllegal,
InstrCategoryCompressedIllegal,
InstrCategoryPrivIllegal,
InstrCategoryOtherIllegal};
bins decode_to_dbg = binsof(cp_controller_fsm.out_of_decode1);
bins decode_to_irq = binsof(cp_controller_fsm.out_of_decode2);
// Only expecting FLUSH => DECODE when we have the instruction categories constrained below.
bins flush_to_decode =
binsof(cp_controller_fsm.out_of_flush0) &&
!binsof(cp_id_instr_category) intersect {InstrCategoryEBreakDbg, InstrCategoryWFI};
// Only expecting FLUSH => IRQ_TAKEN when we have InstrCategoryCSRAccess in ID/EX
bins flush_to_irq_taken =
binsof(cp_controller_fsm.out_of_flush3) &&
binsof(cp_id_instr_category) intersect {InstrCategoryCSRAccess};
// Only expecting FLUSH => DEBUG_IF when we have InstrCategoryEBreakDbg in ID/EX
bins flush_to_dbg_if =
binsof(cp_controller_fsm.out_of_flush4) &&
!binsof(cp_id_instr_category) intersect {InstrCategoryEBreakDbg};
}
// Include both mstatus.mie enabled/disabled because it should not affect wakeup condition
irq_wfi_cross: cross cp_controller_fsm_sleep, cs_registers_i.mstatus_q.mie iff
(id_stage_i.irq_pending_i | id_stage_i.irq_nm_i);