ASSERTION相关论文
摘 要：饼干条件句是一种非经典条件句，其核心特点是后件的真值不依赖于前件。国外学者提出了四种分析方案，但是目前文献中甚少涉及汉......
随着移动应用的爆炸式增长,如何高效、正确地进行UI自动化测试成为了一个重要问题.传统自动化方法大多需手动编写测试脚本,自动化......
本文主要阐述了基于断言技术并结合动态仿真,形式测试,测试激励自动化等方法的新硬件验证平台,着重介绍了O-VA的特点及运用,并以LC......
弗雷格在研究逻辑和算术的关系时深切地认识到了语言的缺陷,因此他借鉴了数学思想,引入了断定、函数和自变元等符号,在传统逻辑自......
EDA界的标准化组织Accellera最近确定IBM的sugar语言为标准的属性说明语言,可以用于基于断言验证技术的设计属性说明.文章首先介绍......
介绍了SAML的主要特点,包括声明类型和SAML的标准体系结构,以及SAML在电子政务建设中的应用。针对目前电子政务系统中信任与授权服......
程序安全性验证是程序验证的重要部分。基于不变式生成,将程序的安全性验证转化为验证不变式集合是否蕴含表示安全性的逻辑公式。......
内核模式驱动程序一般运行于高CPU优先级别上,对操作系统的完整性和可靠性都有很大的影响,但比较难于调试.本文以目前广泛使用的Wi......
随着IP核设计的复杂程度不断提高，功能验证越来越受到重视。高效的断言验证技术被广泛应用到IP核验证上来。用Verilog HDL语言实现......
以描述逻辑ALCO@为基础研究知识更新。首先介绍ALCO@的语法和语义,然后引入确定集和冲突集的概念,并根据描述逻辑的Tableau判定算......
断定应该与谓词结合还是与句子内容结合？在这个问题上弗雷格的观点本来就不够一致。针对该问题，内涵语义学和境况语义学选择了不同的......
为了使断言与非断言的区分一目了然,吉奇引入弗雷格逻辑系统中的判断杠这一符号,将它添加在被断言的语句之前。但实际上,吉奇的这......
为了有效地监测程序的运行状态(如变量值、方法调用、程序控制流等),提出了一个通用的程序状态监测系统(PSMS).PSMS可以指定收集何......
提出了一种利用断言产生测试用例的白箱测试方法．该方法首先选定程序中某条语句作为目标节点，通过在目标节点的临界分支和必要分支上......
设计一种确保AFDX交换机数据帧发送和接收顺序保持一致的虚拟链路调度模块,实现对各端口虚拟链路校验请求的有序处理.通过HDL描述,......
随着SoC设计复杂程度的不断提高,芯片的功能验证面临的挑战越来越大。断言作为一种描述属性的方法,可以快速地验证设计代码是否满......
随着SoC设计复杂程度的不断提高,芯片的功能验证面临的挑战越来越大。断言作为一种描述属性的方法,可以快速地验证设计代码是否满......
为了更好地保证并提高计算机软件质量，在软件设计过程中采用了合约式程序设计方法。以大量程序运行轨迹数据为基础，以SQLServer2005......
摘 要：在当今信息社会中，程序质量是一个具有重要意义的热点问题。基于契约的程序设计是提高程序质量的重要且有效的技术，但是形式化......
传统的基于约束的随机矢量生成验证技术在验证过程中存在难于定位bug的缺点,从而增加了验证时间。文中将断言技术和随机矢量验证方......
断言（Assertions）是关于设计所做的“真相的声明”或“事实的说明”。断言的唯一目的是保证设计者的意图与最后生成电路逻辑功能的一......
预设、衍推、含意与断言这些概念都涉及一定条件下的语用推理，但预设、衍推和断言又不同于含意，且互不相同。含意的获取必须依靠话语......
本文介绍一种基于断言的形式验证与仿真验证相结合的面向SOC的新的混合验证方法，并简要介绍其在数据完整性验证方面的应用实例。......
提出了基于事务断言验证技术,用属性说明语言（Property Specification Language,PSL）描述系统的属性,用事务进行系统的验证,通过编程......
应用系统的安全问题一直备受重视,身份认证是一种常用的安全实现方式.本文分析了现有的身份认证方式的种种弊端,提出了一种基于SAM......
主要阐述了基于断言技术新硬件验证平台用于实时监测设计描述是否违反了设计目标，提出了OVA的特点及应用，并以LCDcontroller的sharp......
