Klaus-Dieter Schubert, John M. Ludden, S. Ayub, J. Behrend, B. Brock, Fady Copty, S. M. German, O. Hershkovitz, H. Horbach, J. R. Jackson, K. Keuerleber, J. Koesters, L. S. Leitner, G. B. Meil, C. Meissner, R. Morad, A. Nahir, Viresh Paruthi, Richard D. Peterson, Randall R. Pratt, Michal Rimon, John Schumann. Solutions to IBM POWER8 verification challenges. IBM Journal of Research and Development, 59(1), 2015. [doi]
Abstract is missing.