Update mips-pipe.v