Verifying correct pipeline implementation for microprocessors - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Jeremy R. Levitt, Kunle Olukotun. Verifying correct pipeline implementation for microprocessors. In ICCAD. pages 162-169, 1997. [doi]

@inproceedings{LevittO97,
  title = {Verifying correct pipeline implementation for microprocessors},
  author = {Jeremy R. Levitt and Kunle Olukotun},
  year = {1997},
  doi = {10.1145/266388.266456},
  url = {http://doi.acm.org/10.1145/266388.266456},
  researchr = {https://researchr.org/publication/LevittO97},
  cites = {0},
  citedby = {0},
  pages = {162-169},
  booktitle = {ICCAD},
}

runs on WebDSL