If you are looking for the theoretical background, the following research areas and papers often reference this specific simulator:
: Modules for implementing phase detectors, digital loop filters, and sigma-delta modulators. Download File Dsmpll.zip
(or similar variations on modeling PLLs in C++). Key Contents of the Zip File If you are looking for the theoretical background,