Michael P. Mullen

According to our database, Michael P. Mullen authored at least 6 papers between 1992 and 2004.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2004

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, Michael Halas, Thomas Ruane, Ursel Hahn

IBM J. Res. Dev., 2004

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, Robert J. Adkins

IBM J. Res. Dev., 1997

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

1995

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

1994

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

Proceedings of the Proceedings 1994 IEEE International Conference on Computer Design: VLSI in Computer & Processors, 1994

1992

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