Function latency_equivalent 

pub fn latency_equivalent(
    pipeline: &Aig,
    reference: &Aig,
    latency: usize,
    opts: &Options,
) -> Result<Report, MiterError>

Whether pipeline’s outputs at clock latency equal the combinational reference over the clock-0 inputs.