基于断言的验证

Assertion based validation

以上为机器翻译结果，快速获取精准的人工翻译结果，建议选择有道人工翻译

1
ABV
然后研究了高可信IP核的形式化规范验证技术,认为基于断言的验证(ABV)是对IP核进行功能验证的有效方法。基于断言的功能验证能及时、迅速地发现错误,并能实现基于功能覆盖率的验证,提高验证的充分性。
2
Assertion-Based Verification
验证方法提出了层次化的验证流程:结构化检查,基于断言的验证(assertion-based verification,ABV),对关键模块进行形式化验证。

短语

1
此断言将作为上下文的一部分提供，并驱动dynamic Assembler基于客户的位置选择特定的许可证验证服务实现。
Supplied as a part of the context, this assertion drives the Dynamic Assembler to choose a particular license verification service implementation based on the customer's location.
2
采用基于属性描述语言(psl)的断言检查对该控制器进行功能验证，以降低验证复杂度、提高验证速度和质量。
Assert checks of Property Specification Language (PSL) are used to verify functions of the controller to decrease verification complexity and enhance verification quality and speed.

点击反馈