Langage de vérification de matériel

Un langage de vérification de matériel (anglais : Hardware verification language, ou HVL) est un langage permettant de vérifier et valider un circuit défini dans un langage de description de matériel (HDL). Un HVL permet de constituer une série de stimuli et d…