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: #90 Commit Summary - f43c0e6 <f43c0e6> 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 <#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.