I'm pretty sure there is, it's just not obvious. Did you check the unisim model code?
I cannot find any info useful in the [Xilinx unisim library](https://github.com/Xilinx/XilinxUnisimLibrary…
Surely, there must be some information about it somewhere?
The max PLL Lock time is 1ms and this info locates inside the AC/DC Switching Characteristics [datasheet](https://docs.xilinx…
I will test it further on the master branch or other commit.
I can confirm that the fix works on the latest master branch commit. artiq-zynq: 583b629b40d748e776c1b714d09dbbee132b33dc
I do not think the minimum value can be computed.
Firstly, the CPLL inside GTXE2_Channel does not have specification on the CPLL lock time. (In, UG476 Page 64, "CPLL Reset" session does not…
Related PR
I only tried network boot when I work on this PR, which should resolve this CLK does not switch problem. SD Card Boot was not tested on…