hspice and spectre can simulate the PLL system on transistor level ,though it is very slow but it is only a accurate method. Verilog-A only simulate PLL on behavior level and be used in simple research or verification in advance.
It puzzle the IC design engineer to simulate PLL in sample and fast method.