A Graph Traversal Based Framework For Sequential Logic Implication With An Application To C-Cycle Redundancy Identification.

Jian-Kun Zhao, Jeffrey A. Newquist, Janak H. Patel

Browse the full VLSID paper archive.