Jieun Jang, et al., “An Event-Driven Simulation Methodology for Integrated Switching Power Supplies in SystemVerilog,” ACM/IEEE Design Automation Conference (DAC), 2013. Link