24小時(shí)聯(lián)系電話(huà):18217114652、13661815404
中文
公司新聞
消除芯片設計驗證和驗證的問(wèn)題
消除芯片設計驗證和驗證的問(wèn)題
如果芯片設計有一張臉，它就會(huì )有一兩道皺紋，尤其是由于硬件和軟件驗證的日益復雜的挑戰而引起的特別深的皺紋。
直到最近，系統設計的這兩個(gè)元素都是在不同時(shí)間單獨完成的，硬件設計通常比軟件開(kāi)發(fā)早得多。系統集成商將通用硬件塊組裝到系統中，而沒(méi)有考慮最終將在其上運行的應用軟件。通用硬件可能托管了任意數量的可能類(lèi)型的軟件，但并未針對其中任何一種進(jìn)行優(yōu)化。該設置對項目團隊來(lái)說(shuō)是一個(gè)挑戰，因為硬件驗證和驗證必須證明預期的軟件可以在硬件上運行，在功耗預算內實(shí)現足夠的性能以確保成功。
今天，設計已經(jīng)演變成一種片上系統 (SoC)，一種獨立的定制硅芯片，可以處理大量的計算工作。同樣，SoC 驗證重新關(guān)注底層硬件與其上運行的軟件之間的交互。因此，驗證和驗證演變?yōu)榛诠ぷ髫撦d分析的軟件支持驗證和驗證方法，并在從早期硬件驗證到軟件集成再到系統驗證的整個(gè)設計流程中使用。
消除軟件依賴(lài)造成的皺紋的關(guān)鍵是設計塊和軟件工作負載的虛擬化，以及集成各種工具的流線(xiàn)型流程。應在完成最終設計之前完成包括硬件和軟件功能的塊的虛擬化。
例如，如果定制的操作系統不可用，則可以使用更通用的版本來(lái)測試系統，進(jìn)行大量測試而無(wú)需定制。這減輕了項目后期的測試負擔，當完整的自定義操作系統可用時(shí)，只需要一小部分驗證。這同樣適用于應用軟件。用于高性能計算的 SoC 可以通過(guò)實(shí)際工作負載進(jìn)行驗證，以證明數據平面。簡(jiǎn)化流程可確保每個(gè)工具都遵循相同的基本格式。當然，每個(gè)工具都需要一些工作。與其每次工具轉移都從頭開(kāi)始，他們可以在已經(jīng)完成的工作的基礎上構建，只關(guān)注與驗證不同階段相關(guān)的增量工作。
使用軟件配置驗證環(huán)境可以實(shí)現模型和存根，以對關(guān)鍵元素進(jìn)行有針對性的驗證，而無(wú)需完全可用不相關(guān)的塊?？梢詫祿ぷ髫撦d進(jìn)行虛擬化，以徹底審查處理效率。設計演變?yōu)橐唤M源自架構階段的互連塊。隨著(zhù)設計的進(jìn)展，這些塊會(huì )逐漸細化，環(huán)境的共同性質(zhì)有助于在組和工具之間來(lái)回移動(dòng)不同的塊，而無(wú)需大量返工。
硬件輔助驗證非常適合軟件支持的驗證和驗證方法。開(kāi)發(fā)開(kāi)始得更早，并且在整個(gè)真實(shí)世界軟件工作負載環(huán)境的上下文中驗證硬件可以在早期使用模型進(jìn)行，隨著(zhù)開(kāi)發(fā)中出現的不同部分逐漸構建系統。雖然驗證可以立即開(kāi)始，但最終的硅前測試側重于最后一刻的改進(jìn)和全系統驗證，加速設計流片，提高設計質(zhì)量，并降低重新設計的風(fēng)險和成本。它還簡(jiǎn)化了硅后驗證。
統一的支持軟件的驗證和驗證環(huán)境打破了硬件設計組和軟件開(kāi)發(fā)人員之間的依賴(lài)關(guān)系。未來(lái)日益復雜的 SoC 需要這種方法。雖然芯片設計沒(méi)有改頭換面，但深皺紋已被撫平。