硬件验证语言
硬件验证语言（英语：hardware verification language, 缩写为 HVL）是一种用硬件描述语言（HDL）编写、用于电子电路设计验证的编程语言。硬件验证语言通常具有类似C++或Java这样高级语言的特点，同时又提供硬件描述语言那样的位运算功能。许多硬件验证语言能够生成带约束的随机激励，并提供了功能覆盖结构，来辅助设计人员进行复杂的硬件验证。
SystemVerilog、OpenVera和SystemC是最常用的硬件验证语言[1][2]。其中，SystemVerilog更是将硬件描述语言与硬件验证语言合并到单一标准。
参考文献
- ^ The ASIC Guy Verification Poll. [2012-08-25]. （原始内容存档于2012-09-28）.
- ^ DVCon Language Poll. [2012-08-25]. （原始内容存档于2012-02-27）.
外部链接
- Think Verification: http://www.thinkverification.com/ （页面存档备份，存于互联网档案馆）
