Addressing verification challenges of heterogeneous systems based on IBM POWER9.
Klaus-Dieter SchubertSyed Saif AbrarDuane AverillEllen BaumanAaron C. BrownRon CashDebapriya ChatterjeeJohn GullicksonMark NelsonKevin A. PasnikKrishnan SugavanamPublished in: IBM J. Res. Dev. (2018)