[rom_ctrl,dv] Tweak randomisation of bad mubi4_t values #21335
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
The code in rom_ctrl_corrupt_sig_fatal_chk_vseq.sv was not quite right: it ignored the return value of mubi4_test_invalid, and never actually assigned anything to rand_var.
This change switches things to do what I think was originally intended.
(@msfschaffner: I'm adding you as a reviewer because you touched these lines recently. As far as I can tell, they were silly before you touched them! But I thought you might know some context that I'm missing)