Ya que utiliza un PLL para generar su reloj de 12.5MHz, la herramienta de síntesis conservará la relación de fase, sea la que sea. Esto significa que el análisis de tiempo informará correctamente cualquier ruta entre los dos relojes y le dirá si no puede satisfacer la relación de configuración / retención. Es probable que los relojes también estén alineados al borde, pero esto depende de la configuración del PLL.
Es fácil realizar una transferencia de dominio de reloj entre un 12.5MHz alineado a borde y 125MHz. Si la fuente se configura dentro de 8ns, el 125MHz encajará el valor sin problemas. La otra dirección también es fácil, excepto que debe mantener cualquier valor durante 10 ciclos de reloj de 125 MHz para asegurarse de que el reloj más lento trabaje con el nuevo valor (la herramienta no lo verificará).
A veces es preferible considerar los dos relojes asíncronos. Un caso de ejemplo sería si la relación de reloj es 11/13, puede ser imposible satisfacer los tiempos entre los relojes. En ese caso, considérelos asíncronos, coloque restricciones de ruta falsas y utilice FIFO, registros de sincronización o cualquier otra técnica para transferir datos.
En su caso, considérelos síncronos, no debería ser difícil cumplir con los tiempos si están alineados al borde o si su relación de fase no es del todo mala. También asegúrese de verificar el informe de tiempos, si las rutas de dominio cruzado no están allí, entonces sabrá que hay algo mal.