DSO.ai
由人工智慧驅動的設計應用
瞭解更多 →
透過以人工智慧驅動的驗證方法快速有效地達到覆蓋率目標
Synopsys VSO.ai™（驗證空間優化）提供業界首款以人工智慧驅動的驗證解決方案，可以自主工作，以盡可能快、盡可能便宜的方式，幫助驗證團隊更快地實現覆蓋範圍收斂，且得到更高品質的結果。機器學習技術用於識別和消除迴歸中的冗餘，自動進行覆蓋率根本原因分析，並根據 RTL 和stimulus推斷覆蓋率，以識別覆蓋率差距並提供覆蓋率指引。
覆蓋範圍是所有現代半導體驗證的核心。對於這個程序來說，最重要的格言是：「如果從來沒有實行過測試，就表示未曾真正完成驗證。」儘管涵蓋晶片設計的特定層面並無法保證可以發現所有錯誤，另一方面，錯誤效應傳播(bug effect propagation)和檢查器品質也是關鍵因素；但毫無疑問的，在尚未執行的邏輯中不可能觸發錯誤。覆蓋率通常被視為發現錯誤的參考指標，也是使用基於模擬的測試進行驗證的關鍵焦點。
技術白皮書下載
歡迎下載技術白皮書，瞭解更多關於VSO.ai如何透過人工智慧驅動驗證，加速覆蓋收斂目標。