Techniques for Verifying Superscalar Microprocessors

@inproceedings{Burch1996TechniquesFV,
  title={Techniques for Verifying Superscalar Microprocessors},
  author={Jerry R. Burch},
  booktitle={DAC},
  year={1996}
}
Burch and Dill [3] described an automatic method for verifying a pipelined processor against its instruction set architecture (ISA). We describe three techniques for improving this method. We show how the combination of these techniques allows for the automatic verification of the control logic of a pipelined, superscalar implementation of a subset of the DLX architecture. 
Highly Influential
This paper has highly influenced 14 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 121 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 78 extracted citations

121 Citations

0102030'96'01'07'13
Citations per Year
Semantic Scholar estimates that this publication has 121 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…