Verifying the performance of the PCI local bus using symbolic techniques

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

Volumn , Issue , 1995, Pages 72-78

  Campos, S ^a   Clarke, E ^a   Marrero, W ^a   Minea, M ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; FINITE AUTOMATA; LARGE SCALE SYSTEMS; PERFORMANCE; REAL TIME SYSTEMS; RESPONSE TIME (COMPUTER SYSTEMS); SYSTEMS ANALYSIS;

FINITE STATE SYSTEMS; PCI LOCAL BUS; SYMBOLIC MODEL CHECKING; TIMING INFORMATION;

COMPUTER HARDWARE;

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

References (12)