Skip to content

Commit 79031e3

Browse files
committed
Added better comment for the exclusion in privdec.sv
1 parent 55a74fd commit 79031e3

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/privileged/privdec.sv

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -70,7 +70,7 @@ module privdec (
7070
assign WFICountPlus1 = WFICount + 1;
7171
floprc #(`WFI_TIMEOUT_BIT+1) wficountreg(clk, reset, ~wfiM, WFICountPlus1, WFICount); // count while in WFI
7272
// coverage off -item e 1 -fecexprrow 1
73-
// Excluding test case where we need to test WFI in a condition where it will never trap
73+
// WFI Timout trap will not occur when STATUS_TW is low while in supervisor mode, so the system gets stuck waiting for an interrupt and triggers a watchdog timeout.
7474
assign WFITimeoutM = ((STATUS_TW & PrivilegeModeW != `M_MODE) | (`S_SUPPORTED & PrivilegeModeW == `U_MODE)) & WFICount[`WFI_TIMEOUT_BIT];
7575
// coverage on
7676
end else assign WFITimeoutM = 0;

0 commit comments

Comments
 (0)