There is an error in one of the XPS Timer data files (xps_timer_v2_1_0.mpd) which declares that the core is level sensitive. The sensitivity of the XPS Timer Core should be edge sensitive.
You can make the xps_timer_v1_01_b local:
From:
PORT Interrupt = "", DIR = O, SIGIS = INTERRUPT, SENSITIVITY = LEVEL_HIGH, INTERRUPT_PRIORITY = HIGH
To:
PORT Interrupt = "", DIR = O, SIGIS = INTERRUPT, SENSITIVITY = EDGE_RISING, INTERRUPT_PRIORITY = HIGH
You can make the fix globally:
C:\Xilinx\11.1\EDK\hw\XilinxProcessorIPLib\pcores\xps_timer_v1_01_b\data\xps_timer_v2_1_0.mpd
from:
PORT Interrupt = "", DIR = O, SIGIS = INTERRUPT, SENSITIVITY = LEVEL_HIGH, INTERRUPT_PRIORITY = HIGH
to:
PORT Interrupt = "", DIR = O, SIGIS = INTERRUPT, SENSITIVITY = EDGE_RISING, INTERRUPT_PRIORITY = HIGH
This problem is scheduled to be fixed in 12.1.