Formal verification of the HAL S1 System cache coherence protocol

Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors

Volumn , Issue , 1997, Pages 438-444

  Hu, Alan J ^a   Fujita, Masahiro ^a   Wilson, Chris ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

BUFFER STORAGE; FORMAL LOGIC; NETWORK PROTOCOLS;

CACHE COHERENT NONUNIFORM MEMORY ACCESS (CC NUMA) MACHINES; FORMAL VERIFICATION;

MULTIPROCESSING SYSTEMS;

EID: 0031339726     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)