pub fn at_latency(aig: &Aig, latency: usize) -> Aig
The outputs at clock latency as a combinational graph over the clock-0 inputs (by their own names), the later clocks’ inputs and the free initial values.
latency