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