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]

Authors

Janett Mohnke

This author has not been identified. Look up 'Janett Mohnke' in Google

Paul Molitor

This author has not been identified. Look up 'Paul Molitor' in Google

Sharad Malik

This author has not been identified. Look up 'Sharad Malik' in Google