為了加速並簡化SoC設計的驗證過程,EDA暨IP領導廠商新思科技(Synopsys)於2012 年2月27日宣布推出以VIPER架構為基礎的Discovery 驗證IP (Discovery Verification IP,簡稱Discovery VIP)系列產品,展現超大氣的整合與相容策略,站在客戶的立場想辦法解除驗證之苦。該公司宣稱,這項新的驗證工具,比起市面上各式舊版的驗證IP,效能加快2-4倍。
Synopsys驗證行銷部門副總裁George Zafiropoulos強調,如今SoC的複雜度至少是以前的5倍,因為必須完全照顧更多的協定、不同的介面,以及更複雜的架構。
展現著完全開放及總體整合的氣勢,Discovery VIP依照新一代VIPER架構而開發,第一件確立的產品特性是,100%以SystemVerilog這種程式語言編寫。如此一來,無論用戶處在任何環境下,無論是由Cadence及Mentor支援的OVM、由Synopsys支援的VMM,或2011年由上述三家公司共同支援的UVM,都沒有驗證環境不相容的問題,除了方便管理外,工作效率因此得以提升。
另一個重點是,Discovery VIP支援所有市面上的主要模擬器(Simulators),包括Syopsys的VCS, Cadence的Incisive以及Mentor的Questa, 而所提供的「通訊協定分析器」(Protocol Analyzer)則可協助設計人員快速了解鑑別並偵錯設計中的各種通訊協定。
為了協助客戶快速並確實找出設計的錯誤所在,新思科技Discovery VIP的「通訊協定分析器」更與思源科技(SpringSoft)的自動偵錯系統Verdi3連結,一旦鑑定出通訊協定有問題,就會快速地傳送給Verdi3進行訊號層的詳細分析,快速找出問題的源頭。
除了與思源科技合作外,新思科技Discovery VIP也獲得ARM的大力支持,ARM並提供最新的AMBA4 AXI4及ACE相容與互通的測試參考模型,支持Synopsys開發驗證IP。
相信這種放棄商家本位主義,主動為客戶解除痛苦的做法,是Synopsys 推出Discovery VIP 獲得肯定的主因。
花了三、四個月,拜訪了五十多家IC公司,Zafiropoulos 表示,幾乎百分之百他拜訪過的客戶,都對該公司這項新的驗證產品給予肯定,並表示有購買意願,凱為(Cavium)IC設計暨網路通訊部副總裁Bruce Fishbein便公開具名表示滿意。
Zafiropoulos 指出,過去工程師也許只要熟悉某些通訊協定,就能夠成功推出新產品。如今, 隨著SoC加入了許多複雜的通訊協定,驗證IP就成了唯一可以仰賴的驗證依靠,它要能夠保證,在晶片內,以及晶片外的各種主流或成長性看好的通訊協定的功能模型都完全通過驗證,還要能夠讓驗證工程師利用這些模型測試所有的SoC介面,符合標準後才可邁入生產階段。
高複雜的SoC設計,需要縝密可靠無誤的驗證工具,才得以快速完成,高複雜度的艱鉅任務,掌握新產品的上市商機。