Jieun Jang, et al., “PPV-based Modeling and Event-Driven Simulation of Injection-Locked Oscillators in SystemVerilog,” IEEE Custom Integrated Circuits Conference (CICC), 2014. Link