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