PPV-based modeling and event-driven simulation of injection-locked oscillators in SystemVerilog | IEEE Conference Publication | IEEE Xplore