思源科技（Springsoft）于日前宣布，Certitude功能验证系统已获富士通半导体选用。Certitude软件将协助该公司汽车事业部的设计工程师，能够提高验证环境与智能财产(IP)设计组件的质量，这是开发各种汽车电子应用所需微控制器(MCU)解决方案的关键。

日本的设计团队原本使用Certitude系统，来评估现有缓存器RTL仿真式验证环境的质量、提升内部IP质量，以及筛检第三方IP设计是否符合该公司汽车应用所需「FR」产品系列(32bit RISC CPU)的质量要求。基于目前为止的正向成果，富士通半导体将扩大部署Certitude软件以供德国兰根与慕尼黑团队使用，着手开发新一代汽车半导体产品。

富士通半导体设计团队，使用Certitude先进的变异基础测试技术、智能型侦测算法，以及独家反复式的开发方法，以取得彻底验证的早期指针，快速找出和修正错误，以及提高testbench稳固性，以满足严格的汽车质量标准。此系统容易与思源科技屡获嘉奖的Verdi自动化侦错系统整合，让工程师们能够增强具体化、周延性以及验证结果的侦错。