An event-driven simulation methodology for integrated switching power supplies in SystemVerilog | IEEE Conference Publication | IEEE Xplore