Skip to main content

check_functional_equiv_generated

bitloom_sim

Function check_functional_equiv_generated 

Source 
pub fn check_functional_equiv_generated(
    hir: FrozenHir,
    stimuli: impl IntoIterator<Item = PortValues>,
) -> EquivStatus
Expand description

FR30 on the generated path (P3 acceptance): GeneratedFunctional vs tick.

Alias of crate::check_generated_bridge. Handwritten check_functional_equiv remains available but is not the P3 gate.