started the process of updating debug assertion set to latest spec (!1515) · Merge requests · OpenHW Group / backup-20241120 / core-v-verif

Eclipse Webmaster requested to merge github/fork/silabs-mateilga/debug_assert_updates into cv32e40s/dev Nov 30, 2022

Created by: silabs-mateilga

Signed-off-by: Marton Teilgard mateilga@silabs.com

This work is by no means finished, but I suggest we merge this now for the following two reasons: ~~1. an assert added in this PR is required to reproduce cv32e40x issue 709~~ (bug was in the assert, not RTL) 2. New functions in rvfi_instr_if could be useful for other contributors to the 40s/dev

edit: A new bug has been found by asserts added to this PR: cv32e40x 711

started the process of updating debug assertion set to latest spec

Merge request reports