vWIZ-Coverage brings code, functional, assertion and formal coverage into a single dashboard, merges results across a full regression, and ranks the holes that matter, so teams reach closure faster and enter sign-off with evidence rather than assumptions.
Line, toggle, FSM, branch and expression coverage with source drill-down.
Covergroups, bins and cross coverage, straight to the unhit bins.
SVA assertion status tracked alongside structural and functional coverage.
Formal unreachable analysis folds into the same closure view.
Merge across a regression and trend coverage release over release.
Ranks the highest-value coverage holes so effort goes where it counts.
| Stage | Verification, coverage closure |
|---|---|
| Coverage types | Code (line, toggle, FSM, branch, expression), functional (covergroups, bins, cross), assertion, formal UNR |
| Inputs | Coverage databases from FSimX simulation and vWIZ-Formal |
| Outputs | Merged coverage reports, ranked holes, closure dashboard |
| Design level | RTL and gate, technology independent (no PDK required) |
| Flow | Native stage in the WIOWIZ CLI, evidence-sealed |
Coverage closure across code, functional and formal on a real design.
