Verificación de cores RTL (Register-Transfer Level)