Simulation of IBM Enterprise System/9000 Models 820 and 900. - Dennis F. Ackerman; Mark H. Decker; Joseph J. Gosselin; Kevin M. Lasko; Michael P. Mullen; Ruth E. Rosa; Ernest V. Valera; Bruce Wile (IBM J. Res. Dev., 1992)

Architectural Verification of Processors Using Symbolic Instruction Graphs. - Ashok K. Chandra; Vijay S. Iyengar; R. V. Jawalekar; Michael P. Mullen; Indira Nair; Barry K. Rosen (ICCD, 1994)

AVPGEN-A test generator for architecture verification. - Ashok K. Chandra; Vijay S. Iyengar; D. Jameson; R. V. Jawalekar; Indira Nair; Barry K. Rosen; Michael P. Mullen; J. Yoon; R. Armoni; Daniel Geist; Yaron Wolfsthal (IEEE Trans. Very Large Scale Integr. Syst., 1995)

SimAPI - A common programming interface for simulation. - Gary G. Hallock; Edward J. Kaminski Jr.; Kevin M. Lasko; Michael P. Mullen (IBM J. Res. Dev., 1997)

Functional verification of the CMOS S/390 Parallel Enterprise Server G4 system. - Bruce Wile; Michael P. Mullen; Cara Hanson; Dean G. Bair; Kevin M. Lasko; Patrick J. Duffy; Edward J. Kaminski Jr.; Thomas E. Gilbert; Steven M. Licker; Robert G. Sheldon; William D. Wollyung; William J. Lewis; et al. (IBM J. Res. Dev., 1997)

Functional verification of the z990 superscalar, multibook microprocessor complex. - Dean G. Bair; Steven M. German; William D. Wollyung; Edward J. Kaminski Jr.; James Schafer; Michael P. Mullen; William J. Lewis; Rebecca Wisniewski; Joerg Walter; Steven Mittermaier; Visda Vokhshoori; Robert J. Adkins; et al. (IBM J. Res. Dev., 2004)