TERMIUM Plus®
From: Translation Bureau
On social media
Consult the Government of Canada’s terminology data bank.
HARDWARE VERIFICATION LANGUAGE [7 records]
Record 1 - internal organization data 2024-02-23
Record 1, English
Record 1, Subject field(s)
- Programming Languages
- Electronic Circuits Technology
Record 1, Main entry term, English
- hardware verification language
1, record 1, English, hardware%20verification%20language
correct
Record 1, Abbreviations, English
- HVL 1, record 1, English, HVL
correct
Record 1, Synonyms, English
Record 1, Textual support, English
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, record 1, English, - hardware%20verification%20language
Record 1, French
Record 1, Domaine(s)
- Langages de programmation
- Technologie des circuits électroniques
Record 1, Main entry term, French
- langage de vérification de matériel
1, record 1, French, langage%20de%20v%C3%A9rification%20de%20mat%C3%A9riel
correct, masculine noun
Record 1, Abbreviations, French
- HVL 1, record 1, French, HVL
correct, masculine noun
Record 1, Synonyms, French
Record 1, Textual support, French
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, record 1, French, - langage%20de%20v%C3%A9rification%20de%20mat%C3%A9riel
Record 1, Spanish
Record 1, Textual support, Spanish
Record 2 - external organization data 2006-01-30
Record 2, English
Record 2, Subject field(s)
- Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies) Record 2
Record 2, Main entry term, English
- hardware design language
1, record 2, English, hardware%20design%20language
correct, standardized
Record 2, Abbreviations, English
- HDL 1, record 2, English, HDL
correct, standardized
Record 2, Synonyms, English
Record 2, Textual support, English
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, record 2, English, - 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, record 2, English, - hardware%20design%20language
Record 2, French
Record 2, Domaine(s)
- Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s) Record 2
Record 2, Main entry term, French
- langage de conception de circuits
1, record 2, French, langage%20de%20conception%20de%20circuits
correct, masculine noun, standardized
Record 2, Abbreviations, French
Record 2, Synonyms, French
- langage de conception matérielle 1, record 2, French, langage%20de%20conception%20mat%C3%A9rielle
correct, masculine noun, standardized
Record 2, Textual support, French
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, record 2, French, - 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, record 2, French, - langage%20de%20conception%20de%20circuits
Record 2, Spanish
Record 2, Textual support, Spanish
Record 3 - external organization data 2006-01-30
Record 3, English
Record 3, Subject field(s)
- Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies) Record 3
Record 3, Main entry term, English
- requirement specification language
1, record 3, English, requirement%20specification%20language
correct, standardized
Record 3, Abbreviations, English
Record 3, Synonyms, English
Record 3, Textual support, English
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, record 3, English, - 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, record 3, English, - requirement%20specification%20language
Record 3, French
Record 3, Domaine(s)
- Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s) Record 3
Record 3, Main entry term, French
- langage de spécification de besoins
1, record 3, French, langage%20de%20sp%C3%A9cification%20de%20besoins
correct, masculine noun, standardized
Record 3, Abbreviations, French
Record 3, Synonyms, French
Record 3, Textual support, French
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, record 3, French, - 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, record 3, French, - langage%20de%20sp%C3%A9cification%20de%20besoins
Record 3, Spanish
Record 3, Textual support, Spanish
Record 4 - external organization data 2006-01-30
Record 4, English
Record 4, Subject field(s)
- Compartment - ISO/IEC JTC 1 Information Technology Vocabulary
Universal entry(ies) Record 4
Record 4, Main entry term, English
- design language
1, record 4, English, design%20language
correct, standardized
Record 4, Abbreviations, English
Record 4, Synonyms, English
Record 4, Textual support, English
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, record 4, English, - 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, record 4, English, - design%20language
Record 4, French
Record 4, Domaine(s)
- Tiroir - ISO/CEI JTC 1 Vocabulaire des technologies de l'information
Entrée(s) universelle(s) Record 4
Record 4, Main entry term, French
- langage de conception
1, record 4, French, langage%20de%20conception
correct, masculine noun, standardized
Record 4, Abbreviations, French
Record 4, Synonyms, French
Record 4, Textual support, French
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, record 4, French, - 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, record 4, French, - langage%20de%20conception
Record 4, Spanish
Record 4, Textual support, Spanish
Record 5 - internal organization data 2004-08-27
Record 5, English
Record 5, Subject field(s)
- Programming Languages
- Computer Graphics
Record 5, Main entry term, English
- design language
1, record 5, English, design%20language
correct, standardized
Record 5, Abbreviations, English
- DL 2, record 5, English, DL
correct
Record 5, Synonyms, English
Record 5, Textual support, English
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, record 5, English, - design%20language
Record number: 5, Textual support number: 1 OBS
Term and definition standardized by ISO/IEC. 4, record 5, English, - design%20language
Record 5, French
Record 5, Domaine(s)
- Langages de programmation
- Infographie
Record 5, Main entry term, French
- langage de conception
1, record 5, French, langage%20de%20conception
correct, masculine noun, standardized
Record 5, Abbreviations, French
Record 5, Synonyms, French
Record 5, Textual support, French
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, record 5, French, - langage%20de%20conception
Record number: 5, Textual support number: 1 OBS
Terme et définition normalisés par l'ISO/CEI. 3, record 5, French, - langage%20de%20conception
Record 5, Spanish
Record 5, Campo(s) temático(s)
- Lenguaje de programación
- Gráficos de computadora
Record 5, Main entry term, Spanish
- lenguaje de análisis
1, record 5, Spanish, lenguaje%20de%20an%C3%A1lisis
masculine noun
Record 5, Abbreviations, Spanish
Record 5, Synonyms, Spanish
Record 5, Textual support, Spanish
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, record 5, Spanish, - lenguaje%20de%20an%C3%A1lisis
Record 6 - internal organization data 1999-01-18
Record 6, English
Record 6, Subject field(s)
- Systems Analysis (Information Processing)
- Programming Languages
Record 6, Main entry term, English
- requirement specification language
1, record 6, English, requirement%20specification%20language
correct, standardized
Record 6, Abbreviations, English
Record 6, Synonyms, English
Record 6, Textual support, English
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, record 6, English, - requirement%20specification%20language
Record number: 6, Textual support number: 1 OBS
requirement specification language: Term and definition standardized by ISO/IEC. 2, record 6, English, - requirement%20specification%20language
Record 6, French
Record 6, Domaine(s)
- Analyse des systèmes informatiques
- Langages de programmation
Record 6, Main entry term, French
- langage de spécification de besoins
1, record 6, French, langage%20de%20sp%C3%A9cification%20de%20besoins
correct, masculine noun, standardized
Record 6, Abbreviations, French
Record 6, Synonyms, French
Record 6, Textual support, French
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, record 6, French, - 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, record 6, French, - langage%20de%20sp%C3%A9cification%20de%20besoins
Record 6, Spanish
Record 6, Textual support, Spanish
Record 7 - internal organization data 1995-10-20
Record 7, English
Record 7, Subject field(s)
- Programming Languages
Record 7, Main entry term, English
- hardware design language
1, record 7, English, hardware%20design%20language
correct, standardized
Record 7, Abbreviations, English
- HDL 1, record 7, English, HDL
correct, standardized
Record 7, Synonyms, English
Record 7, Textual support, English
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, record 7, English, - hardware%20design%20language
Record number: 7, Textual support number: 1 OBS
hardware design language (HDL): Term and definition standardized by ISO/IEC. 2, record 7, English, - hardware%20design%20language
Record 7, French
Record 7, Domaine(s)
- Langages de programmation
Record 7, Main entry term, French
- langage de conception de circuits
1, record 7, French, langage%20de%20conception%20de%20circuits
correct, masculine noun, standardized
Record 7, Abbreviations, French
Record 7, Synonyms, French
- langage de conception matérielle 1, record 7, French, langage%20de%20conception%20mat%C3%A9rielle
correct, masculine noun, standardized
Record 7, Textual support, French
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, record 7, French, - langage%20de%20conception%20de%20circuits
Record number: 7, Textual support number: 1 OBS
Termes et définition normalisés par l'ISO/CEI. 2, record 7, French, - langage%20de%20conception%20de%20circuits
Record 7, Spanish
Record 7, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2026
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
GCtranslate (available on the Government of Canada network only)
Use this artificial intelligence prototype to translate Government of Canada content up to and including Protected B. Available to employees of selected departments and agencies only.
Writing tools
The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.
Glossaries and vocabularies
Access Translation Bureau glossaries and vocabularies.
- Date Modified: