Addressing verification challenges of heterogeneous systems based on IBM POWER9Klaus-Dieter SchubertS.S. Abraret al.2018IBM J. Res. Dev