Rebecca M. Gott, Jason Baumgartner, Paul Roessler, S. I. Joe. Functional formal verification on designs of pSeries microprocessors and communication subsystems. IBM Journal of Research and Development, 49(4-5):565-580, 2005. [doi]
@article{GottBRJ05,
title = {Functional formal verification on designs of pSeries microprocessors and communication subsystems},
author = {Rebecca M. Gott and Jason Baumgartner and Paul Roessler and S. I. Joe},
year = {2005},
doi = {10.1147/rd.494.0565},
url = {http://dx.doi.org/10.1147/rd.494.0565},
researchr = {https://researchr.org/publication/GottBRJ05},
cites = {0},
citedby = {0},
journal = {IBM Journal of Research and Development},
volume = {49},
number = {4-5},
pages = {565-580},
}