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

Signal debug_pc_o shows pointer address with clic and mret #415

Closed
silabs-mateilga opened this issue Mar 10, 2023 · 3 comments
Closed

Signal debug_pc_o shows pointer address with clic and mret #415

silabs-mateilga opened this issue Mar 10, 2023 · 3 comments
Labels
Component:RTL For issues in the RTL (e.g. for files in the rtl directory) Status:Resolved Issue has been resolved, but closure is pending on git merge and/or issuer confirmation Type:Bug For bugs in any content (RTL, Documentation, etc.)

Comments

@silabs-mateilga
Copy link

silabs-mateilga commented Mar 10, 2023 •
edited
Loading

Component:RTL

When a mret instruction restarts a clic pointer fetch, the expected value for debug_pc_o is the address of the mret instruction, but it actually reports the address of the pointer. See pipeline vizualisation in the attached image.

Reproduce by formally proving assert a_debug_pc_o_inv in the debug_asserts assertion set, with clic enabled.

image
@Silabs-ArjanB Silabs-ArjanB added Component:RTL For issues in the RTL (e.g. for files in the rtl directory) Type:Bug For bugs in any content (RTL, Documentation, etc.) labels Mar 10, 2023
@silabs-oivind silabs-oivind mentioned this issue Mar 16, 2023
Merged
@Silabs-ArjanB
Copy link
Contributor

Still needs merge from 40X

@Silabs-ArjanB Silabs-ArjanB added the Status:Resolved Issue has been resolved, but closure is pending on git merge and/or issuer confirmation label Mar 16, 2023
@silabs-oivind
Copy link
Contributor

@silabs-mateilga . This is merged to e40s now. Please close ticket if you agree it's fixed.

@silabs-mateilga
Copy link
Author

Fix works as intended, assert formally proven

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) Status:Resolved Issue has been resolved, but closure is pending on git merge and/or issuer confirmation Type:Bug For bugs in any content (RTL, Documentation, etc.)
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@Silabs-ArjanB @silabs-mateilga @silabs-oivind