BibTeX records: Bruce Wile

download as .bib file

@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 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ibmrd/LuddenRHRJCBBPABKKLLMMNPPRSTVW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/OzgunerMDWSH01,
  author       = {F{\"{u}}sun {\"{O}}zg{\"{u}}ner and
                  Duane W. Marhefka and
                  Joanne DeGroat and
                  Bruce Wile and
                  Jennifer Stofer and
                  Lyle Hanrahan},
  title        = {Teaching Future Verification Engineers: The Forgotten Side of Logic
                  Design},
  booktitle    = {Proceedings of the 38th Design Automation Conference, {DAC} 2001,
                  Las Vegas, NV, USA, June 18-22, 2001},
  pages        = {253--255},
  publisher    = {{ACM}},
  year         = {2001},
  url          = {https://doi.org/10.1145/378239.378477},
  doi          = {10.1145/378239.378477},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/OzgunerMDWSH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/WileMHBLDKGLSWLA97,
  author       = {Bruce Wile and
                  Michael P. Mullen and
                  Cara Hanson and
                  Dean G. Bair and
                  Kevin M. Lasko and
                  Patrick J. Duffy and
                  Edward J. Kaminski Jr. and
                  Thomas E. Gilbert and
                  Steven M. Licker and
                  Robert G. Sheldon and
                  William D. Wollyung and
                  William J. Lewis and
                  Robert J. Adkins},
  title        = {Functional verification of the {CMOS} {S/390} Parallel Enterprise
                  Server {G4} system},
  journal      = {{IBM} J. Res. Dev.},
  volume       = {41},
  number       = {4{\&}5},
  pages        = {549--566},
  year         = {1997},
  url          = {https://doi.org/10.1147/rd.414.0549},
  doi          = {10.1147/RD.414.0549},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ibmrd/WileMHBLDKGLSWLA97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/Wile97,
  author       = {Bruce Wile},
  title        = {Designer-level verification using {TIMEDIAG/GENRAND}},
  journal      = {{IBM} J. Res. Dev.},
  volume       = {41},
  number       = {4{\&}5},
  pages        = {581--592},
  year         = {1997},
  url          = {https://doi.org/10.1147/rd.414.0581},
  doi          = {10.1147/RD.414.0581},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ibmrd/Wile97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jssc/WebbASSLWCKMCSF97,
  author       = {Charles F. Webb and
                  Carl J. Anderson and
                  Leon J. Sigal and
                  Kenneth L. Shepard and
                  John S. Liptay and
                  James D. Warnock and
                  Brian W. Curran and
                  Barry Krumm and
                  Mark D. Mayo and
                  Peter J. Camporese and
                  Eric M. Schwarz and
                  Mark S. Farrell and
                  Phillip J. Restle and
                  Robert M. Averill III and
                  Timothy J. Slegel and
                  William V. Huott and
                  Yuen H. Chan and
                  Bruce Wile and
                  Thao N. Nguyen and
                  Philip G. Emma and
                  Daniel K. Beece and
                  Ching{-}Te Chuang and
                  Cyril Price},
  title        = {A 4.1-ns compact 54{\texttimes}54-b multiplier utilizing sign-select
                  Booth encoders},
  journal      = {{IEEE} J. Solid State Circuits},
  volume       = {32},
  number       = {11},
  pages        = {1676--1682},
  year         = {1997},
  url          = {https://doi.org/10.1109/4.641687},
  doi          = {10.1109/4.641687},
  timestamp    = {Tue, 26 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jssc/WebbASSLWCKMCSF97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/WalterLDLMKW97,
  author       = {J{\"{o}}rg A. Walter and
                  Jens Leenstra and
                  Gerhard D{\"{o}}ttling and
                  Bernd Leppla and
                  Hans{-}J{\"{u}}rgen M{\"{u}}nster and
                  Kevin W. Kark and
                  Bruce Wile},
  editor       = {Ellen J. Yoffa and
                  Giovanni De Micheli and
                  Jan M. Rabaey},
  title        = {Hierarchical Random Simulation Approach for the Verification of {S/390}
                  {CMOS} Multiprocessors},
  booktitle    = {Proceedings of the 34st Conference on Design Automation, Anaheim,
                  California, USA, Anaheim Convention Center, June 9-13, 1997},
  pages        = {89--94},
  publisher    = {{ACM} Press},
  year         = {1997},
  url          = {https://doi.org/10.1145/266021.266041},
  doi          = {10.1145/266021.266041},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dac/WalterLDLMKW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/AckermanDGLMRVW92,
  author       = {Dennis F. Ackerman and
                  Mark H. Decker and
                  Joseph J. Gosselin and
                  Kevin M. Lasko and
                  Michael P. Mullen and
                  Ruth E. Rosa and
                  Ernest V. Valera and
                  Bruce Wile},
  title        = {Simulation of {IBM} Enterprise System/9000 Models 820 and 900},
  journal      = {{IBM} J. Res. Dev.},
  volume       = {36},
  number       = {4},
  pages        = {751--764},
  year         = {1992},
  url          = {https://doi.org/10.1147/rd.364.0751},
  doi          = {10.1147/RD.364.0751},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ibmrd/AckermanDGLMRVW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}