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

Published 20 hours ago • verified publisher icon openhwgroup

FSM coverage waiver for cv32e40p

Open strichmo opened this issue 4 years ago • 3 comments

The following report contains the FSM waivers for code coverage for the cv32e40p. These waivers are a combination of generated waivers using formal unreachability analysis and waivers generated from manual code inspection.

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

https://openhwgroup.github.io/core-v-verif/Waivers/cv32e40p_fsm_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

@MikeOpenHWGroup Can his be closed?

silabs-robin avatar Dec 11 '23 11:12 silabs-robin

See also https://github.com/openhwgroup/core-v-verif/issues/424 and https://github.com/openhwgroup/core-v-verif/issues/423

silabs-robin avatar Dec 11 '23 11:12 silabs-robin