Dave W. Victor, John M. Ludden, Richard D. Peterson, Bradley S. Nelson, W. Keith Sharp, James K. Hsu, Bing-Lun Chu, Michael L. Behm, Rebecca M. Gott, Audre D. Romonosky, Steven R. Farago. Functional verification of the POWER5 microprocessor and POWER5 multiprocessor systems. IBM Journal of Research and Development, 49(4-5):541-554, 2005. [doi]
@article{VictorLPNSHCBGRF05,
title = {Functional verification of the POWER5 microprocessor and POWER5 multiprocessor systems},
author = {Dave W. Victor and John M. Ludden and Richard D. Peterson and Bradley S. Nelson and W. Keith Sharp and James K. Hsu and Bing-Lun Chu and Michael L. Behm and Rebecca M. Gott and Audre D. Romonosky and Steven R. Farago},
year = {2005},
doi = {10.1147/rd.494.0541},
url = {http://dx.doi.org/10.1147/rd.494.0541},
researchr = {https://researchr.org/publication/VictorLPNSHCBGRF05},
cites = {0},
citedby = {0},
journal = {IBM Journal of Research and Development},
volume = {49},
number = {4-5},
pages = {541-554},
}