I checked the GEL file to configure DDR4 to 800MHz (DDR-1600) as the maximum frequency, but it seems to be configured to 400MHz (DDR-800).
\ti\ccs910\ccs\ccs_base\emulation\boards\am65x\gel\M4_Common\M4_PLL_Common.gel
//Set to 400 MHz
#define DDR_M_FRAC_MULT 0
//1600MT/s (800MHz DDR)
#define DDR_M_INT_MULT 320
#define DDR_N_DIV 10-1
#define DDR_SD_DIV 4
#define DDR_M2_DIV 2
DDR_PLL_CLKOUT = DDR_CLKINP × ((DDR_M_INT_MULT + DDR_M_FRAC_MULT) / (DDR_N_DIV + 1)) × (1 / DDR_M2_DIV)
DDR_PLL_CLKOUT = 25.0MHz × ((320 + 0) / (9 + 1)) × (1 / 2) = 400MHz
Is my understanding correct?
Best regards,
Daisuke