Add RTL Code Coverage waivers following confirmation using SLEC app of JasperGold and SiemensEDA QuestaFormal. (!2461) · Merge requests · OpenHW Group / backup-20241120 / core-v-verif

Eclipse Webmaster requested to merge github/fork/dd-BeeNee/cv32e40p/dev_bnl_ww23 into cv32e40p/dev Jun 05, 2024

Created by: dd-BeeNee

Further improve RTL Code coverage by waiving those proven unreachable. Now we are left with only 6 causes resulting 17 holes in cv32e40p_controller.sv. Down from 24 holes.

Add RTL Code Coverage waivers following confirmation using SLEC app of JasperGold and SiemensEDA QuestaFormal.

Merge request reports