DocumentCode
2217609
Title
A methodology for formal design of hardware control with application to cache coherence protocols
Author
Eisner, Cindy ; Shitsevalov, Lrit ; Hoover, Russ ; Nation, Wayne ; Nelson, Kyle ; Valk, Ken
Author_Institution
IBM Haifa Research Laboratory
fYear
2000
fDate
2000
Firstpage
724
Lastpage
729
Keywords
Algorithm design and analysis; Automatic control; Computer bugs; Design methodology; Hardware design languages; Java; Laboratories; Object oriented modeling; Permission; Protocols;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 2000. Proceedings 2000
Print_ISBN
1-58113-187-9
Type
conf
DOI
10.1109/DAC.2000.855409
Filename
855409
Link To Document