![]() | ![]() |
| 2011 | ||
|---|---|---|
| 2 | Robert H. Bell Jr., Matyas Sustik, David W. Cummings, Jonathan R. Jackson: Automatic performance model synthesis from hardware verification models. ICPE 2011: 463-468 | |
| 2002 | ||
| 1 | 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) | |
| 1 | Jamee Abdulhafiz | [1] |
| 2 | Jason Baumgartner | [1] |
| 3 | Michael L. Behm | [1] |
| 4 | Robert H. Bell Jr. | [2] |
| 5 | William E. Bucy | [1] |
| 6 | Bing-Lun Chu | [1] |
| 7 | David W. Cummings | [2] |
| 8 | Gerry M. Heiling | [1] |
| 9 | John H. Klaus | [1] |
| 10 | Danny J. Klema | [1] |
| 11 | Tien N. Le | [1] |
| 12 | F. Danette Lewis | [1] |
| 13 | John M. Ludden | [1] |
| 14 | Lawrence A. McConville | [1] |
| 15 | Philip E. Milling | [1] |
| 16 | Bradley S. Nelson | [1] |
| 17 | Viresh Paruthi | [1] |
| 18 | Richard D. Peterson | [1] |
| 19 | Travis W. Pouarz | [1] |
| 20 | John R. Reysa | [1] |
| 21 | Wolfgang Roesner | [1] |
| 22 | Audre D. Romonosky | [1] |
| 23 | Jeffrey Stuecheli (Jeff Stuecheli) | [1] |
| 24 | Matyas Sustik | [2] |
| 25 | Kent D. Thompson | [1] |
| 26 | Dave W. Victor | [1] |
| 27 | Bruce Wile | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page