Travelled to:2 × USA
Collaborated with:A.Jain R.E.Bryant C.Eisner I.Shitsevalov R.Hoover W.G.Nation K.Valk
Talks about:formal (2) superscalar (1) methodolog (1) protocol (1) hardwar (1) control (1) execut (1) design (1) applic (1) verif (1)
Person: Kyle L. Nelson
DBLP: Nelson:Kyle_L=
Contributed to:
20001997Wrote 2 papers:
- DAC-2000-EisnerSHNNV #design #hardware #protocol
- A methodology for formal design of hardware control with application to cache coherence protocols (CE, IS, RH, WGN, KLN, KV), pp. 724–729.
- DAC-1997-NelsonJB #execution #verification
- Formal Verification of a Superscalar Execution Unit (KLN, AJ, REB), pp. 161–166.