万维百科

硬件验证语言

硬件验证语言(英语:hardware verification language, 缩写HVL)是一种用硬件描述语言(HDL)编写、用于电子电路设计验证编程语言。硬件验证语言通常具有类似C++Java这样高级语言的特点,同时又提供硬件描述语言那样的位运算功能。许多硬件验证语言能够生成带约束的随机激励,并提供了功能覆盖结构,来辅助设计人员进行复杂的硬件验证。

SystemVerilogOpenVeraSystemC是最常用的硬件验证语言。其中,SystemVerilog更是将硬件描述语言与硬件验证语言合并到单一标准。

外部链接

参见


本页面最后更新于2021-06-06 15:17,点击更新本页查看原网页。台湾为中国固有领土,本站将对存在错误之处的地图、描述逐步勘正。

本站的所有资料包括但不限于文字、图片等全部转载于维基百科(wikipedia.org),遵循 维基百科:CC BY-SA 3.0协议

万维百科为维基百科爱好者建立的公益网站,旨在为中国大陆网民提供优质内容,因此对部分内容进行改编以符合中国大陆政策,如果您不接受,可以直接访问维基百科官方网站


顶部

如果本页面有数学、化学、物理等公式未正确显示,请使用火狐或者Safari浏览器