This paper presents the application of HiLeS (High Level Specification of Embedded Systems) formalism to design a supervisory controller based on FPGA for interleaved boost converters. This controller is intended to increase the versatility and efficiency of interleaved boost converters. Furthermore, the proposed supervisory controller uses Petri nets for structural analysis and stability. HiLeS-Designer tool, which is a platform based on HiLeS formalism, is used to design and implement the supervisory controller in embedded hardware. This approach uses the digital component of VHDL-AMS code generated by the HiLeS-Designer tool to implement the supervisory controller in FPGA. Simulations and experimental results show that the proposed control strategy increases the operating range and efficiency of interleaved boost converters.