Functional formal verification on designs of pSeries microprocessors and communication subsystems. - Rebecca M. Gott; Jason Baumgartner; Paul Roessler; S. I. Joe (IBM J. Res. Dev., 2005)