pub fn check_generated_bridge(
hir: FrozenHir,
stimuli: impl IntoIterator<Item = PortValues>,
) -> EquivStatusExpand description
Bridge/compare: generated functional model vs cycle-accurate tick (FR47 leg 2).
pub fn check_generated_bridge(
hir: FrozenHir,
stimuli: impl IntoIterator<Item = PortValues>,
) -> EquivStatusBridge/compare: generated functional model vs cycle-accurate tick (FR47 leg 2).