SpringSoft新版Certitude功能验证系统提升侦测与检验功能

上网时间: 2011年06月08日? 我来评论 【字号: ? ?小】

关键字:SpringSoft? Certitude?

SpringSoft最近宣布Certitude功能验证品管系统的重大发展,能够以更多元且更具效率的方式配置验证方法。新推出的自动侦测与验证环境检验功能是其中主要的创新,能够以更少的资源,迅速确认芯片验证环境中的潜在问题,同时持续改良验证流程。

功能验证就是确认芯片设计建置依据指定方式运作的流程。Certitude软件是市面上独家提供,能够客观验证IP与系统单芯片(SoC)设计检验机制与测试的工具。Certitude技术平台扩充的目的在于尽早、且更频繁地检查重要功能,确保验证环境拥有高信心水平的signoff质量。这项研发里程碑是SpringSoft的使命与产品蓝图中不可或缺的一环,目的是加速目前越趋复杂SoC设计的功能收敛。

SpringSoft产品营销部门处长George Bakewell表示:“Certitude逐渐成为功能验证signoff流程中不可或缺的一环,新版的Certitude提供崭新的自动化技术与基础架构,快速提供实用的芯片验证环境质量信息,让工程师们能够排定工作优先级,更有效地运用系统资源。更重要的是,我们也将这个功能验证使用模型延伸至更早期的验证流程,而不仅当作流程末期的单点工具而已,协助SoC团队拥有更高质量的设计,signoff更迅速。”

更完善的技术平台

SpringSoft的Certitude软件结合专利自动化技术以及以变异为基础(mutation-based)的技术与静态分析,能够评估效能、确认重大缺失,并且改善HDL仿真验证的结果质量。换句话说,这套系统会将错误(人为变异)置入缓存器转换阶层(RTL)设计中,并且使用工程师选择的数字逻辑仿真工具,针对每一项变异进行测试。测试结果包含详尽的错误启动(activation)、传递(propagation)与侦测等功能检测信息,以评估整体验证流程,同时找出并修正漏洞,譬如缺漏的功能查核、不完整的测试过程,以及基础架构问题。分析无法传递或验证环境无法侦测的错误,并准确地指出测试向量、观测性(observability)或结果检验程序的问题,进而协助修正。

Certitude技术平台新增错误侦测、排序与追踪功能,在整个验证流程中能够更迅速地提供重要信息回馈、缜密分析结果,并且简化错误分析。Certitude系统发现未检出(ND, Non-Detected)的错误时,会自动排除(drop)其他与此ND错误相关的错误,避免浪费宝贵的时间。这项功能最初以逻辑锥(logic cone)为基础,已经过多年的粹炼。这套系统现可运用延展逻辑锥方法,由单一锥体延展排除标准,进一步减少「噪声」因素,提供错误排除功能。工程师能够更迅速地找出应优先处理的ND错误。新的错误排序与优先排序功能可说明特定错误类别(fault class)中,那一个ND错误应率先分析,以及该使用那一个测试程序。特定ND错误的测试也会依据传输时对输出造成的影响为基准自动排序。

Certitude系统在找出足够的重要结果时会自动停止,如此一来工程师便能够持续分析、修正并排除问题。这项侦测自动停止功能有赖预先定义的标准,譬如优先错误类别以及类别中的ND错误,以验证目标为基础,定义出一个合理的中止点。除此之外,由于Certitude在不同作业间源代码经常变动,因此这套工具采用自动化错误ID架构,能够明确对应错误ID,让用来分析结果的报告内容维持一致性。

更简单完整的验证 Signoff

SpringSoft也将引进新使用模式做为Certitude平台扩充的一环,能够让Certitude配置在早期的验证流程中,评估环境侦测非特定行为的能力。在大多数的SoC验证环境中,检验程序基础架构基本上在所有撰写测试方案前就已就绪。这套新模式旨的设计主要在以更少的模拟资源,快速产生模拟结果,以便能在早期评估检验程序效能,并且指出问题所在,譬如不正确或漏失的查核程序。除此之外,SpringSoft的产品蓝图将进一步拓展Certitude应用范围,戮力实现完成度更高的功能验证sign-off工作。我们的研发成果涵盖各个领域,包括更完备的SoC层应用,以及强化的断言(assertion)支持。

相关阅读:
? SpringSoft新品可简化 FPGA 原型板与早期 SoC系统验证工作
? SpringSoft发表独家的自动化定制数字IC布局与绕线工具

标签 嵌入式系统??

[ 投票数:? ] 收藏 ??? 打印版 ??? 推荐给同仁 ??? 发送查询 ??? ?订阅杂志

评论
免费订阅资讯速递
信息速递-请选择您感兴趣的技术领域:
  • 安防监控
  • 便携设备
  • 消费电子
  • 通信与网络
  • 分销与服务
  • 制造与测试
  • 工业与医疗
  • 汽车电子
  • 计算机与OA
  • 电源管理
  • 无源器件与模组
  • 新能源
  • 供应链管理
论坛速递
相关信息
  • SpringSoft公司
  • SpringSoft公司简介
    SpringSoft(思源科技股份有限公司)为针对全球集成电路(Integrated Circuit,IC)设计业者提供电子设计自动化(Electronic Design Automation,EDA)软件及服务的领导厂商。SpringSoft已于台湾挂牌上市,为亚洲最大的公开上市电子设计自动化 (EDA) 软件公司,于台湾新竹科学园区及美国加州圣荷塞皆设有总部。
    SpringSoft公司主营产品
    SpringSoft公司产品线包含二大类别︰Novas 验证强化方案及Laker全定制IC设计解决方案。这二大解决方案的共通特性在于将IC设计及验证流程中大量繁琐耗时的步骤自动化,有助于提升设计生产力,并让工程师能有更多的时间专注于高附加价值的工作上。
    SpringSoft公司市场
    SpringSoft的产品在市场上已被广泛使用逾10年。目前,全世界数以千计任职于半导体及系统厂商的IC设计工程师们,通过使用思源科技开发的EDA解决方案节省了许多设计时间,其中包括全球前20大IC设计公司及整合组件制造厂(IDMs) 。SpringSoft一直致力于维持与客户间深厚的关系 (Novas验证强化方案已连续五年蝉联CMP旗下EETimes所做之EDA客户满意度调查第一名)。

  • 什么是Certitude?
  • 国际电子商情提供相关Certitude技术文章及相关Certitude新闻趋势,及更新最新相关Certitude电子产品技术

?新浪微博推荐
Global Sources


编辑推荐
?大家正在说


打开微信“扫一扫”,打开网页后点击屏幕右上角分享按钮

1.扫描左侧二维码
2.点击右上角的分享按钮
3.选择分享给朋友
电子元器件数据手册下载
数据手册搜索

Datasheets China.com

《汽车电子特刊》

汽车电子系统在现代的汽车中占有的比重越来越高,对产品设计的工程师来说,产品的设计和验证面临着很多的挑战。本期《汽车电子特刊》将会向您呈现ADI技术对于汽车电子行业的应用等,还有IIC汽车电子论坛的精彩回顾哦!

扫一扫,关注最新资讯

esmc