Currently, power electronics converters in microgrids have increased their application and complexity; as a result, innovative design methodologies are required. Hardware-in-the-Loop real-time emulations arise as an interesting modeling alternative to study the behavior of power converters for demanding conditions such as the integration to microgrids. This work presents in detail a method to design and implement in FPGA models of power converters to Hardware-in-the-Loop real-time emulations. These models are described by the Systems Modeling Language (SysML) and the HiLeS formalism. The proposed approach transforms high level model descriptions from SysML diagrams to HiLeS formalism and Petri nets for implementations in FPGA. Finally, the results of these implementations in embedded hardware are compared with conventional methods of simulation.