A high efficiency PWM buck DC/DC converter high-level model and verification | IEEE Conference Publication | IEEE Xplore