Techniques de modélisation et de simulation pour la vérification précise de PLLs à facteur de division entier

(Document en Anglais)