透過以人工智慧驅動的驗證方法快速有效地達到覆蓋率目標

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

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


技術白皮書下載

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