core-v-verif icon indicating copy to clipboard operation
core-v-verif copied to clipboard

Debug privilege tests

Open silabs-anvesten opened this issue 1 year ago • 2 comments

Suite of 6 test-cases focused on verifying correct behavior when switching between user and debug mode.

silabs-anvesten avatar Aug 10 '22 14:08 silabs-anvesten

@silabs-robin Please add a 'do not merge' label to this. There is some commit issue which will be fixed, then it should be ready for review. All debug tests pass or are otherwise in the states we agreeed.

silabs-anvesten avatar Aug 10 '22 14:08 silabs-anvesten

@silabs-robin Fixed the commit issue, this should be ready for review. Beware you cannot run the tests without the cfg/pmp.yaml file found in #1350 as I didn't want duplicates or merge issues

silabs-anvesten avatar Aug 11 '22 06:08 silabs-anvesten

@silabs-hfegran this PR should be ok to merge now, IMO. Please read the below explanation and see if you agree or not.


The test induces ISS mismatching. But as we are currently in a transitory period with ImperasDV, and related RTL features are not fully implemented, I propose that we merge this now and come back to the mismatches later.

The test also induces assertion errors, but these are known problems and RTL/RVFI fixes are on the way.

Some of the test code is also commented out, which is something we must come back to. Then, I don't know why there are still ISS mismatches when the expected-to-fail code is commented out, but I still feel it could be redundant work to debug it right now if ImperasDV updates later makes the problem go away.

The test's structure seems overall sound, and it compiles and runs for me.

silabs-robin avatar Sep 06 '22 14:09 silabs-robin