由于對更多功能、設(shè)備移動性和改進可用性的需求不斷增加,片上系統(tǒng) (SoC) 開發(fā)成本繼續(xù)快速增長。這些新功能需要在多核硬件和其他專用加速器上執(zhí)行更復(fù)雜的軟件,以滿足功率和性能要求。設(shè)計團隊的生產(chǎn)力沒有跟上復(fù)雜性的增長,導(dǎo)致開發(fā)時間延長。由于這個和其他因素,復(fù)雜 SoC 的開發(fā)成本接近 1 億美元,要求公司銷售數(shù)千萬個單元才能從該投資中獲得利潤。
開發(fā)和集成低層硬件依賴軟件的任務(wù)通常處于系統(tǒng)項目的關(guān)鍵路徑上,并且具有降低項目成本的最大潛力。問題在于,軟件開發(fā)通常要等到詳細且經(jīng)過驗證的硬件模型可用后才能開始,即使這些模型也可能無法完全滿足系統(tǒng)要求。軟件/硬件集成發(fā)生在項目結(jié)束時,此時更改成本高昂且實施時間長。修復(fù)通常僅限于軟件,導(dǎo)致硬件欠佳或忽略關(guān)鍵功能。
硬件和軟件及其交互的功能驗證是系統(tǒng)項目關(guān)鍵路徑上的另一項任務(wù)。SoC 和軟件中不斷增加的功能范圍正在提高設(shè)計復(fù)雜性,并以指數(shù)方式推高功能驗證成本。此外,大多數(shù)當(dāng)前的設(shè)計流程將設(shè)計捕獲為寄存器傳輸級別 (RTL) 描述,這是一種較為詳細的格式,使得更改難以實施且驗證速度較慢。許多錯誤是在計劃結(jié)束時發(fā)現(xiàn)的,需要昂貴的迭代來修復(fù)和重新驗證系統(tǒng)。
業(yè)界越來越支持使用事務(wù)級建模 (TLM) 作為并行硬件和軟件開發(fā)以及加快從設(shè)計到芯片的路徑的一種方式。盡管業(yè)界對 TLM 產(chǎn)生了廣泛的興趣,但使用 TLM 開發(fā)真正可互操作的 IP 的標(biāo)準方法的創(chuàng)建卻因不同的方法而停滯不前??朔町惒?SoC IP 互操作性定義統(tǒng)一的方法可以解決硬件和軟件之間更緊密相互依賴的新現(xiàn)實,從而使半導(dǎo)體公司能夠顯著降低風(fēng)險和成本。
IP 創(chuàng)建的自動化方法
硬件虛擬原型和高級綜合為系統(tǒng)設(shè)計提供了顯著的優(yōu)勢,但由于它們使用不同的硬件模型,它們在很大程度上仍然是脫節(jié)的。為虛擬原型設(shè)計、IP 綜合和功能驗證創(chuàng)建單個 TLM 模型可以消除模型不同時可能出現(xiàn)的重復(fù)工作和軟件質(zhì)量問題。
虛擬原型將專用處理器模型與設(shè)計 IP 的 TLM 模型相結(jié)合,為開發(fā)依賴于硬件的軟件驅(qū)動程序提供了一個平臺(如圖 1 所示)。TLM IP 模型提供了硬件的準確表示,并作為 RTL 高級綜合的單一來源。
圖 1:虛擬原型通過將專用處理器模型與設(shè)計 IP 的 TLM 模型相結(jié)合,為開發(fā)依賴于硬件的軟件驅(qū)動程序提供了一個平臺。
高級綜合作為一種使能技術(shù)已經(jīng)成熟,現(xiàn)在可以支持大多數(shù)常見的硬件結(jié)構(gòu),使得使用 TLM 作為“黃金來源”開發(fā)整個 SoC 成為可能。更少的源代碼行與更少的錯誤相關(guān)。更高抽象級別的仿真速度更快,因此功能驗證計劃更短,這意味著在項目中更早地發(fā)現(xiàn)了錯誤。
此外,可以為 TLM 和 RTL 構(gòu)建一個單一的、可重復(fù)使用的功能驗證環(huán)境。這降低了重用 IP 的成本,因為高級綜合工具可以將 TLM 描述映射到新架構(gòu)。此外,自動集成工程變更單的高級綜合工具可以快速實施后期錯誤修復(fù)或較小的需求變更。
在將系統(tǒng)約束與高級邏輯設(shè)計源代碼完全分離后,可以通過更改綜合約束將 IP 重新用于新架構(gòu)。抽象和自動化增加了創(chuàng)建邏輯的工程師的生產(chǎn)力。然而,高級綜合的全部優(yōu)勢無法通過僅生成 RTL 并使用當(dāng)前 RTL-to-GDSII 流程的流程來實現(xiàn)。TLM 實施流程必須優(yōu)化整個過程,從讀取 TLM 到生成結(jié)果布局。
功能驗證需要一種自動化方法來探索設(shè)計的極端情況行為并提高驗證工程師的工作效率,因為他們指定了范圍廣泛的系統(tǒng)操作條件。開放式驗證方法 (OVM) 是適用于 TLM 和 RTL 設(shè)計的行業(yè)標(biāo)準驗證方法。利用 OVM,設(shè)計團隊可以定義一種驗證方法,最大限度地減少將驗證環(huán)境從 TLM 遷移到 RTL 所需的工作量,并在整個過程中重用代碼。衡量設(shè)計功能行為的指標(biāo)可以將驗證工作集中在那些尚未觀察到的系統(tǒng)行為上,而不是重復(fù)以前的覆蓋范圍。
為了實現(xiàn)所有這些優(yōu)勢,需要一種新的 IP 建模方法來統(tǒng)一早期的軟件開發(fā)和硬件設(shè)計。該方法必須能夠創(chuàng)建支持早期軟件開發(fā)、功能驗證和高級綜合的 TLM 模型,同時與現(xiàn)有的 RTL 方法基礎(chǔ)設(shè)施集成。單個模型減少了工作量以及編碼過程中引入的錯誤。隨著這種方法得到更廣泛的采用,它定義了在整個企業(yè)內(nèi)重用 IP 并改變第三方 IP 生態(tài)系統(tǒng)的新機會。
新的 TLM IP 類別
基于 TLM 的虛擬原型設(shè)計、綜合和功能驗證解決方案的出現(xiàn)將定義一組新的 IP 類別。每個類別都是整體設(shè)計流程的一部分,并為公司和第三方 IP 業(yè)務(wù)的可重用性提供了機會。統(tǒng)一的方法必須包含以下所有 IP 類型,以實現(xiàn)完整的 TLM 解決方案:
功能設(shè)計 IP:計算(不是接口或總線)邏輯,通常用于綜合
虛擬原型 IP:用于開發(fā)軟件的計算(不是接口或總線)邏輯
綜合約束 IP:綜合工具的面積、時序、功耗和其他指南
SoC 估計 IP:芯片級估計的面積、時序和功率表征
功能性交易商 IP:用于虛擬原型和綜合的引腳級模型的總線或接口
同步交易者 IP:兩個 IP 塊之間通信的可綜合模型
驗證 IP:模擬外部驅(qū)動程序、檢查正確性和測量完整性的代碼
驗證計劃:驗證階段和衡量成功完成的指標(biāo)
行業(yè)知識產(chǎn)權(quán)趨勢
作為第一個關(guān)鍵步驟,業(yè)界正在對 TLM 進行標(biāo)準化,使用 SystemC 來表示系統(tǒng)硬件并實現(xiàn)虛擬原型模型開發(fā)的廣泛采用。其他新興標(biāo)準使用 TLM 對旨在用于綜合的硬件進行建模,并使用標(biāo)準來定義可重復(fù)使用的測試平臺,以便跨多個抽象級別進行功能驗證。目標(biāo)是協(xié)調(diào)所有這些方法和 IP 類型,并支持創(chuàng)建支持早期硬件和軟件開發(fā)以及更高生產(chǎn)率的系統(tǒng)集成和驗證的單一硬件模型(如圖 2 所示)。
圖 2:單個硬件模型必須結(jié)合標(biāo)準化方法和 IP 類型,以支持跨多個抽象級別的功能驗證。
IP 可重用性是統(tǒng)一方法的主要驅(qū)動力。多年前,RTL 重用的統(tǒng)一定義擴大了公司圍繞 IP 組建的機會。對于 TLM IP,IP 重用的目標(biāo)是 RTL IP 重用的超集。IP 需要支持用于早期軟件開發(fā)的事務(wù)級虛擬原型,使用高級綜合來探索不同架構(gòu)的高生產(chǎn)力設(shè)計流程,以及 TLM 和集成 TLM IP 的 SoC 的高級功能驗證。
爆炸式增長的系統(tǒng)開發(fā)成本和縮短的時間表正在推動行業(yè)采用 TLM,這是一種新的抽象級別,可以實現(xiàn)更早的軟件開發(fā)和更高效的硬件設(shè)計和實施。向這種新抽象的過渡將通過提供新功能和降低維護成本來加強 IP 行業(yè)。TLM 應(yīng)該被視為一個為 IP 產(chǎn)品增加更高價值的機會。
審核編輯:郭婷
-
芯片
+關(guān)注
關(guān)注
459文章
52494瀏覽量
440681 -
soc
+關(guān)注
關(guān)注
38文章
4387瀏覽量
222718 -
TLM
+關(guān)注
關(guān)注
1文章
33瀏覽量
24969
發(fā)布評論請先 登錄
NVMe IP高速傳輸卻不依賴便利的XDMA設(shè)計之三:系統(tǒng)架構(gòu)
VirtualLab Fusion應(yīng)用:Herriott池的建模
NVMe IP高速傳輸卻不依賴便利的XDMA設(shè)計之二
NVMe IP高速傳輸卻不依賴便利的XDMA設(shè)計之一
nvme IP開發(fā)之PCIe下
nvme IP開發(fā)之PCIe上
VirtualLab Fusion應(yīng)用:漸變折射率(GRIN)鏡頭的建模
利用NVIDIA DPF引領(lǐng)DPU加速云計算的未來

Spring事務(wù)實現(xiàn)原理

技術(shù)前沿:海外動態(tài)IP技術(shù)革新,助力企業(yè)全球化戰(zhàn)略加速
銳成芯微打造高品質(zhì)車規(guī)級存儲IP產(chǎn)品線
SiFive發(fā)布MX系列高性能AI加速器IP


評論