Using synthesis, simulation, and hardware emulation to prototype a pipelined RISC computer system | IEEE Conference Publication | IEEE Xplore