Diseño, implementación y verificación mediante modelos de cosimulación y hardware en el lazo de un control PI usando un FPGA