Methodology for formal design of hardware control with application to cache coherence protocols
- Cindy Eisner
- Irit Shitsevalov
- et al.
- 2000
- DAC 2000
Publications
Date
Featured collections
Popular topics
3 results for Wayne G. Nation
Low cost 10 gigabit/s optical interconnects for parallel processing
- D. Kuchta
- J.D. Crow
- et al.
- 1998
- MPPOI 1998
Parallel fiber-optic SCI links
- David R. Engebretsen
- Daniel M. Kuchta
- et al.
- 1996
- IEEE Micro