Assertions for issue #302 (e40s) (!760) · Merge requests · OpenHW Group / backup-20241120 / cv32e40x

Eclipse Webmaster requested to merge github/fork/silabs-oysteink/silabs-oysteink_csr-set-clear-asserts into master Jan 11, 2023

Created by: silabs-oysteink

Added assertions to check that no CSR flop outputs change if a set or clear operation is being performed when rs1==0.

Updated assertion that checks branch target stability to factor in 'last_op' when terminating the check, and removed dependency on kill_ex in the left hand side.

Signed-off-by: Oystein Knauserud Oystein.Knauserud@silabs.com

Assertions for issue #302 (e40s)

Merge request reports