BibTeX record conf/dac/ShenABHKGCH99

• > Home > conf/dac/ShenABHKGCH99

@inproceedings{DBLP:conf/dac/ShenABHKGCH99,
  author       = {Jian Shen and
                  Jacob A. Abraham and
                  Dave Baker and
                  Tony Hurson and
                  Martin Kinkade and
                  Gregorio Gervasio and
                  Chen{-}chau Chu and
                  Guanghui Hu},
  editor       = {Mary Jane Irwin},
  title        = {Functional Verification of the Equator {MAP1000} Microprocessor},
  booktitle    = {Proceedings of the 36th Conference on Design Automation, New Orleans,
                  LA, USA, June 21-25, 1999},
  pages        = {169--174},
  publisher    = {{ACM} Press},
  year         = {1999},
  url          = {https://doi.org/10.1145/309847.309908},
  doi          = {10.1145/309847.309908},
  timestamp    = {Tue, 06 Nov 2018 16:58:18 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/ShenABHKGCH99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}