pub fn unroll(aig: &Aig, frames: usize) -> Aig
The graph unrolled over frames clocks, the latches’ starting values from their initial values, the outputs of every clock named name@k.
frames
name@k