| |
| 2001 | ||
|---|---|---|
| 2 | EE | 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: 163- |
| 1997 | ||
| 1 | EE | Jian-Kun Zhao, Elizabeth M. Rudnick, Janak H. Patel: Static logic implication with application to redundancy identification. VTS 1997: 288-295 |
| 1 | Jeffrey A. Newquist | [2] |
| 2 | Janak H. Patel | [1] [2] |
| 3 | Elizabeth M. Rudnick | [1] |