Skip to content

InterruptAssert - Updates

Eclipse Webmaster requested to merge github/fork/silabs-robin/interrupt_assert_fix2_recarpet into cv32e40s/dev

Created by: silabs-robin

This PR updates some failing/outdated asserts in interrupt_assert.

Additionally, it adds some new assertions to check if the updates were good.

  • Passes ci_check (except known debug_test).
  • Passes in formal (except non-convergent).
  • (Caveat is that 2 RTL changes will be necessary and are on the way.)

Merge request reports

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent