Dead time generator for synchronous boost converters with GaN transistors