DragosB,
Ok. Apparently the VCO calibration was not finishing. I increased the delay from 1ms to 3ms, and now I am getting the "AD9517 PLL ok." message.
Unfortunately, I am still not able to see changes on the signals in Vivado's Hardware Manager; they are always 0.