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. A Graph Traversal Based Framework For Sequential Logic Implication With An Application To C-Cycle Redundancy Identification. In 14th International Conference on VLSI Design (VLSI Design 2001), 3-7 January 2001, Bangalore, India. pages 163, IEEE Computer Society, 2001. [doi]

Abstract

Abstract is missing.