Methodology for formal design of hardware control with application to cache coherence protocols

Proceedings - Design Automation Conference

Volumn , Issue , 2000, Pages 724-729

  Eisner, Cindy ^a   Shitsevalov, Irit ^a   Hoover, Russ ^a   Nation, Wayne ^a   Nelson, Kyle ^a   Valk, Ken ^a  

^a IBM HAIFA RESEARCH LAB   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; BUFFER STORAGE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; FORMAL LANGUAGES; JAVA PROGRAMMING LANGUAGE;

CACHE COHERENCE PROTOCOL; FORMAL DESIGN; HARDWARE CONTROL;

COMPUTER HARDWARE;

EID: 0033698178     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)