regarding .XDC files: The PMOD pin assignment is dummy. in reality these pins are on JX2 header ! There is no PL PMOD on microzed. The microzed PMOD is connected to MIOs.