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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2217609
بازگشت