思源科技（SpringSoft）日前宣佈，凌陽科技採用該公司Certitude功能驗證系統，是一種能夠提高硬體驗證的效率，並產生高品質的多媒體IC設計解決方案。

Certitude軟體可檢查出驗證環境的主要漏洞，此漏洞可能使臭蟲在RTL設計中（register transfer level，暫存器轉移層級）無法被發現。透過將Certitude自動化技術與分析功能整合到硬體驗證環境中，凌陽科技工程師能夠運用功能驗證方法以提高成果品質。

思源科技行銷處長George Bakewell表示，運用既有程式與功能涵蓋技術來判斷客戶的驗證環境是否足以掌握大部分的RTL臭蟲，是一大挑戰。這些技術無法提供足夠的資料，幫助工程師們客觀地衡量自己的環境品質。凌陽科技瞭解運用功能驗證來分析自己的驗證成效的價值所在，尤其是對於尖端設計而言。Certitude為凌陽工程師們提供以RTL為基礎的工具與數據，以提高驗證的品質與完整性。

該公司表示，Certitude系統具備與既有工具流程的相互操作性，並且與現有全部功能驗證方法完全相容，也是思源科技的Novas功能驗證強化產品系列中的一環，讓工程師們能夠以更短的時間完成更多驗證工作。