2004 |
6 | EE | 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 Journal of Research and Development 48(3-4): 347-366 (2004) |
1997 |
5 | EE | 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 Journal of Research and Development 41(4&5): 549-566 (1997) |
4 | EE | Gary G. Hallock,
Edward J. Kaminski Jr.,
Kevin M. Lasko,
Michael P. Mullen:
SimAPI - A common programming interface for simulation.
IBM Journal of Research and Development 41(4&5): 601-610 (1997) |
1995 |
3 | EE | 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. VLSI Syst. 3(2): 188-200 (1995) |
1994 |
2 | | 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: 454-459 |
1992 |
1 | | 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 Journal of Research and Development 36(4): 751-764 (1992) |