Random test for fencei for 40x (!973) · Merge requests · OpenHW Group / backup-20241120 / core-v-verif

Created by: silabs-robin

This PR adds random testing of fencei for 40x.

Comments:

A memory-changing virtual peripheral (as per vplan) is not part of this PR.
The streams are a smidgeon more constrained than I'd like, because of riscv-dv complexities that would otherwise be problematic.
Obi stalls are disabled because they would cancel out the purpose of fencei and mask potential iss mismatches, but if anyone has doubts that it should be done with "+rand_stall_obi_disable" then please comment.
Testing shows that without the "fencei" in "store_fencei_exec" then one gets an iss mismatch (as expected/desired), indicating that the test checks the thing it should.

Random test for fencei for 40x