Robust latch mapping for combinational equivalence checking

Jerry R. Burch, Vigyan Singhal. Robust latch mapping for combinational equivalence checking. In ICCAD. pages 563-569, 1998. [doi]

Abstract

Abstract is missing.