AXI Timer IP Core - 3.1 English - PG300

A 32-bit AXI Timer IP core is used in the DisplayPort 1.4 RX Subsystem. The AXI Timer can be accessed through the AXI4 master interface for basic timer functionality in the system.