Klaus-Dieter Schubert, Syed Saif Abrar, Duane Averill, Ellen Bauman, Aaron C. Brown, Ron Cash, Debapriya Chatterjee, John Gullickson, Mark Nelson, Kevin A. Pasnik, Krishnan Sugavanam. Addressing verification challenges of heterogeneous systems based on IBM POWER9. IBM Journal of Research and Development, 62(4/5):11, 2018. [doi]
Abstract is missing.