Processor provided in the Xilinx EDK