PPV-Based Modeling and Event-Driven Simulation of Injection-Locked Oscillators in SystemVerilog | IEEE Journals & Magazine | IEEE Xplore