思源科技（SpringSoft）日前宣布，凌阳科技采用该公司Certitude功能验证系统，是一种能够提高硬件验证的效率，并产生高质量的多媒体IC设计解决方案。

Certitude软件可检查出验证环境的主要漏洞，此漏洞可能使臭虫在RTL设计中（register transfer level，缓存器转移层级）无法被发现。透过将Certitude自动化技术与分析功能整合到硬件验证环境中，凌阳科技工程师能够运用功能验证方法以提高成果质量。

思源科技营销处长George Bakewell表示，运用既有程序与功能涵盖技术来判断客户的验证环境是否足以掌握大部分的RTL臭虫，是一大挑战。这些技术无法提供足够的数据，帮助工程师们客观地衡量自己的环境质量。凌阳科技了解运用功能验证来分析自己的验证成效的价值所在，尤其是对于尖端设计而言。Certitude为凌阳工程师们提供以RTL为基础的工具与数据，以提高验证的质量与完整性。

该公司表示，Certitude系统具备与既有工具流程的相互操作性，并且与现有全部功能验证方法完全兼容，也是思源科技的Novas功能验证强化产品系列中的一环，让工程师们能够以更短的时间完成更多验证工作。