GrossmanSHITBSWMTYGDDS08'

BibTeX

@inproceedings{DBLP:conf/iccd/GrossmanSHITBSWMTYGDDS08,
  author    = {John P. Grossman and
               John K. Salmon and
               Richard C. Ho and
               Doug Ierardi and
               Brian Towles and
               Brannon Batson and
               Jochen Spengler and
               Stanley C. Wang and
               Rolf Mueller and
               Michael Theobald and
               Cliff Young and
               Joseph Gagliardo and
               Martin M. Deneroff and
               Ron O. Dror and
               David E. Shaw},
  title     = {Hierarchical simulation-based verification of Anton, a special-purpose
               parallel machine},
  booktitle = {ICCD},
  year      = {2008},
  pages     = {340-347},
  ee        = {http://dx.doi.org/10.1109/ICCD.2008.4751883},
  crossref  = {DBLP:conf/iccd/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iccd/2008,
  title     = {26th International Conference on Computer Design, ICCD 2008,
               12-15 October 2008, Lake Tahoe, CA, USA, Proceedings},
  booktitle = {ICCD},
  publisher = {IEEE},
  year      = {2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}