PMP verification
Assembly tests for pmp
Default 4 pmps are provided. Following is some of the scenarios you need to test:
For memory Loads
-
1. cfg0 as TOR with X = 0 and executing any load from that range should raise an access-exception -
2. cfg0 as OFF and cfg1 as TOR with X = 0. pmpaddr0 and pmpaddr1 are set to create an access-exception. -
3. cfg0/cfg1 as NA4/NAPOT with X=0 and generate access-exception -
4. cfg0 as TOR and X=1. cfg1 as TOR and X=0. CFG0 should match and should not raise an exception. -
5. cfg0 as TOR and X=0. cfg1 as TOR and X=1. CFG0 should match and raise an exception. -
6. Same as cases 4 and 5 but using NA4/NAPOT. -
7. scenario where a 4-byte access spans out of a cfg1 address and generates an error.
Similar cases with Stores and Instruction fetch.
Edited by Divya