Michael P. Mullen

Publication Activity (10 Years)

Years Active: 1992-2004
Publications (10 Years): 0

Publications

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, Michael Halas, Thomas Ruane, Ursel Hahn
Functional verification of the z990 superscalar, multibook microprocessor complex. IBM J. Res. Dev. 48 (3-4) (2004)
Gary G. Hallock, Edward J. Kaminski Jr., Kevin M. Lasko, Michael P. Mullen
SimAPI - A common programming interface for simulation. IBM J. Res. Dev. 41 (4&5) (1997)
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, Robert J. Adkins
Functional verification of the CMOS S/390 Parallel Enterprise Server G4 system. IBM J. Res. Dev. 41 (4&5) (1997)
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
AVPGEN-A test generator for architecture verification. IEEE Trans. Very Large Scale Integr. Syst. 3 (2) (1995)
Ashok K. Chandra, Vijay S. Iyengar, R. V. Jawalekar, Michael P. Mullen, Indira Nair, Barry K. Rosen
Architectural Verification of Processors Using Symbolic Instruction Graphs. ICCD (1994)
Dennis F. Ackerman, Mark H. Decker, Joseph J. Gosselin, Kevin M. Lasko, Michael P. Mullen, Ruth E. Rosa, Ernest V. Valera, Bruce Wile
Simulation of IBM Enterprise System/9000 Models 820 and 900. IBM J. Res. Dev. 36 (4) (1992)