1) Assertion based verification
基于断言验证
2) assertion-based verification
基于断言的验证
1.
Assertion-based verification (ABV) with property specification language helps to formally characterize the behavior of the design.
基于断言的验证使用性质描述语言对系统的功能进行描述,并把这些描述写成相应的断言,通过验证工具检查断言是否成功,从而判断设计是否满足系统的功能要求。
3) Transaction Based Assertion Verification
基于事务断言验证
1.
Transaction Based Assertion Verification and Verification Platform of SDH Chip;
基于事务断言验证及SDH芯片验证平台
4) verifier-based
基于验证元
1.
The fundamental security goal of verifier-based password-authenticated key exchange protocol is security against dictionary attack and server compromise attack.
基于验证元的口令认证密钥交换协议的最基本安全目标是抵抗字典攻击和服务器泄露攻击。
5) Transaction-based verification
基于事务的验证
6) transaction based formal verification(TBFV)
基于事务的形式验证
补充资料：断言
断言
assertion
断盲脚留时妞.;。，移.曰.卜拿粤伽勺p万盛咖或s纽把-~)，(断亨)争匆((assej七Ve)sen让泊戊) 一个由其意义可断定其真假的陈述语句，在狭义下，数理逻辑中把它理解为逻辑一数学语言的一个闭公式，并且由其语言的语义(se江旧叮t心)可以断定其真假. 于是公理集合论中的各种数学命题，例如选择公擎~of咖让)，诊琴卿娜田掀加姻nh男沁th口is)等都能写成公式的形式;根据通常的语义法则、这个公式就表示了命题所包含的内容.但这决不意味着存在一个识别语言中命题的真假的方法.而且，语义学本身并未充分发展，或可以提供在解决某些断言真假的问题时会遇到的基本困难.在一个理论的框架内，某些断言的不可解性是由形式化方法(如m刘lza由n业血刃)阐明的(例如见公理集合论恤心。叮坦t允sett坛幻钾)).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条