Muhammad Zain

Some SV48 bins are missing coverage (might be some bug in wallyTracer)

1

I have developed SV48 tests, but some bins related to faults on instruction fetch don't show coverage. For example, **sv48_reserved_rwx_pte_S_mode.S** tests for faults in case of reserved RWX for levels...

Found some bugs while running regression for SV48

1

Addresses the problem faced in PR #1532. @davidharrishmc @rosethompson The test `sv48_res_global_pte_U_mode.S` normally passes but fails when `sv48_pte_reserved_field_S_mode.S` is executed prior to it. This seemed really strange. I looked into...

This PR includes documentation for the coverpoint format used in VM and PMP coverpoints (riscv-arch-test). It will help in understanding the existing coverpoints and to develop additional coverpoints for other...