错误功能流程SpringSoft宣布新版CERTITUDE功能验证品管系统重大发展_我的网站

错误功能流程SpringSoft宣布新版CERTITUDE功能验证品管系统重大发展

点击:
有关机器原点问题的解说(Mark定位原理),[已关闭]患者心脏英国科学家发明心脏“遥控器” 能够预防猝死半导体销售额美元半导体产业发飚 分析预言不可能二次探底成都资产半导体成芯半导体挂牌延期后仍未成交解决方案天线功能SiGe发布移动设备用集成式硅WiFi前端IC内存英特尔颗粒DDR4亮相 海力士IDF展多款内存首发(图)CP642为什么测中心的时候吸咀转错位?高工指示,我新手上路哦谢谢处理器英特尔性能整合才是王道 CPU融合之势以强力来袭中国产业德国德国市场转冷 中国太阳能光伏产业面临洗牌?

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)支持。


三星面板韩国LG再推迟华8.5代线开工 或转向OLED面板时段系统功耗未来的能源需求如何影响电源管理芯片技术的发展电源电压技术凌力尔特:汽车和通信仍是公司重点领域韩元半导体业者海力士预言:DRAM厂 四家将出局摘要美元架构电子早9点:2010年WAPI十大发展回顾负载传感器电流I系列LSE应用工作原理面板技术产业软电触控面板技术研发联盟 催生R2R生产技术光纤功率效率nLIGHT推出基于InP的1400 nm—2000 nm发光二极管深圳方案中国深圳集成电路展即将登场 国产IC助推珠三角产业升级

0.64415311813354 s