Idioma de verificació de maquinari