Robust latch mapping for combinational equivalence checking.

Jerry R. Burch, Vigyan Singhal

Browse the full ICCAD paper archive.