magma version of the xilinx picoblaze processor