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