BibTeX record journals/ibmrd/LuddenRHRJCBBPABKKLLMMNPPRSTVW02

• > Home > journals/ibmrd/LuddenRHRJCBBPABKKLLMMNPPRSTVW02

@article{DBLP:journals/ibmrd/LuddenRHRJCBBPABKKLLMMNPPRSTVW02,
  author       = {John M. Ludden and
                  Wolfgang Roesner and
                  Gerry M. Heiling and
                  John R. Reysa and
                  Jonathan R. Jackson and
                  Bing{-}Lun Chu and
                  Michael L. Behm and
                  Jason Baumgartner and
                  Richard D. Peterson and
                  Jamee Abdulhafiz and
                  William E. Bucy and
                  John H. Klaus and
                  Danny J. Klema and
                  Tien N. Le and
                  F. Danette Lewis and
                  Philip E. Milling and
                  Lawrence A. McConville and
                  Bradley S. Nelson and
                  Viresh Paruthi and
                  Travis W. Pouarz and
                  Audre D. Romonosky and
                  Jeff Stuecheli and
                  Kent D. Thompson and
                  Dave W. Victor and
                  Bruce Wile},
  title        = {Functional verification of the {POWER4} microprocessor and {POWER4}
                  multiprocessor system},
  journal      = {{IBM} J. Res. Dev.},
  volume       = {46},
  number       = {1},
  pages        = {53--76},
  year         = {2002},
  url          = {https://doi.org/10.1147/rd.461.0053},
  doi          = {10.1147/RD.461.0053},
  timestamp    = {Fri, 13 Mar 2020 10:54:57 +0100},
  biburl       = {https://dblp.org/rec/journals/ibmrd/LuddenRHRJCBBPABKKLLMMNPPRSTVW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}