TY  - RPRT
TI  - A Systematic Methodology for Verifying Superscalar Microprocessors
AU  - Srivas, Mandayam
AU  - Hosabettu, Ravi
AU  - Gopalakrishnan, Ganesh
PY  - 1999
UR  - https://ntrs.nasa.gov/citations/19990018275
ID  - 19990018275
ER  -