Kyle L. Nelson

Publication Activity (10 Years)

Years Active: 1996-2000
Publications (10 Years): 0

Publications

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)
Kyle L. Nelson, Alok Jain, Randal E. Bryant
Formal Verification of a Superscalar Execution Unit. DAC (1997)
Alok Jain, Kyle L. Nelson, Randal E. Bryant
Verifying Nondeterministic Implementations of Deterministic Systems. FMCAD (1996)