發布日期：2022-07-15 點擊率：62
在最近舉行的DesignCon大會的一個全體會議上,與會代表表示,沒有解決驗證問題的靈丹妙藥,雖然有些工具可以起到作用,但真正的問題是再造方法學(methodology)。
此次研討會覆蓋了IC驗證的全局,從功能到物理驗證。主持人Sergio Camerlo是思科系統互連及封裝工程總監,他指出驗證效果經常被忽略及低估。他提出了一個問題:我們如何從規范走向收斂？
ARM產品技術副總裁Dhrumil Gandhi表示,IP構建模塊的使用必不可少,模塊必須預先驗證,并且在系統級芯片(SoC)環境內可驗證。他接著指出,IP驗證問題包括模型到硅片相關性、可制造性、設計裕度和靈敏度分析等。
Verisity公司研究與戰略技術副總裁Yaron Kashai引用1998 Nortel研究表示,驗證占據了設計周期的大部分。自1998年以來出現了許多新工具、數種新語言和新方法,如覆蓋驅動的驗證和基于斷言的驗證。但他表示:“驗證問題不斷增加。我們正與復雜性曲線而戰。”他的處方是:提前計劃,明白你的工具和方法,測試并改進過程。
LSI Logic公司設計技術副總裁Sudhakar Sabada也表示,下一代設計需要超越IP復用,而需要可配置設計平臺、早期系統集成、改進的現成IP質量和設計與制造的銜接。
