Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
John M. Ludden
2010 – today
- 2010
[c2]John M. Ludden, Michal Rimon, Bryan G. Hickerson, Allon Adir: Advances in Simultaneous Multithreading Testcase Generation Methods. Haifa Verification Conference 2010: 146-160
2000 – 2009
- 2005
- [j2]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
- [c1]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
- [j1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:00 CET by the dblp team