VHDL-based modeling of a DC-DC boost converter | IEEE Conference Publication | IEEE Xplore