pub fn latency_equivalent_by_fraig(
pipeline: &Aig,
reference: &Aig,
latency: usize,
opts: &Options,
) -> Result<Report, MiterError>Expand description
latency_equivalent, decided by crate::fraig.
pub fn latency_equivalent_by_fraig(
pipeline: &Aig,
reference: &Aig,
latency: usize,
opts: &Options,
) -> Result<Report, MiterError>latency_equivalent, decided by crate::fraig.