Challenges in post-silicon verification of IBM’s Cell/B.E. and other game processors | IEEE Conference Publication | IEEE Xplore