Modeling and testing the Gekko microprocessor, an IBM PowerPC derivative for Nintendo | IEEE Conference Publication | IEEE Xplore