Skip to main content

classify_divergence

logicaffeine_compile::codegen_sva::synthesis_refine

Function classify_divergence 

Source 
pub fn classify_divergence(
    spec_allows_ce: bool,
    sva_allows_ce: bool,
) -> Divergence
Expand description

Classify whether an SVA is too strong or too weak relative to the spec.

Too strong: spec allows a behavior that SVA rejects. Too weak: SVA allows a behavior that spec rejects.