Kyle L. Nelson

According to our database, Kyle L. Nelson authored at least 3 papers between 1996 and 2000.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2000

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

Cindy Eisner, Irit Shitsevalov, Russ Hoover, Wayne G. Nation, Kyle L. Nelson, Ken Valk

Proceedings of the 37th Conference on Design Automation, 2000

1997

Formal Verification of a Superscalar Execution Unit.

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

Proceedings of the 34st Conference on Design Automation, 1997

1996

Verifying Nondeterministic Implementations of Deterministic Systems.

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

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996