Verifying Tomasulo's algorithm by refinement

Proceedings of the IEEE International Conference on VLSI Design

Volumn , Issue , 1999, Pages 306-309

  Arons, T ^a   Pnueli, A ^a  

^a WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; SEQUENTIAL SWITCHING;

TOMASULO'S ALGORITHM;

MICROPROCESSOR CHIPS;

EID: 0032713623     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/icvd.1999.745165     Document Type: Conference Paper

References (7)