Buck converter modeling in SystemVerilog for verification and virtual test applications | IEEE Conference Publication | IEEE Xplore