Establishing latch correspondence for sequential circuits using distinguishing signatures

Janett Mohnke, Paul Molitor, Sharad Malik. Establishing latch correspondence for sequential circuits using distinguishing signatures. Integration, 27(1):33-46, 1999. [doi]

Abstract

Abstract is missing.