Michael L. Behm

2005
3	EE	Dave W. Victor, John M. Ludden, Richard D. Peterson, Bradley S. Nelson, W. Keith Sharp, James K. Hsu, Bing-Lun Chu, Michael L. Behm, Rebecca M. Gott, Audre D. Romonosky, Steven R. Farago: Functional verification of the POWER5 microprocessor and POWER5 multiprocessor systems. IBM Journal of Research and Development 49(4-5): 541-554 (2005)
2004
2	EE	Michael L. Behm, John M. Ludden, Yossi Lichtenstein, Michal Rimon, Michael Vinov: Industrial experience with test generation languages for processor verification. DAC 2004: 36-40
2002
1	EE	John M. Ludden, Wolfgang Roesner, Gerry M. Heiling, John R. Reysa, Jonathan R. Jackson, Bing-Lun Chu, Michael L. Behm, Jason Baumgartner, Richard D. Peterson, Jamee Abdulhafiz, William E. Bucy, John H. Klaus, Danny J. Klema, Tien N. Le, F. Danette Lewis, Philip E. Milling, Lawrence A. McConville, Bradley S. Nelson, Viresh Paruthi, Travis W. Pouarz, Audre D. Romonosky, Jeff Stuecheli, Kent D. Thompson, Dave W. Victor, Bruce Wile: Functional verification of the POWER4 microprocessor and POWER4 multiprocessor system. IBM Journal of Research and Development 46(1): 53-76 (2002)

Coauthor Index

1	Jamee Abdulhafiz	[1]
2	Jason Baumgartner	[1]
3	William E. Bucy	[1]
4	Bing-Lun Chu	[1] [3]
5	Steven R. Farago	[3]
6	Rebecca M. Gott	[3]
7	Gerry M. Heiling	[1]
8	James K. Hsu	[3]
9	Jonathan R. Jackson	[1]
10	John H. Klaus	[1]
11	Danny J. Klema	[1]
12	Tien N. Le	[1]
13	F. Danette Lewis	[1]
14	Yossi Lichtenstein	[2]
15	John M. Ludden	[1] [2] [3]
16	Lawrence A. McConville	[1]
17	Philip E. Milling	[1]
18	Bradley S. Nelson	[1] [3]
19	Viresh Paruthi	[1]
20	Richard D. Peterson	[1] [3]
21	Travis W. Pouarz	[1]
22	John R. Reysa	[1]
23	Michal Rimon	[2]
24	Wolfgang Roesner	[1]
25	Audre D. Romonosky	[1] [3]
26	W. Keith Sharp	[3]
27	Jeff Stuecheli	[1]
28	Kent D. Thompson	[1]
29	Dave W. Victor	[1] [3]
30	Michael Vinov	[2]
31	Bruce Wile	[1]