Pawan Kumar Sanjaya
Pawan Kumar Sanjaya
The spec says the following regarding the conditions where pmp checks are applicable: ``` Optionally, PMP checks may additionally apply to M-mode accesses, in which case the PMP registers themselves...
Defining Memory address variables to enable abstract/function based coverpoint defintions for csrs.
Many of the csrs happen to deal with memory addresses. It is not feasible to define absolute coverpoints for these csrs. Hence the need for memory variables which derive their...
Many of the privilege tests need to be able to express conditions which denote a transition in the value of the csrs. To do so, we can define a map...
## Summary The data propagation reports track the impact of an instruction (which matches the coverpoint) on the signature. However, each coverpoint hit might have to cause multiple signature updates...
## Summary The libopcodes library is generated as an aritifact of gcc build. The library supports API calls which decode a given instruction encoding. A python plugin(which implements the pluggy...
The normalisation functions used to abstract representations of coverpoints can potentially produce duplicate coverpoints. However, the coverpoints are stored in dictionaries; hence only unique coverpoints are retained. It is desirable...
- Coverpoints to test nan boxing behaviour (hand coded tests in most cases) - These coverpoints will mostly be described on the nan_prefix described in point 2 above. The minimal...
- `fcsr` & `rm` in coverpoints - The current coverpoints define effective rm fields i.e insts always have `7` and `fcsr` has the necessary rm. Future coverpoints will try to...
The DPR computation involves tracking the updates to the signature region. This feature can be extended to obtain the label of the relevant test case from the elf and annotate...
- The checks to detect whether an instruction belongs to the F/D extension is currently based on whether the first letter of the instruction is `f`. Instead it should be...