Skip to main content

Module coverage

logicaffeine_compile::codegen_sva

Module coverage 

Source
Expand description

Specification Coverage Metrics

Computes how well a set of SVA properties covers the specification KG.

Structs§

SpecCoverage
Coverage metrics for a specification.

Functions§

compute_coverage
Compute specification coverage given a KG and a set of covered signal names.