| |
| 2000 | ||
|---|---|---|
| 3 | EE | Cindy Eisner, Irit Shitsevalov, Russ Hoover, Wayne G. Nation, Kyle L. Nelson, Ken Valk: A methodology for formal design of hardware control with application to cache coherence protocols. DAC 2000: 724-729 |
| 1997 | ||
| 2 | EE | Kyle L. Nelson, Alok Jain, Randal E. Bryant: Formal Verification of a Superscalar Execution Unit. DAC 1997: 161-166 |
| 1996 | ||
| 1 | Alok Jain, Kyle L. Nelson, Randal E. Bryant: Verifying Nondeterministic Implementations of Deterministic Systems. FMCAD 1996: 109-125 | |
| 1 | Randal E. Bryant | [1] [2] |
| 2 | Cindy Eisner | [3] |
| 3 | Russ Hoover | [3] |
| 4 | Alok Jain | [1] [2] |
| 5 | Wayne G. Nation | [3] |
| 6 | Irit Shitsevalov | [3] |
| 7 | Ken Valk | [3] |