Adding the cover-points definition of the SV48

[HAMZA-AFZAL404]

Hi All,

This PR adds cover-point definitions for the set of self-checking assembly tests for the architectural verification of MMU SV39, These cover-points are hand-written and follows the test plan provided in the following test-plan.

For a more comprehensive understanding of code coverage and verification results, please consult the generated report accessible through the provided coverage report link

Best regards, Hamza Afzal

[allenjbaum]

I've put a spreadsheet with what I think are the equations that we need to test:

https://docs.google.com/spreadsheets/d/1norPTsvpZj2bIIv8zpSOwJP1VkjNjy0ujpNQN3yzoEI/edit#gid=0

IT isn't quite complete; I don't go into any detail about how to test that the PMP and PMAs either do or don't trap, and I haven't gone into the details for testing SUM and MXR bits

For the former, it is probably enough to simply test that a PMP trap occurs (BUT only if PMPs are implemented !!) I'll have to think of a way we can guarantee that we get a PMA trap as well.

We need to think carefully about how we test the SUM and MXR bits.

On Thu, Nov 2, 2023 at 1:12 AM HAMZA-AFZAL404 @.***> wrote:

Hi All,

This PR adds cover-point definitions for the set of self-checking assembly tests for the architectural verification of MMU SV39, These cover-points are hand-written and follows the test plan provided in the following test-plan https://docs.google.com/spreadsheets/d/1lJkbxCG268DHq8oeltyxMbUAf7iLQurFJhLDnbPn0gM/edit#gid=1303473646 .

For a more comprehensive understanding of code coverage and verification results, please consult the generated report accessible through the provided coverage report link https://htmlpreview.github.io/?https://github.com/HAMZA-AFZAL404/riscv-ctg/blob/Coverage/Coverage_Report/coverage.html

Best regards, Hamza Afzal

You can view, comment on, or merge this pull request online at:

https://github.com/riscv-software-src/riscv-ctg/pull/90 Commit Summary

• f43c0e6 https://github.com/riscv-software-src/riscv-ctg/pull/90/commits/f43c0e6de805fc0569e47ae61b14126cf3d389c4 Added the coverpoints of the SV48

File Changes

(2 files https://github.com/riscv-software-src/riscv-ctg/pull/90/files)

• M CHANGELOG.md https://github.com/riscv-software-src/riscv-ctg/pull/90/files#diff-06572a96a58dc510037d5efa622f9bec8519bc1beab13c9f251e97e657a9d4ed (3)
• A sample_cgfs/vm_sv48.cgf https://github.com/riscv-software-src/riscv-ctg/pull/90/files#diff-8f774c804a29712bb7aff6945c5065583d827a0cfc3aa7e65c2d521349c205bd (3249)

Patch Links:

• https://github.com/riscv-software-src/riscv-ctg/pull/90.patch
• https://github.com/riscv-software-src/riscv-ctg/pull/90.diff

— Reply to this email directly, view it on GitHub https://github.com/riscv-software-src/riscv-ctg/pull/90, or unsubscribe https://github.com/notifications/unsubscribe-auth/AHPXVJUS4V37NOIX6XIU7L3YCNIXLAVCNFSM6AAAAAA62O7MQCVHI2DSMVQWIX3LMV43ASLTON2WKOZRHE3TGNZSGM4DONY . You are receiving this because you are subscribed to this thread.Message ID: @.***>

[UmerShahidengr]

These coverpoints will now be updated according to the latest translator, so I am closing this pull request to clear the backlog.