|
|
|
Volumn , Issue , 1995, Pages 2-16
|
|
Formal verification of the AAMP5 microprocessor a case study in the industrial use of formal methods
a
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
CODES (SYMBOLS);
COMPUTER HARDWARE;
FORMAL LANGUAGES;
INDUSTRIAL APPLICATIONS;
MICROCOMPUTERS;
REAL TIME SYSTEMS;
REDUCED INSTRUCTION SET COMPUTING;
THEOREM PROVING;
FORMAL METHODS;
FORMAL SPECIFICATION;
FORMAL VERIFICATION;
HARDWARE VERIFICATION;
HIGH INTEGRITY SYSTEMS;
MICROCODE VERIFICATION;
MICROPROCESSOR VERIFICATION;
SAFETY CRITICAL SYSTEMS;
COMPUTER HARDWARE DESCRIPTION LANGUAGES;
|
|
EID: 0029214615
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
|
Times cited : (52)
|
|
References (32)
|
