思源科技（Springsoft）于日前宣布，Certitude功能验证系统将能够以更多元且更具效率的方式配置验证方法。新推出的自动侦测与验证环境检验功能是其中主要的创新，以更少的资源，迅速确认芯片验证环境中的潜在问题，同时持续改良验证流程。

功能验证就是确认芯片设计建置依据指定方式运作的流程。Certitude软件是市面上独家提供，能够客观验证IP与系统单芯片(SoC)设计检验机制与测试的工具。Certitude技术平台扩充的目的在于尽早、且更频繁地检查重要功能，确保验证环境拥有高信心水平的「signoff」质量。

思源科技的Certitude软件结合专利自动化技术，以及以变异为基础(mutation-based)的技术与静态分析，能够评估效能、确认重大缺失，并且改善HDL仿真验证的结果质量。换句话说，这套系统会将错误(人为变异)置入缓存器转换阶层(RTL)设计中，并且使用工程师选择的数字逻辑仿真工具，针对每一项变异进行测试。

测试结果包含详尽的错误启动(activation)、传递(propagation)与侦测等功能检测信息，以评估整体验证流程，同时找出并修正漏洞，譬如缺漏的功能查核、不完整的测试过程，以及基础架构问题。分析无法传递或验证环境无法侦测的错误，并准确地指出测试向量、观测性(observability)或结果检验程序的问题，进而协助修正。