Formally verifying a microprocessor using a simulation methodology

Proceedings - Design Automation Conference

Volumn , Issue , 1994, Pages 596-602

  Beatty, Derek L ^a   Bryant, Randal E ^a  

^a CADENCE DESIGN SYSTEMS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ASSOCIATIVE STORAGE; CODES (SYMBOLS); COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; COMPUTER TESTING; INTERFACES (COMPUTER); MICROCOMPUTERS; REDUCED INSTRUCTION SET COMPUTING; SWITCHING THEORY;

FORMAL VERIFICATION; MICROCODE; MICROPROCESSOR;

COMPUTER CIRCUITS;

EID: 0028579090     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/196244.196575     Document Type: Conference Paper

References (13)