Del concepto a la práctica: una máquina UVM automatizada asistida por LLM para la verificación RTL