芯片設(shè)計(jì)驗(yàn)證是一個(gè)長期存在的障礙,通常會阻礙產(chǎn)品按時(shí)交付。一個(gè)統(tǒng)一的支持軟件的驗(yàn)證和確認(rèn)環(huán)境可能是打破硬件設(shè)計(jì)團(tuán)隊(duì)和軟件開發(fā)人員之間依賴關(guān)系的方式。
有了統(tǒng)一的環(huán)境,驗(yàn)證可以在早期通過模型進(jìn)行,隨著開發(fā)過程中出現(xiàn)不同的部分來構(gòu)建系統(tǒng)。驗(yàn)證將從一開始就開始,最后的硅前測試只關(guān)注最后一分鐘的改進(jìn)和完整的系統(tǒng)驗(yàn)證、快速流片、降低重新設(shè)計(jì)風(fēng)險(xiǎn)并簡化硅后驗(yàn)證。
罪魁禍?zhǔn)渍谠黾有酒杏布蛙浖膹?fù)雜組合,這是持續(xù)“數(shù)字化”的結(jié)果。系統(tǒng)的這兩個(gè)基本方面的開發(fā)通常按不同的時(shí)間表進(jìn)行。例如,硬件設(shè)計(jì)可以比軟件早兩年開始。
復(fù)雜性迫使硬件驗(yàn)證和驗(yàn)證包括證明預(yù)期軟件在硬件上正常工作的證據(jù),當(dāng)軟件遠(yuǎn)遠(yuǎn)落后時(shí),這是一項(xiàng)艱巨的任務(wù)。支持軟件的驗(yàn)證和驗(yàn)證方法允許通過早期工作負(fù)載分析進(jìn)行早期硬件驗(yàn)證,從而打破硬件對系統(tǒng)軟件的依賴。
以前,通用硬件塊被組裝成一個(gè)可以執(zhí)行軟件的系統(tǒng)。在那個(gè)過時(shí)的范例中,硬件設(shè)計(jì)在沒有考慮應(yīng)用軟件的情況下進(jìn)行,因?yàn)橛布辉O(shè)計(jì)為通用的,托管任意數(shù)量的可能類型的軟件并且沒有針對它們進(jìn)行優(yōu)化。
設(shè)計(jì)人員現(xiàn)在采用片上系統(tǒng) (SoC) 方法實(shí)現(xiàn)硬件系統(tǒng)。過去,該硬件系統(tǒng)可能已由系統(tǒng)集成商組裝成一個(gè)獨(dú)立的硅芯片,以處理大部分計(jì)算工作。現(xiàn)在,對整個(gè)系統(tǒng) SoC 的驗(yàn)證必須關(guān)注底層硬件和它將執(zhí)行的軟件之間的連接。
像這樣的 SoC 將為特定應(yīng)用程序處理特定的數(shù)據(jù)工作負(fù)載。與早期的通用處理器不同,處理架構(gòu)必須非常適合它將處理的數(shù)據(jù)的性質(zhì)。指令集、總線架構(gòu)和內(nèi)存/高速緩存結(jié)構(gòu)可以進(jìn)行定制,以最大限度地提高性能、降低功耗和提高效率。
這需要硬件工程師在設(shè)計(jì)周期的早期訪問軟件工作負(fù)載。甚至架構(gòu)本身也需要針對要執(zhí)行的工作進(jìn)行驗(yàn)證。這種對軟件的依賴對項(xiàng)目進(jìn)度有重大影響,當(dāng)企業(yè)試圖“左移”以更快地將產(chǎn)品推向市場時(shí)尤其困難。
那不是全部。其他功能和日程安排注意事項(xiàng):
業(yè)務(wù)經(jīng)理希望他們的產(chǎn)品不會受到電池壽命差等問題的影響,并且仍然會進(jìn)入市場窗口
工程管理希望加快進(jìn)度并在預(yù)算范圍內(nèi)完成項(xiàng)目,盡可能利用通用方法
設(shè)計(jì)團(tuán)隊(duì)面臨在 12 到 18 個(gè)月內(nèi)完成日益復(fù)雜的設(shè)計(jì)的壓力
驗(yàn)證組,尤其是那些使用硬件仿真的驗(yàn)證組,希望將系統(tǒng)的不同方面分配給不同的組,以便更快地進(jìn)行并行子系統(tǒng)驗(yàn)證
擁有如此多的利益相關(guān)者和優(yōu)先事項(xiàng)正在推動迫切需要一種更好的方法來完成 SoC 驗(yàn)證。軟件定義的驗(yàn)證和驗(yàn)證環(huán)境和方法將使工程團(tuán)隊(duì)能夠交付復(fù)雜的 SoC,滿足上市時(shí)間,提供更徹底的檢查,并降低風(fēng)險(xiǎn)和成本。
審核編輯:郭婷
-
芯片
+關(guān)注
關(guān)注
462文章
53535瀏覽量
459130 -
soc
+關(guān)注
關(guān)注
38文章
4514瀏覽量
227617 -
電池
+關(guān)注
關(guān)注
85文章
11356瀏覽量
141302
發(fā)布評論請先 登錄
如何驗(yàn)證電能質(zhì)量在線監(jiān)測裝置支持的通信協(xié)議是否適用于特定設(shè)備?
在Linux ubuntu上使用riscv-formal工具驗(yàn)證蜂鳥E203 SoC的正確性
NVMe高速傳輸之?dāng)[脫XDMA設(shè)計(jì)23:UVM驗(yàn)證平臺
NVMe高速傳輸之?dāng)[脫XDMA設(shè)計(jì)18:UVM驗(yàn)證平臺
開芯院采用芯華章P2E硬件驗(yàn)證平臺加速RISC-V驗(yàn)證
新思科技如何驗(yàn)證更安全的智能汽車軟件
Veloce Primo補(bǔ)全完整的SoC驗(yàn)證環(huán)境
西門子利用AI來縮小行業(yè)的IC驗(yàn)證生產(chǎn)率差距
新思科技VSO.ai如何顛覆芯片驗(yàn)證
硬件輔助驗(yàn)證(HAV) 對軟件驗(yàn)證的價(jià)值
FPGA EDA軟件的位流驗(yàn)證
是否有適用于iMX 8M Plus SoC的熱計(jì)算/分析表或任何功耗/消耗表?
技術(shù)分享 | AVM合成數(shù)據(jù)仿真驗(yàn)證方案

適用于復(fù)雜SoC的軟件定義驗(yàn)證和驗(yàn)證環(huán)境
評論