應對百萬門級系統級芯片驗證挑戰的可擴展解決方案
加入技術交流群
任何有效的系統驗證策略都必須提出這樣的前提條件，即系統實際上指的是整套系統，它包含的遠非數字邏輯那么局限。換而言之， 一套有意義的解決方案必須能夠解決數模信號混合問題，必須能夠提供為軟件、RTOS的驗證運行所必須依賴的環境，并將其聯系在一套統一的解決方案之中。
新的測試平臺組件正在進入今天的驗證方法之中，斷言的使用可能對質量和速度產生戲劇性的影響，因為驗證工作可以利用斷言來 開展。此外，某些更新的測試平臺組件正在出現。所有這些新的組件都將受到屬性的驅動，既而操控和利用屬性。這是未來的發展方向，現在開始已經變得異常光 明。這種自動化、基于屬性的驗證方法將推動驗證性能的提高，這也是縮短驗證鴻溝的必要條件。這事實上相當于10年之前設計路徑曾經享受過的綜合的好處。驗 證綜合還在發展之中，并將從根本上改變探討和處理驗證問題的方式。
評論