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