cva6
cva6 copied to clipboard
openhwgroup
[Pmp] Verif plan TXT
This PR aims at resolving task https://github.com/openhwgroup/cva6/issues/1447
Here's a first version of the Verification Plan of PMP, in txt format. It is split in 2 files:
- verif/docs/VerifPlans/PMP/pmp_verif_plan.txt
- verif/docs/VerifPlans/PMP/pmp_verif_plan_features.txt
VPTool format is undergoing on our side. We'd like to share already the content to get first feedbacks.
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "Published by a pub.dev verified publisher"){kind=small}
👋 Hi there!
This pull request seems inactive. Need more help or have updates? Feel free to let us know. If there are no updates within the next few days, we'll go ahead and close this PR. 😊
👋 Hi there!
This pull request seems inactive. Need more help or have updates? Feel free to let us know. If there are no updates within the next few days, we'll go ahead and close this PR. 😊
Added to this pull request are some PMP tests along with the Verif Plan integrated in VP_TOOL. Weird that CI is failing as no RTL has been updated and the PMP tests are not integrated into the regression scripts
The PMP updated has been merged ( https://github.com/openhwgroup/cva6/pull/2528). @ASintzoff @JeanRochCoulon does the VP_TOOL update and provided tests look ok to you ? I have no idea why the ECA check is failing as I have signed the agreement. It seems to come from the latest merge of master.
This PR modifies 50k lines: too much. Maybe a rebase issue. This PR should execute tests on the new RTL with extracted PMP. Let's see the results !
I found. This PR is related to master_when_no_mmu, while it should be master.
I opened a new PR against master : https://github.com/openhwgroup/cva6/pull/2648 I think we can close this one