Hardware performance counters for Xilinx MicroBlaze processor