Digital controller for a Boost circuit using a dsPIC30F