Pipelined version of the E32 RISC-V system - View it on GitHub