TERMIUM Plus®
Par le Bureau de la traduction
Dans les médias sociaux
Consultez la banque de données terminologiques du gouvernement du Canada.
HARDWARE VERIFICATION LANGUAGE [7 fiches]
Fiche 1 - données d’organisme interne 2024-02-23
Fiche 1, Anglais
Fiche 1, Subject field(s)
- Programming Languages
- Electronic Circuits Technology
Fiche 1, La vedette principale, Anglais
- hardware verification language
1, fiche 1, Anglais, hardware%20verification%20language
correct
Fiche 1, Les abréviations, Anglais
- HVL 1, fiche 1, Anglais, HVL
correct
Fiche 1, Les synonymes, Anglais
Fiche 1, Justifications, Anglais
Record number: 1, Textual support number: 1 CONT
A hardware verification language, or HVL, is a programming language used to verify the designs of electronic circuits written in a hardware description language. 2, fiche 1, Anglais, - hardware%20verification%20language
Fiche 1, Français
Fiche 1, Domaine(s)
- Langages de programmation
- Technologie des circuits électroniques
Fiche 1, La vedette principale, Français
- langage de vérification de matériel
1, fiche 1, Français, langage%20de%20v%C3%A9rification%20de%20mat%C3%A9riel
correct, nom masculin
Fiche 1, Les abréviations, Français
- HVL 1, fiche 1, Français, HVL
correct, nom masculin
Fiche 1, Les synonymes, Français
Fiche 1, Justifications, Français
Record number: 1, Textual support number: 1 CONT
Un langage de vérification de matériel [...] est un langage permettant de vérifier et [de] valider un circuit défini dans un langage de description de matériel [...] 1, fiche 1, Français, - langage%20de%20v%C3%A9rification%20de%20mat%C3%A9riel
Fiche 1, Espagnol
Fiche 1, Justifications, Espagnol
Fiche 2 - données d’organisme externe 2006-01-30
Fiche 2, Anglais
Fiche 2, Subject field(s)
- Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies) Fiche 2
Fiche 2, La vedette principale, Anglais
- hardware design language
1, fiche 2, Anglais, hardware%20design%20language
correct, normalisé
Fiche 2, Les abréviations, Anglais
- HDL 1, fiche 2, Anglais, HDL
correct, normalisé
Fiche 2, Les synonymes, Anglais
Fiche 2, Justifications, Anglais
Record number: 2, Textual support number: 1 DEF
design language with special language constructs and, sometimes, verification protocols, used to develop, analyze, and document a hardware design 1, fiche 2, Anglais, - hardware%20design%20language
Record number: 2, Textual support number: 1 OBS
hardware design language; HDL: term, abbreviation and definition standardized by ISO/IEC [ISO/IEC 2382-7:2000]. 2, fiche 2, Anglais, - hardware%20design%20language
Fiche 2, Français
Fiche 2, Domaine(s)
- Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s) Fiche 2
Fiche 2, La vedette principale, Français
- langage de conception de circuits
1, fiche 2, Français, langage%20de%20conception%20de%20circuits
correct, nom masculin, normalisé
Fiche 2, Les abréviations, Français
Fiche 2, Les synonymes, Français
- langage de conception matérielle 1, fiche 2, Français, langage%20de%20conception%20mat%C3%A9rielle
correct, nom masculin, normalisé
Fiche 2, Justifications, Français
Record number: 2, Textual support number: 1 DEF
langage de conception contenant des éléments de langage particuliers, et parfois des protocoles de vérification, pour développer, analyser et documenter la conception d'un matériel 1, fiche 2, Français, - langage%20de%20conception%20de%20circuits
Record number: 2, Textual support number: 1 OBS
langage de conception de circuits; langage de conception matérielle : termes et définition normalisés par l'ISO/CEI [ISO/IEC 2382-7:2000]. 2, fiche 2, Français, - langage%20de%20conception%20de%20circuits
Fiche 2, Espagnol
Fiche 2, Justifications, Espagnol
Fiche 3 - données d’organisme externe 2006-01-30
Fiche 3, Anglais
Fiche 3, Subject field(s)
- Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies) Fiche 3
Fiche 3, La vedette principale, Anglais
- requirement specification language
1, fiche 3, Anglais, requirement%20specification%20language
correct, normalisé
Fiche 3, Les abréviations, Anglais
Fiche 3, Les synonymes, Anglais
Fiche 3, Justifications, Anglais
Record number: 3, Textual support number: 1 DEF
specification language with special language constructs and, sometimes, verification protocols, used to develop, analyze, and document hardware requirements or software requirements, or both 1, fiche 3, Anglais, - requirement%20specification%20language
Record number: 3, Textual support number: 1 OBS
requirement specification language: term and definition standardized by ISO/IEC [ISO/IEC 2382-7:2000]. 2, fiche 3, Anglais, - requirement%20specification%20language
Fiche 3, Français
Fiche 3, Domaine(s)
- Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s) Fiche 3
Fiche 3, La vedette principale, Français
- langage de spécification de besoins
1, fiche 3, Français, langage%20de%20sp%C3%A9cification%20de%20besoins
correct, nom masculin, normalisé
Fiche 3, Les abréviations, Français
Fiche 3, Les synonymes, Français
Fiche 3, Justifications, Français
Record number: 3, Textual support number: 1 DEF
langage de spécification contenant des éléments de langage particuliers, et parfois des protocoles de vérification, pour développer, analyser et documenter des besoins d'un matériel ou d'un logiciel, ou des deux 1, fiche 3, Français, - langage%20de%20sp%C3%A9cification%20de%20besoins
Record number: 3, Textual support number: 1 OBS
langage de spécification de besoins : terme et définition normalisés par l'ISO/CEI [ISO/IEC 2382-7:2000]. 2, fiche 3, Français, - langage%20de%20sp%C3%A9cification%20de%20besoins
Fiche 3, Espagnol
Fiche 3, Justifications, Espagnol
Fiche 4 - données d’organisme externe 2006-01-30
Fiche 4, Anglais
Fiche 4, Subject field(s)
- Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies) Fiche 4
Fiche 4, La vedette principale, Anglais
- design language
1, fiche 4, Anglais, design%20language
correct, normalisé
Fiche 4, Les abréviations, Anglais
Fiche 4, Les synonymes, Anglais
Fiche 4, Justifications, Anglais
Record number: 4, Textual support number: 1 DEF
specification language with special language constructs and, sometimes, verification protocols, used to develop, analyze, and document the design of hardware or software 1, fiche 4, Anglais, - design%20language
Record number: 4, Textual support number: 1 OBS
design language: term and definition standardized by ISO/IEC [ISO/IEC 2382-7:2000]. 2, fiche 4, Anglais, - design%20language
Fiche 4, Français
Fiche 4, Domaine(s)
- Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s) Fiche 4
Fiche 4, La vedette principale, Français
- langage de conception
1, fiche 4, Français, langage%20de%20conception
correct, nom masculin, normalisé
Fiche 4, Les abréviations, Français
Fiche 4, Les synonymes, Français
Fiche 4, Justifications, Français
Record number: 4, Textual support number: 1 DEF
langage de spécification contenant des éléments de langage particuliers, et parfois des protocoles de vérification, pour développer, analyser et documenter la conception d'un matériel ou d'un logiciel 1, fiche 4, Français, - langage%20de%20conception
Record number: 4, Textual support number: 1 OBS
langage de conception : terme et définition normalisés par l'ISO/CEI [ISO/IEC 2382-7:2000]. 2, fiche 4, Français, - langage%20de%20conception
Fiche 4, Espagnol
Fiche 4, Justifications, Espagnol
Fiche 5 - données d’organisme interne 2004-08-27
Fiche 5, Anglais
Fiche 5, Subject field(s)
- Programming Languages
- Computer Graphics
Fiche 5, La vedette principale, Anglais
- design language
1, fiche 5, Anglais, design%20language
correct, normalisé
Fiche 5, Les abréviations, Anglais
- DL 2, fiche 5, Anglais, DL
correct
Fiche 5, Les synonymes, Anglais
Fiche 5, Justifications, Anglais
Record number: 5, Textual support number: 1 DEF
A specification language with special constructs and, sometimes, verification protocols, used to develop, analyze, and document the design of hardware or software. 3, fiche 5, Anglais, - design%20language
Record number: 5, Textual support number: 1 OBS
Term and definition standardized by ISO/IEC. 4, fiche 5, Anglais, - design%20language
Fiche 5, Français
Fiche 5, Domaine(s)
- Langages de programmation
- Infographie
Fiche 5, La vedette principale, Français
- langage de conception
1, fiche 5, Français, langage%20de%20conception
correct, nom masculin, normalisé
Fiche 5, Les abréviations, Français
Fiche 5, Les synonymes, Français
Fiche 5, Justifications, Français
Record number: 5, Textual support number: 1 DEF
Langage de spécification contenant des outils particuliers, et parfois des protocoles de vérification, pour développer, analyser et documenter la conception d'un matériel ou d'un logiciel. 2, fiche 5, Français, - langage%20de%20conception
Record number: 5, Textual support number: 1 OBS
Terme et définition normalisés par l'ISO/CEI. 3, fiche 5, Français, - langage%20de%20conception
Fiche 5, Espagnol
Fiche 5, Campo(s) temático(s)
- Lenguaje de programación
- Gráficos de computadora
Fiche 5, La vedette principale, Espagnol
- lenguaje de análisis
1, fiche 5, Espagnol, lenguaje%20de%20an%C3%A1lisis
nom masculin
Fiche 5, Les abréviations, Espagnol
Fiche 5, Les synonymes, Espagnol
Fiche 5, Justifications, Espagnol
Record number: 5, Textual support number: 1 DEF
Lenguaje de programación cuyas instrucciones y sintaxis facilitan su uso para la ejecución de un trabajo de diseño. 1, fiche 5, Espagnol, - lenguaje%20de%20an%C3%A1lisis
Fiche 6 - données d’organisme interne 1999-01-18
Fiche 6, Anglais
Fiche 6, Subject field(s)
- Systems Analysis (Information Processing)
- Programming Languages
Fiche 6, La vedette principale, Anglais
- requirement specification language
1, fiche 6, Anglais, requirement%20specification%20language
correct, normalisé
Fiche 6, Les abréviations, Anglais
Fiche 6, Les synonymes, Anglais
Fiche 6, Justifications, Anglais
Record number: 6, Textual support number: 1 DEF
A specification language with special constructs and, sometimes, verification protocols, used to develop, analyze, and document hardware requirements or software requirements, or both. 1, fiche 6, Anglais, - requirement%20specification%20language
Record number: 6, Textual support number: 1 OBS
requirement specification language: Term and definition standardized by ISO/IEC. 2, fiche 6, Anglais, - requirement%20specification%20language
Fiche 6, Français
Fiche 6, Domaine(s)
- Analyse des systèmes informatiques
- Langages de programmation
Fiche 6, La vedette principale, Français
- langage de spécification de besoins
1, fiche 6, Français, langage%20de%20sp%C3%A9cification%20de%20besoins
correct, nom masculin, normalisé
Fiche 6, Les abréviations, Français
Fiche 6, Les synonymes, Français
Fiche 6, Justifications, Français
Record number: 6, Textual support number: 1 DEF
Langage de spécification contenant des outils particuliers, et parfois des protocoles de vérification, pour développer, analyser et documenter des besoins d'un matériel ou d'un logiciel ou des deux. 1, fiche 6, Français, - langage%20de%20sp%C3%A9cification%20de%20besoins
Record number: 6, Textual support number: 1 OBS
langage de spécification de besoins : Terme et définition normalisés par l'ISO/CEI. 2, fiche 6, Français, - langage%20de%20sp%C3%A9cification%20de%20besoins
Fiche 6, Espagnol
Fiche 6, Justifications, Espagnol
Fiche 7 - données d’organisme interne 1995-10-20
Fiche 7, Anglais
Fiche 7, Subject field(s)
- Programming Languages
Fiche 7, La vedette principale, Anglais
- hardware design language
1, fiche 7, Anglais, hardware%20design%20language
correct, normalisé
Fiche 7, Les abréviations, Anglais
- HDL 1, fiche 7, Anglais, HDL
correct, normalisé
Fiche 7, Les synonymes, Anglais
Fiche 7, Justifications, Anglais
Record number: 7, Textual support number: 1 DEF
A design language with special constructs and, sometimes, verification protocols, used to develop, analyze, and document a hardware design. 1, fiche 7, Anglais, - hardware%20design%20language
Record number: 7, Textual support number: 1 OBS
hardware design language (HDL): Term and definition standardized by ISO/IEC. 2, fiche 7, Anglais, - hardware%20design%20language
Fiche 7, Français
Fiche 7, Domaine(s)
- Langages de programmation
Fiche 7, La vedette principale, Français
- langage de conception de circuits
1, fiche 7, Français, langage%20de%20conception%20de%20circuits
correct, nom masculin, normalisé
Fiche 7, Les abréviations, Français
Fiche 7, Les synonymes, Français
- langage de conception matérielle 1, fiche 7, Français, langage%20de%20conception%20mat%C3%A9rielle
correct, nom masculin, normalisé
Fiche 7, Justifications, Français
Record number: 7, Textual support number: 1 DEF
Langage de conception contenant des outils particuliers, et parfois des protocoles de vérification, pour développer, analyser et documenter la conception d'un matériel. 1, fiche 7, Français, - langage%20de%20conception%20de%20circuits
Record number: 7, Textual support number: 1 OBS
Termes et définition normalisés par l'ISO/CEI. 2, fiche 7, Français, - langage%20de%20conception%20de%20circuits
Fiche 7, Espagnol
Fiche 7, Justifications, Espagnol
Avis de droit d’auteur pour la banque de données TERMIUM Plus®
© Services publics et Approvisionnement Canada, 2026
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction
En vedette
GCtraduction (accessible uniquement sur le réseau du gouvernement du Canada)
Utilisez ce prototype d’intelligence artificielle pour traduire le contenu du gouvernement du Canada jusqu’au niveau Protégé B inclusivement. Réservé au personnel de certains ministères et organismes.
Outils d'aide à la rédaction
Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.
Lexiques et vocabulaires
Accédez aux lexiques et vocabulaires du Bureau de la traduction.
- Date de modification :