Hi, Tommy,
I am working on phase-domain modeling too. You can
refer to the pll library paper from Cadence. But I think
if you would like to make a use of it, you probably need
to make some modifications on the codes. You can find
the paper at
www.cadence.com/whitepapers/pllapp_note.pdfgogomi