Design verification and emulation of a multichip high-speed GaAs RISC processor using soft-programmable logic | IEEE Conference Publication | IEEE Xplore