Formal verification: is it real enough? - Yaron Wolfsthal; Rebecca M. Gott (DAC, 2005)

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)

Functional verification of the POWER5 microprocessor and POWER5 multiprocessor systems. - 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 (IBM J. Res. Dev., 2005)

Functional verification of the IBM System z10 processor chipset. - Christopher A. Krygowski; Dean G. Bair; Rebecca M. Gott; Mark H. Decker; A. V. Giri; Christian Habermann; Matthias Heizmann; Stefan Letz; William J. Lewis; Steven M. Licker; H. Mallar; Edward C. McCain; et al. (IBM J. Res. Dev., 2009)

Key advances in the presilicon functional verification of the IBM zEnterprise microprocessor and storage hierarchy. - Christopher A. Krygowski; Eli Almog; Dean G. Bair; Raimund Breil; Gero Dittmann; Rebecca M. Gott; William J. Lewis; Alia D. Shah; Brian W. Thompto (IBM J. Res. Dev., 2012)