pll lib for fractional divider

Hi Andrew,

I vaguely remember that there's Cadence tutorial and workshop on fractional n pll sim/verification and there's a library for it (pllLib).  However, I don't recall the details and wonder if you could help point me to the path for this document?

thanks,

Kev