BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Nelson:Kyle_L=

Contributed to:

DAC 20002000
DAC 19971997

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.