Assertion covers for fence.i for 40x (!990) · Merge requests · OpenHW Group / backup-20241120 / core-v-verif

Eclipse Webmaster requested to merge github/fork/silabs-robin/fencei_tests_asserts into cv32e40x/dev Oct 26, 2021

Created by: silabs-robin

@strichmo I just added some covers as well. To match the vplan's "Functional Coverage" items. (Plus I updated a_req_rise_before_retire because it didn't seem to check what it was intended to check.)

Assertion covers for fence.i for 40x

Merge request reports