PLL-TRNG constraint programming