PMP ACT

[jjscheel]

Technical Group

Privileged Spec IC

ratification-pkg

Priv 1.11

Technical Liaison

Greg Favor

Task Category

Arch Tests

Task Sub Category

• [ ] gcc
• [ ] binutils
• [ ] gdb
• [ ] intrinsics
• [ ] Java
• [ ] KVM
• [ ] ld
• [ ] llvm
• [ ] Linux kernel
• [ ] QEMU
• [ ] Spike

Ratification Target

2021

Statement of Work (SOW)

SOW: link

SOW Signoffs: (delete those not needed)

• Task group liaison sign-off date:
• Development partner sign-off date:
• ACT SIG sign-off date (if ACT work):

Waiver

• [X] Freeze
• [X] Ratification

Pull Request Details

ACT PR #1 (closed) ACT and Coverpoints PR #2 (merged) ISAC PR (merged)

[jjscheel]

ACT PR

@UmerShahidengr, what is the status here? It is still marked as being reviewed in your spreadsheet, but the PR seems to have bene closed and re-opened.

[jjscheel]

@UmerShahidengr, would you kindly let me know what github id we have for Abdul as well? THANKS!

[UmerShahidengr]

Thats still in review status. There are conflict issue in the PR which was resolved by reverting a few commits and then re-opening the PR.

[UmerShahidengr]

Update April 25th, 2023 => The PR is still in review. Due to Ramazan and Eid Holidays, no major work was done for this week, thus I am removing it from the agenda items. Next week task => Work on a test for pseudo-misaligned memory access to check the boundary cases of PMP.

[jjscheel]

Update from Allen:

1. Got the next version of the trap handler working and tested (With help for 10xe folks) and merged. It is now possible to write tests of virtual memory, transition between protections mode easily, and write tests that can partition > permissions inside test code and data.
2. continue to partition and Test Format Spec into ACT Developer Spec and ACT User Spec, and continue to get new chair up to speed
3. no
4. I don't have any dates....

[jjscheel]

Oops, previous post was for wrong item. Pls ignore.

[jjscheel]

@Abdulwadoodd, any update here? Thanks.

[UmerShahidengr]

Update ⇾ June 12th, 2023: No update so far. We will come back to this project in the next week

[jjscheel]

Ok, removing from Agenda for this week. Re-visit in 3 weeks.

[UmerShahidengr]

Update ⇾ July 11th, 2023 Not much work can be done here unless misaligned test cases are added. Coverpoints for PMP are getting developed but they are being tracked on different issue i.e, #13

[UmerShahidengr]

Update ⇾ August 15th, 2023 PMP coverpoints are ready and are available here for review. Furthermore, misaligned access tests are still missing, which will be added in this quarter.

[UmerShahidengr]

Update ⇾ September 12th, 2023 No update on this.

[UmerShahidengr]

Update ⇾ September 26th, 2023 No update on this.

[UmerShahidengr]

Update ⇾ October 10th, 2023 No update on this.

[UmerShahidengr]

Update ⇾ October 24th, 2023 No update on this.

[UmerShahidengr]

Update ⇾ November 28th, 2023 PMP coverpoints have been added. Here is the link to the PR.

[UmerShahidengr]

Update ⇾ December 12th, 2023 The review process is going on smoothly.

[UmerShahidengr]

Update ⇾ January 30th, 2024 The review process is going on.

[UmerShahidengr]

Update ⇾ March 5th, 2024 @MuhammadHammad001 has added privilege coverpoint support in RISC-V ISAC (PR here), @allenjbaum has been working with @MuhammadHammad001 to write a translator for priv architecture which will help in writing priv arch coverpoints with better readability. The coverpoint definitions are getting converted according to the new template, it will be completed in this quarter hopefully.

[UmerShahidengr]

Update ⇾ April 2nd, 2024 @MuhammadHammad001 has been working on PMP coverpoints, the PR will be completed before the next meeting

[jjscheel]

@UmerShahidengr, how are the cover points coming along?

[UmerShahidengr]

@jjscheel coverpoints are completed. I will add the PR tonight

[jjscheel]

I see old PR closed. Is this the new one: riscv-non-isa/riscv-arch-test #462?

[UmerShahidengr]

Yes. Thats the new one, and it is now complete with all tests and coverpoint definitions

[UmerShahidengr]

Update June 11th, 2024: Coverpoint definitions and new template of writing coverpoints for Priv Architecture are still in review process, @allenjbaum has been reviewing this one and @MuhammadHammad001 has been working on it full time

[UmerShahidengr]

Update June 25th, 2024: This task is still in review. @allenjbaum and @MuhammadHammad001 have been working on it.

[UmerShahidengr]

Update July 23rd, 2024: This task is in review. @allenjbaum is spending some time reviewing it. Hopefully it will be completed soon

[UmerShahidengr]

Update August 6th, 2024: The review process is complete, @allenjbaum has reviewed the PR, now it will be merged soon

[jjscheel]

Great news, @UmerShahidengr!

[UmerShahidengr]

Update October 29th, 2024: Still in merging phase. Will be merged in the next release meeting in SIG ARCH. @allenjbaum has been asked to merge this one

[jjscheel]

ACT and Coverpoints PR merged.

[jjscheel]

SOW marked as "Signoff" stage.

@allenjbaum, @UmerShahidengr, can you folks kindly review the SOW and confirm that we've completed the work?