DocumentCode
922263
Title
Verifying cache coherence protocols
Author
McMillan, Kenneth
Volume
33
Issue
6
fYear
1996
fDate
6/1/1996 12:00:00 AM
Firstpage
67
Keywords
Automatic logic units; Collaborative tools; Collaborative work; Concurrent computing; Formal verification; Hardware; Licenses; Probes; Protocols; US Department of Transportation;
fLanguage
English
Journal_Title
Spectrum, IEEE
Publisher
ieee
ISSN
0018-9235
Type
jour
DOI
10.1109/MSPEC.1996.499954
Filename
499954
Link To Document