Mixed-Level Design Methodology With SystemVerilog Behavior Models for Digitally Controlled Power Converter ICs | IEEE Conference Publication | IEEE Xplore