Jian-Kun Zhao

Publication Activity (10 Years)

Years Active: 1997-2001
Publications (10 Years): 0

Publications

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. VLSI Design (2001)
Jian-Kun Zhao, Elizabeth M. Rudnick, Janak H. Patel
Static logic implication with application to redundancy identification. VTS (1997)