Kyle L. Nelson

A methodology for formal design of hardware control with application to cache coherence protocols

Cindy Eisner, Wayne G. Nation, Kenneth M. Valk, 2000, Proceedings 37th Design Automation Conference.

Formal verification of a superscalar execution unit

Randal E. Bryant, Alok Jain, Kyle L. Nelson, 1997, DAC.

A methodology for formal hardware verification based on symbolic trajectory evaluation

Randal E. Bryant, Kyle L. Nelson, 1999 .

Verifying Nondeterministic Implementations of Deterministic Systems

Randal E. Bryant, Alok Jain, Kyle L. Nelson, 1996, FMCAD.