A hierarchical methodology for verifying microprogrammed microprocessors

Proceedings of the Symposium on Security and Privacy

Volumn , Issue , 1990, Pages 345-357

  Windley, Phillip J ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTERS, MICROCOMPUTER; SYSTEMS SCIENCE AND CYBERNETICS--HIERARCHICAL SYSTEMS;

HIERARCHICAL METHODOLOGY; MICROENGINE; MICROPROCESSOR ARCHITECTURES; MICROPROCESSOR VERIFICATIONS; MICROPROGRAMMED MICROPROCESSORS; VERIFIED MICROPROCESSORS;

COMPUTER ARCHITECTURE;

EID: 0025028343     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/risp.1990.63863     Document Type: Conference Paper

References (19)