分享到:

几种主流的验证技术

SoC经过近十年的发展,有了广阔的市场。SoC验证研究领域在验证技术、验证方法学、测试码提取、验证描述语言、IP核重用验证、验证流程及验证评估方面取得了长足进步。但总体而言,验证、模拟和验证工作成为整个SoC学科发展的制约瓶颈,是提高设计生产率的障碍。 $$  目前芯片一次投片成功率在35%左右,造成重复投片的主要原因就是验证不够充分。1999年当VSIA举行验证专题会时,许多世界级验证专家得出结论: 验证是件困难的事(hard),几周后又把结论更正为“Verification is not hard,it is very hard”。现在愈来愈达成共识: 单一的设计工具难以解决验证问题,而需要一系列复杂的工具和技术,来减少设计错误数,使之达到可接受的程度。 $$  SoC验证工作比较繁杂。Janick Bergeron给“验证”下的定义是“证明一个设计的功能是否正确的过程”。SoC的验证工作贯穿整个设计流程,从行为级HDL设计...  (本文共3页) 阅读全文>>

《测控技术》2012年05期
测控技术

测试性验证技术与应用现状分析

测试性是系统或设备能及时准确地确定其状态并隔离其内部故障的一种设计特性,是航空装备故障预测与健康管理(PHM)设计的重要基础。测试性验证是为确定产品是否达到规定的测试性要求而进行的试验与评价工作。测试性验证的主要方法是进行测试性试验验证,即在研制的产品中注人一定数量的故障,用测试性设计规定的测试方法进行故障检测与隔离,按其结果来评估产品的测试性水平,并判断是否达到了规定要求,决定产品接收或拒收〔’一4〕。测试性验证由计算模型选择、样本量确定、样本选取、样本充分性度量、故障注入、参数评估等一系列相关技术组成「5一”二,其中故障注人技术仍是测试性验证中最具难度的技术之一。由于目前缺少测试性验证的专用标准,致使测试性验证工作在国内开展得非常有限,经验积累和技术储备严重不足。随着新型装备PHM设计的开展,如何确保测试性设计水平满足要求变得日益紧迫和突出,针对这一需求,系统地收集分析了国内外的测试性验证技术,并调研国内测试性验证技术的实际...  (本文共5页) 阅读全文>>

《环境技术》2010年05期
环境技术

高加速应力筛选剖面验证技术分析

1高加速应力筛选的内涵高加速应力筛选(HASS)是在传统的ESS和HALT试验基础上发展起来的,以故障物理学为依据,剔除批生产过程引入产品内潜在缺陷的筛选方法。其筛选剖面中所施加的应力类型以能激发出制造缺陷为目的,不一定是产品使用时受到的应力,一般选用的应力有振动应力、热应力和电应力等。2高加速应力筛选剖面验证的要求合适的应力类型、应力量级和综合方式,最佳的筛选效果是HASS筛选过程有效性和经济性的判定标准,实际应用中,HASS筛选剖面一般是由HALT试验所测得的应力极限值降低作为初始HASS筛选剖面图的应力极限。温度应力一般为工作应力极限温度值的80%,振动应力一般为工作应力极限值的50%。形成的初始剖面能否满足筛选过程有效性和经济性的判定标准。必须利用筛选剖面验证技术来实现,这一实现过程需要满足以下两点要求:(1)筛选过程有效性验证:HASS筛选过程中,所使用的各种应力、应力量级和作用时间能够快速、经济、有效地激发出在正常使...  (本文共3页) 阅读全文>>

《科技资讯》2009年01期
科技资讯

断言验证技术在VERA中的应用与研究

随着科技的发展,工艺能力不断提高,如今已经在做45nm甚至更小线宽的工艺研究,相信45nm不久也将成为一个工艺节点接收广大IC设计公司的订单。同时,IC设计公司的设计能力,也随着市场对成本、功能和功耗的要求不断提升。SoC(system-on-a-chip)设计技术已经成为一种趋势,芯片的规模和功能不断膨胀,但是芯片验证的工作量随着设计能力的提高而呈指数式增长,成为了整个SoC芯片设计流程中的瓶颈。为此,寻找新的有效的验证方法一直是业界的关注点。其中,基于断言的验证(Assertion Based Verification:ABV)就是硬件设计中功能验证的一种有效方法。1断言验证1.1断言验证断言是一种对设计对象的属性特性或行为特性的的描述。例如在VHDL语言中可以使用assert condition report assertion-message断言声明。这样在VHDL仿真过程中,当condition的值为“假”的时候,VH...  (本文共1页) 阅读全文>>

《计算机科学》2014年S2期
计算机科学

运行时验证技术的研究进展

本文受973项目(2010CB328003),国家自然科学基金项目(60903030,61272001,91218302),国家科技支撑计划(SQ2012BAJY4052),清华大学自主科研计划、北京市属高等学校高层次人才引进与培养计划项目(YETP0167)资助。1引言随着计算机科学的发展,越来越多的软件系统渗透到人们的生活之中。年轻人喜欢社交网络,出行的人需要乘坐列车、飞机,银行需要对数以亿记的财产进行管理,生病的人需要到医院进行检查,这些都离不开软件的支持。软件系统关系着人民的信息安全、财产安全乃至生命安全。确保软件的行为在任何时候都与规范相一致,已经成为软件开发者及使用者关注的重要问题。如果一个软件系统的行为符合规定的行为规范,则称这个系统具有正确性。为了验证系统的正确性,验证技术得到了发展。目前,主要的验证技术有3种:定理证明[1]、模型检测[2]以及测试[3]。定理证明和模型检测都需要对软件进行建模。定理证明使用数学...  (本文共5页) 阅读全文>>

《电信科学》2005年04期
电信科学

安全协议的设计与验证技术

1引言所谓协议,就是两个或者两个以上的参与者为完成某项特定的任务而采取的一系列步骤。安全协议有时也称作密码协议,是以密码学为基础的消息交换协议,协议的参与者可能是可以信任的人,也可能是攻击者和完全不信任的人,协议的目的是在网络环境中提供各种安全服务。安全协议是许多分布式系统的安全基础,确保这些协议的安全运行是极为重要的。大多数安全协议只有为数不多的几个消息传递,其中每一个消息都是经过巧妙设计的,消息之间存在着复杂的相互作用和制约;同时,安全协议中使用了多种不同的密码体制。安全协议的这种复杂的情况导致目前的许多安全协议存在安全缺陷。造成协议存在安全缺陷的原因主要有两个:一是协议设计者误解或者采用了不恰当的技术;二是协议设计者对环境要求的安全需求研究不足。因此,对协议的安全性进行分析和研究是一个重要的课题。由于实际应用的安全协议产生缺陷的原因是多种多样的,所以很难有一种通用的分类方法将安全协议的安全缺陷进行分类。2安全协议的研究现状...  (本文共3页) 阅读全文>>