RTL Code Coverage Hole in cv32e40p_controller module line 399
pascalgouedo opened this issue · 0 comments
pascalgouedo commented
Component
Component:RTL
Issue description
There are 2 conditions not covered on line 399 of cv32e40p_controller during all the simulation non-regressions.
During FIRST_FETCH controller FSM state, there is test to check that interrupts during pending debug request or during debug is not taken.
FIRST_FETCH is occurring 1 cycle after BOOT_SET or after SLEEP.
Was waived in v1 and has been waived in v2 as well.
