pub fn aligned_pair(
left: &Aig,
left_latency: usize,
right: &Aig,
right_latency: usize,
) -> (Aig, Aig)Expand description
The two combinational circuits aligned decides between: each side at its latency, its free initial values
named apart from the other’s ([email protected], [email protected]).