Skip to main content

check_bounded_equivalence

logicaffeine_compile::codegen_sva::hw_pipeline

Function check_bounded_equivalence 

Source 
pub fn check_bounded_equivalence(
    fol_bounded: &BoundedExpr,
    sva_bounded: &BoundedExpr,
    bound: u32,
) -> EquivalenceResult
Expand description

Check bounded equivalence between two BoundedExpr trees.