Travelled to:1 × USA
Collaborated with:C.Eisner I.Shitsevalov R.Hoover K.L.Nelson K.Valk
Talks about:methodolog (1) protocol (1) hardwar (1) control (1) formal (1) design (1) applic (1) coher (1) cach (1)
Person: Wayne G. Nation
DBLP: Nation:Wayne_G=
Contributed to:
2000Wrote 1 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.