草榴社区

透过以人工智慧驱动的验证方法快速有效地达到覆盖率目标

草榴社区 VSO.ai?(验证空間優化)提供業界首款以人工智慧驅動的验证解决方案,可以自主工作,以盡可能快、盡可能便宜的方式,幫助验证團隊更快地實現覆蓋範圍收斂,且得到更高品質的結果。機器學習技術用於識別和消除迴歸中的冗餘,自動進行覆蓋率根本原因分析,並根據 RTL 和stimulus推斷覆蓋率,以識別覆蓋率差距並提供覆蓋率指引。

覆蓋範圍是所有現代半導體验证的核心。對於這個程序來說,最重要的格言是:「如果從來沒有實行過測試,就表示未曾真正完成验证。」儘管涵蓋晶片设计的特定層面並無法保證可以發現所有錯誤,另一方面,錯誤效應傳播(bug effect propagation)和檢查器品質也是關鍵因素;但毫無疑問的,在尚未執行的邏輯中不可能觸發錯誤。覆蓋率通常被視為發現錯誤的參考指標,也是使用基於模拟的測試進行验证的關鍵焦點。


技術白皮书下載

歡迎下載技術白皮书,瞭解更多關於VSO.ai如何透過人工智慧驅動验证,加速覆蓋收斂目標。