Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

RTL Code Coverage Hole in cv32e40p_controller module line 399 #1004

Open
pascalgouedo opened this issue Jun 18, 2024 · 0 comments
Open

RTL Code Coverage Hole in cv32e40p_controller module line 399 #1004

pascalgouedo opened this issue Jun 18, 2024 · 0 comments
Labels
Component:RTL For issues in the RTL (e.g. for files in the rtl directory) WAIVED:CV32E40P Issue does not impact a major release of CV32E40P and is waived

Comments

@pascalgouedo
Copy link

pascalgouedo commented Jun 18, 2024 •
edited
Loading

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.

399-1

399-2
@pascalgouedo pascalgouedo added Component:RTL For issues in the RTL (e.g. for files in the rtl directory) WAIVED:CV32E40P Issue does not impact a major release of CV32E40P and is waived labels Jun 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Component:RTL For issues in the RTL (e.g. for files in the rtl directory) WAIVED:CV32E40P Issue does not impact a major release of CV32E40P and is waived
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@pascalgouedo