Skip to main content

compute_coverage

logicaffeine_compile::codegen_sva::coverage

Function compute_coverage 

Source 
pub fn compute_coverage(
    kg: &HwKnowledgeGraph,
    covered_signals: &[String],
) -> SpecCoverage
Expand description

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