core-v-verif icon indicating copy to clipboard operation
core-v-verif copied to clipboard

Published 20 hours ago • verified publisher icon openhwgroup

Block coverage waiver for cv32e40p

Open strichmo opened this issue 4 years ago • 1 comments

The following report contains the block (statement) coverage waivers for code coverage for the cv32e40p. These waivers were generated using formal unreachability analysis. The waivers are necessary due to the presence of design parameters (e.g. PULP_XPULP) that preclude fully simulating all lines of the RTL with the RTL freeze configuration.

In the repository these waivers are in the file: cv32/sim/tools/xrun/cv32e40p_no_pulp.auto.vRefine

https://openhwgroup.github.io/core-v-verif/Waivers/cv32e40p_block_waiver/index.html

strichmo avatar Dec 07 '20 21:12 strichmo

Updated URL for the link to the waivers.

MikeOpenHWGroup avatar Dec 09 '20 15:12 MikeOpenHWGroup