ハードウェア記述言語（ハードウェアきじゅつげんご、英:hardwaredescriptionlanguage、HDL）は、デジタル回路、特に集積回路を設計するためのコンピュータ言語ないしドメイン固有言語（DSL）である。
硬件验证语言（英语：hardwareverificationlanguage,缩写为HVL）是一种用硬件描述语言（HDL）编写、用于电子电路设计验证的编程语言。