At the beginning I downloaded the CW-305-DesignStart that contains the Cortex_M3 core. I generated the bitstream and everything went well.
The problem is when I am adding an AXI Timer to the block diagram, I am having the following error: "[Synth 8-439] module 'm3_for_arty_a7_auto_pc_0' not found" when doing the synthesis step (full error in the image below).
Any fix for this problem or an alternative solution? My goal is to count the time (clock cycles) elapsed according to the CPU clock.