Addressing verification challenges of heterogeneous systems based on IBM POWER9 | IBM Journals & Magazine | IEEE Xplore