富士通半导体运用SpringSoft的CERTITUDE功能验证品管系统

SpringSoft今天宣布，Certitude功能验证品管系统获富士通半导体有限公司(Fujitsu Semiconductor, FSL)选用。Certitude软件让该公司汽车事业部的设计工程师能够提高验证环境与知识产权(IP)设计组件的质量，这是开发各种汽车电子应用所需微控制器(MCU)解决方案的关键。

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

富士通半导体汽车事业部总经理Yasuaki Dokko先生表示：「供应装置给汽车市场时，我们目前的验证环境足以满足目前所需的质量。但藉由使用Certitude我们更能够客观地衡量自身验证环境的质量，做更进一步的改善。将Certitude系统引进到我们的『Cedar』 ASIC 设计服务流程及以覆盖率驱动的验证环境里，我们可以得到更扎实可靠的验证。我们相信这可以帮助我们提供更高质量的产品给客户。

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

SpringSoft产品营销处长George Bakewell表示：「对于富士通半导体的汽车设计团队而言，确保嵌入式IP与微控制器解决方案的最高质量是最重要的，这需要最新的验证环境与技术。Certitude为以RTL为基础的工具和作法提供顺畅、高度自动化的验证流程，尽早找出最大的问题、更快速揭露验证工作的主要漏洞，以及产生比传统涵盖方法更完整而且客观的结果。」