M. P. Mullen

AVPGEN-A test generator for architecture verification

Ashok K. Chandra, V. Iyengar, David H. Jameson et al. · IEEE Transactions on Very Large Scale Integration (VLSI) Systems · 1995 · 74 citations

Engineering, Computer Engineering, Computer Science +12

Functional verification of the CMOS S/390 Parallel Enterprise Server G4 system

B. Wile, M. P. Mullen, Craig D. Hanson et al. · IBM Journal of Research and Development · 1997 · 18 citations

Engineering, Computer Engineering, Computer Science +17

Architectural verification of processors using symbolic instruction graphs

Ashok K. Chandra, V. Iyengar, R.V. Jawalekar et al. · 2002 · 17 citations

Engineering, Computer Engineering, Computer Science +16

Simulation of IBM Enterprise System/9000 Models 820 and 900

D. F. Ackerman, Martina Decker, J. J. Gosselin et al. · IBM Journal of Research and Development · 1992 · 11 citations

Engineering, Computer Engineering, Computer Science +15