Hardware Verification Language
abstract:
A Hardware Verification Language, or HVL, is a programming language used to verify the designs of electronic circuits written in a hardware description language. HVLs typically include features of a high-level programming language like C++ or Java as well as features for easy bit-level manipulation similar to those found in HDLs.
Hardware Verification Language网络翻译
为了解决验证中存在的挑战，提高验证的完备性、可靠性、可重用性和验证效率，硬件验证语言（Hardware Verification Language，HVL）的重要作用也在业界引起了广泛的关注。
Hardware Verification Language双语例句
By practice proving, the verification of hardware circuits is an effective method in property specification language.
通过实践证明，用属性说明语言验证硬件电路是非常有效的验证方法。
相关单词
- ventriloquistn. 腹语术者；口技艺人
- vacancyn. 空缺，空职；（旅馆等的）空房，空间；无知，空虚；空隙，空处
- lockoutn. 闭厂，停工
- linguisticsn. 语言学
- linguistn. 精通外国语言的人；语言学家
- leotardn. 紧身连衣裤（杂技和舞蹈演员等穿的）
- laborern. 劳动者；工人
- holidaysadv. 每逢假日，在假日 v. 度假（holiday 的单三形式） n. 假日（holiday 的复数形式）
- headmistressn. 女校长
- handicraftsn. 手工艺（handicraft 的复数）；手工艺品
- vigorn. [生物]活力，精力 n. （Vigor）人名；（英、法）维戈尔
- head for前往；出发；取向于
- have an influence on对……有影响
- vouchern. 代金券，票券；收据，凭单；证人，保证人，证明者 v. 证实……的可靠性
- vouchvt. 担保；证明；传出庭作证 vi. 保证；证明；确定