debug_assert: add checks for havereset/running/halted (!1153) · Merge requests · OpenHW Group / backup-20241120 / core-v-verif

Eclipse Webmaster requested to merge github/fork/silabs-robin/debug_reset into cv32e40x/dev Jan 28, 2022

Created by: silabs-robin

This PR adds 3 checks to see that this part of the user manual holds true. I initially just wanted to see for my self, but I think it makes sense to include in the debug_assert assertion set. @silabs-oysteink do you agree with these assertions? (I realized the first assert is redundant vs the core SVAs, so I can remove it if we want, but for completeness of the debug_assert module we could keep it.)

debug_assert: add checks for havereset/running/halted

Merge request reports