@misc{indiciae0b38dc03cdcd,
  title = {A Systematic Methodology for Verifying Superscalar Microprocessors},
  author = {Srivas, Mandayam and Hosabettu, Ravi and Gopalakrishnan, Ganesh},
  year = {1999},
  url = {https://ntrs.nasa.gov/citations/19990018275},
  note = {Source identifier: 19990018275}
}