Muhammad Hammad Bashir

The support for these variables has been added in the [PR#80](https://github.com/riscv-software-src/riscv-isac/pull/80). Please refer to the [comment](https://github.com/riscv-software-src/riscv-isac/pull/80#issuecomment-1837103316) for the implementation @allenjbaum @UmerShahidengr @neelgala

@jamesbeyond

# Update to check the registers only of interest for read_csr() function: Previously, if we used any coverpoint in the following pattern to compare the old_value of the register with...

# Mode Check Support: In this commit, I have added the support for checking the Mode in which the hart is currently executed. Consider the following part of the log:...

# Virtual Memory Implementation In this commit, I have implemented the requested variables for the Physical address, virtual address, page table walk addresses for the instructions and data accesses in...

## Value at Memory Location In this commit, I have added the support for reading the value stored at a specific address. Consider the following coverpoint: ```objective-c 'mem_val(get_addr("rvtest_data"),4) == 0xBEEDCAFE':...

# PTE Permission Access Function In this commit, I have added a function named as `get_pte_per()` which will make sure that permissions are set for the required physical address and...

# VIrtual Memory Implementation: Now, the coverpoints don't need a special lablel for the virtual memory else the track of all the virtual memory registers is kept by the isac...

# Macros file Support Added In this commit, I have added support for using a macro in the coverpoints. Please consider the following macros/header file for the coverpoint: ```objective-c common:...

# Trap Register Variables This is the updated comment as I have added few variables that keep track of the current instruction exceptions/traps. The variables are 1. `mode_change` = From...