[導讀]SoC驗證超越了常規(guī)邏輯仿真,但用于加速SoC驗證的廣泛應用的三種備選方法不但面臨可靠性問題,而且難以進行權衡。而且,最重要的問題還在于硬件加速訪問權限、時機及其穩(wěn)定性。當前,通常采用的三種硬件方法分別是FP
SoC驗證超越了常規(guī)邏輯仿真,但用于加速SoC驗證的廣泛應用的三種備選方法不但面臨可靠性問題,而且難以進行權衡。而且,最重要的問題還在于硬件加速訪問權限、時機及其穩(wěn)定性。
當前,通常采用的三種硬件方法分別是FPGA原型驗證、采用驗證IP進行的加速仿真以及內電路仿真(ICE)。這些方法雖適用于某些情況,但對于那些面對不斷更新的多處理器、多協議且偏重于軟件的SoC驗證團隊來說,則存在明顯不足。
FPGA原型驗證適用于那些運行于不再進行更新的已有硬件上的軟件,但卻不適用于仍在進行大規(guī)模升級的硬件。其原因在于設計流程不同步:硬件完成后,軟件團隊方可使用FPGA開發(fā)板,而且一旦出現問題,重新編譯耗時動輒數以天計,絕非幾個小時便可完成。此外,試圖將有數百萬個門電路的SoC分解到幾個FPGA上無異于自討苦吃。因此,盡管FPGA原型驗證看起來成本低廉,但對于仍在進行硬件調試的SoC來說,這一過程耗時漫長且充滿風險。這也正是在仿真市場的年增長速度高達20%的同時,這一市場卻波瀾不興的原因。
加速仿真—采用深測試序列、代碼覆蓋、基于斷言的驗證、錯誤處理、協議檢查等方法—適用于需對新開發(fā)的無漏洞ASIC或基礎IP進行驗證的硬件開發(fā)人員。但是,在對由軟件驅動且多個現有硬件模塊須同時工作的SoC進行驗證時,則需要一種整個軟件團隊均可使用的驗證方法。嵌入式處理器經測試后方可加載軟件。
直至2012年,內電路仿真(ICE)仍是進行軟硬件協同驗證的唯一方法,且在原型硬件可用前,需經常對硬件進行更改。ICE適用于規(guī)模相對較小的項目團隊,團隊成員集中于一處,對實驗室享有個人完全控制權,設計所含硬件目標接口數量有限。但由于需對運行于與實驗室內仿真器相連接的外部硬件上的目標外設或主機進行建模,因此在適應性、可靠性以及ROI等方面存在嚴重缺陷。
線纜以及外部硬件設備不但提高了復雜度,帶來了可靠性隱患,而且限定了仿真方式,因此實驗室的設置成為瓶頸環(huán)節(jié)。在進行內電路仿真時,屬于不同項目組的多個遠程軟硬件工程師團隊同時進行仿真的唯一方法是,在多個仿真器上運行同一項目設置。這樣做不但成本高昂、能耗極大,而且不易于管理。
幸運的是,目前已有第四種方法可用,即利用“虛擬實驗室”仿真環(huán)境。虛擬實驗室更適用于成員領域各異、挑戰(zhàn)錯綜復雜,且面臨相同的SoC開發(fā)難題的大型團隊。
由于虛擬仿真實驗室具有可以向所有軟件工程師提供靈活仿真器、免去了由于布置線纜而造成的雜亂無章、不會因如RAID般的多個內電路仿真裝置同時運行而造成高能耗等優(yōu)點,因此為滿足SoC設計團隊對虛擬仿真實驗室的需求,這一新方法應運而生。很顯然,該解決方案需進行多次軟件驗證過程。
將仿真從實驗室轉移至數據中心進行可提升產能,增強靈活性,提高可靠性。
在10余年協同模型研究的基礎上,MentorGraphics公司于2012年宣布,一種全新的仿真方法研發(fā)成功。該方法擺脫了對目標外設的外部硬件設備運行模型的依賴,取而代之的是,允許客戶將仿真器置于通用數據中心,并且僅需將其視為另一種計算資源。
采用這一全新仿真方法,設計師可以將其目標協議與設計同時加載于仿真器,并通過個人電腦驅動測試流程的軟件層,而真正的目標操作系統、驅動程序以及應用程序則在一臺虛擬機上安全運行。
與其他方法相比,當軟硬件處于開發(fā)早期階段,且更改頻繁時,更適宜采用該虛擬實驗室解決方案進行SoC驗證。對于所含門電路達數以百萬計的嵌入式處理器,多種外設,以及復雜軟件測試,虛擬實驗室的靈活性和生產效率均得到大幅提高。
從功能上講,虛擬實驗室和內電路仿真器相同,但更多的測試流程在軟件中進行。可通過個人電腦或工作站進行控制,且提供了與ICE解決方案中所用模型相同的硬件精確模型,并有適當的預驗證IP可供工程師使用。協議RTL模型、軟件棧以及應用程序可輕松地下載至仿真器,強化SoC驗證流程。和ICE類似,軟件工程師可通過虛擬實驗室訪問仍處于RTL階段的硬件設計,但方式更靈活,即無需通過繁冗設置,且無需在仿真器停機時間進行。
對于硬件工程師來說,將仿真器從實驗室移至數據中心,可避免因布線變動、引腳損壞、可用引腳缺乏以及遠程實驗室工作人員對外部目標硬件進行倒線時的徹夜等待而導致的停機。有了虛擬實驗室仿真,工程師的測試工作可不再依靠定制目標板進行。
對于軟件工程師來說,它則為在虛擬機上運行真正的目標操作系統提供了一個穩(wěn)定性更好、靈活性更強的環(huán)境。比如,代碼請求內存不可用時,不會再出現硬件崩潰現象;電腦仍可正常工作,僅需虛擬機重新啟動。
ROI亦隨著對仿真器的訪問而得到提高。在虛擬實驗室環(huán)境下,仿真器被視作一臺服務器,可供多個團隊、多個項目組,甚至處于不同地理位置的人員使用。它不再是一臺只可供少數特殊人群使用的昂貴設備。其目標是,同時為同一企業(yè)的各個項目組的所有軟硬件及集成工程師提供一個永遠在線的高度靈活的仿真環(huán)境。
通過同步工程實現ROI、質量以及生產效率的提升已走過了漫長歷程。通過將SoC驗證移出實驗室,虛擬實驗室仿真創(chuàng)造的驗證環(huán)境最終使得上述目標成為現實。
本站聲明: 本文章由作者或相關機構授權發(fā)布,目的在于傳遞更多信息,并不代表本站贊同其觀點,本站亦不保證或承諾內容真實性等。需要轉載請聯系該專欄作者,如若文章內容侵犯您的權益,請及時聯系本站刪除。
慕尼黑2025年9月12日 /美通社/ -- 慕尼黑當地時間9月10日,在2025德國國際汽車及智慧出行博覽會(IAA MOBILITY)上,國際獨立第三方檢測、檢驗和認證機...
關鍵字:
測試
慕尼黑
模型
HUBER
天津2025年9月11日 /美通社/ -- 國際能源署(IEA)數據顯示,2024 年全球數據中心電力消耗達 415 太瓦時,占全球總用電量的 1.5%,預計到 2030 年,這一數字將飆升至 945 太瓦時,近乎翻番,...
關鍵字:
模型
AI
數據中心
BSP
深圳2025年9月9日 /美通社/ -- PART 01活動背景 當技術的鋒芒刺穿行業(yè)壁壘,萬物互聯的生態(tài)正重塑產業(yè)疆域。2025年,物聯網產業(yè)邁入?"破界創(chuàng)造"與"共生進化"?的裂變時代——AI大模型消融感知邊界,...
關鍵字:
BSP
模型
微信
AIOT
浙江寧波2025年9月8日 /美通社/ -- 人工智能的熱流在寧波翻涌。9月4日,由浙江數字經濟百人會主辦的"智能時代 浙里領航——智能體創(chuàng)新與應用圓桌會",成為一場重量級思想碰撞的樞紐。匯聚政產學研...
關鍵字:
智能體
離散
AI
模型
北京2025年9月5日 /美通社/ -- 9月4日,在北京市人民政府新聞辦公室舉行的"一把手發(fā)布?京華巡禮"系列主題新聞發(fā)布會上,北京經開區(qū)對外發(fā)布,北京經濟技術開發(fā)區(qū)(簡稱"北京經開區(qū)&q...
關鍵字:
人工智能
模型
開源
AI
杭州2025年9月2日 /美通社/ -- 9月2日,央視《朝聞天下》欄目發(fā)布報道,重點關注中控技術在"人工智能+工業(yè)"領域的最新成果——時間序列大模型TPT 2(Time-series Pre-tra...
關鍵字:
人工智能
模型
PLAYER
ASIA
北京2025年9月2日 /美通社/ -- 近日,深圳云天暢想信息科技有限公司(下稱"云天暢想")與浪潮信息正式簽署元腦生態(tài)戰(zhàn)略合作協議。雙方將聚焦教育行業(yè)AIGC應用落地,在AIGC實訓平臺、智能體平...
關鍵字:
AI
模型
開發(fā)平臺
智能體
北京2025年8月28日 /美通社/ -- 8月28日,北京亦莊創(chuàng)新發(fā)布消息,北京經濟技術開發(fā)區(qū)(簡稱"北京經開區(qū)",又稱"北京亦莊")創(chuàng)新推出"一張清單、一鏈延伸、一套...
關鍵字:
接線
數字化
智能化
模型
首個采用高分辨率太陽觀測數據訓練的太陽物理學人工智能 (AI) 基礎模型,旨在深入探索太陽動態(tài)表面,對可能干擾地球和太空技術的太陽天氣做出有效規(guī)劃。 該模型已發(fā)布在 Hugging Face 開源平臺,旨在加快...
關鍵字:
IBM
NASA
開源
模型
上海2025年8月26日 /美通社/ -- 在全球數字經濟加速演進的時代浪潮中,海量數據資源正成為企業(yè)發(fā)展的雙刃劍。超66%的企業(yè)面臨"數據沉睡"危機——分散于供應鏈、財務、客戶運營等數十個系統的業(yè)務...
關鍵字:
AI
模型
軟件
數據分析
北京2025年8月25日 /美通社/ --?據潮起網報道。 圖1 近日,中國領先的AI科技公司楓清科技(Fabarta)推出的"Fabarta個人專屬智能體"已結束內測并向公眾用戶開放免費下載試用。 Fabarta...
關鍵字:
智能體
AI
FAB
模型
北京2025年8月22日 /美通社/ -- 近日,杭州數宇智匯科技發(fā)展有限責任公司(以下簡稱 "數宇智匯")與浪潮信息簽署元腦生態(tài)戰(zhàn)略合作協議。雙方將圍繞大模型知識平臺、智能問答機器人等核心領域展開深...
關鍵字:
機器人
模型
智能化
多模
北京2025年8月20日 /美通社/ -- 2025年8月8日至12日,以"讓機器人更智慧 讓具身體更智能"為主題的2025世界機器人大會在北京隆重舉行。本屆大會匯聚了220余家國內外領先機...
關鍵字:
機器人
模型
AI
BSP
今天,小編將在這篇文章中為大家?guī)韱纹瑱C的有關報道,通過閱讀這篇文章,大家可以對它具備清晰的認識,主要內容如下。
關鍵字:
單片機
仿真器
北京2025年8月14日 /美通社/ -- 因全球經濟和關稅的不確定性、疊加產能和結構性調整等因素,冶金行業(yè)競爭日趨激烈,企業(yè)越來越重視產品質量以提高市場競爭力。然而,提高冶金產品質量面臨諸多挑戰(zhàn): 工藝復雜,耦...
關鍵字:
模型
數字化系統
耦合
質量預測
在人工智能的發(fā)展歷程中,我們往往認為更多的訓練、更復雜的數據能讓 AI 變得更加智能。然而,近期一些研究卻揭示了令人意外的現象:對小型 AI 語言模型進行數學訓練時,過度訓練可能會導致其表現急劇下降,甚至出現 “變笨”...
關鍵字:
人工智能
數據
模型
北京2025年8月8日 /美通社/ -- 8月7日,浪潮信息發(fā)布面向萬億參數大模型的超節(jié)點AI服務器"元腦SD200"。該產品基于浪潮信息創(chuàng)新研發(fā)的多主機低延遲內存語義通信架構,以開放系統設計向上擴展...
關鍵字:
模型
節(jié)點
SD
通信
該一體機將預搭載OpenAI最新發(fā)布的GPT-OSS-120B 和 GPT-OSS-20B性能卓越的大語言模型(LLM),也可選擇下載全球其他熱門的開源模型 新加坡2025...
關鍵字:
SUPER
多模
模型
BSP
北京2025年8月6日 /美通社/ -- 亞馬遜云科技宣布,Anthropic最新一代模型Claude Opus 4.1與Claude Sonnet 4,現已在Amazon Bedrock全面上線。這批新型雙模推理模型支...
關鍵字:
模型
PIC
亞馬遜
CK