From 79031e3de0d88464fc873b919eb66af359fb9b4f Mon Sep 17 00:00:00 2001 From: Alexa Wright Date: Wed, 26 Apr 2023 16:25:55 -0700 Subject: [PATCH] Added better comment for the exclusion in privdec.sv --- src/privileged/privdec.sv | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/privileged/privdec.sv b/src/privileged/privdec.sv index 3c33c8b5..9aaa9979 100644 --- a/src/privileged/privdec.sv +++ b/src/privileged/privdec.sv @@ -70,7 +70,7 @@ module privdec ( assign WFICountPlus1 = WFICount + 1; floprc #(`WFI_TIMEOUT_BIT+1) wficountreg(clk, reset, ~wfiM, WFICountPlus1, WFICount); // count while in WFI // coverage off -item e 1 -fecexprrow 1 - // Excluding test case where we need to test WFI in a condition where it will never trap + // 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. assign WFITimeoutM = ((STATUS_TW & PrivilegeModeW != `M_MODE) | (`S_SUPPORTED & PrivilegeModeW == `U_MODE)) & WFICount[`WFI_TIMEOUT_BIT]; // coverage on end else assign WFITimeoutM = 0;