中英▼
go top

assertion-based verification

网络释义专业释义

  基于断言的验证方法

...期、顺序相关的一系列操作的 时序和功能是否有 不符合规范的地方，为此研究出基于断言的验证方法(Assertion-based Verification)来推动验 证技术发展。

基于40个网页-相关网页

  基于断言的验证

验证方法提出了层次化的验证流程:结构化检查,基于断言的验证(assertion-based verification,ABV),对关键模块进行形式化验证。

基于12个网页-相关网页

短语

Complete Assertion Based Verification 全面的基于断言的验证

Transaction Based Assertion Verification 基于事务断言验证

  • 断言验证 - 引用次数：3

    There is also some new techniques and its application in thisdissertation, for example, assertion based verification.

    论文中还介绍了一些新的验证方法，如断言验证，及它们在覆盖率导向验证中的应用。

    参考来源 - 覆盖率导向的验证方法的研究与实现
    基于断言的验证

·2,447,543篇论文数据，部分数据来源于NoteExpress

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定