如果芯片設(shè)計有一張臉，它就會有一兩道皺紋，尤其是由于硬件和軟件驗證日益復(fù)雜的挑戰(zhàn)而造成的皺紋。

直到最近，系統(tǒng)設(shè)計的這兩個元素都是在不同的時間分別完成的，硬件設(shè)計通常先于軟件開發(fā)開始。系統(tǒng)集成商將通用硬件塊組裝到系統(tǒng)中，而不考慮最終將在其上運行的應(yīng)用軟件。通用硬件可能承載了任意數(shù)量的可能類型的軟件，但并未針對其中任何一種進行優(yōu)化。該設(shè)置對項目團隊來說是一個挑戰(zhàn)，因為硬件驗證和驗證必須證明預(yù)期的軟件可以在硬件上運行，在功耗預(yù)算內(nèi)實現(xiàn)足夠的性能以確保成功。

今天，設(shè)計已經(jīng)演變成片上系統(tǒng) （SoC），這是一種獨立的定制硅芯片，可以處理大部分計算工作。同樣，SoC 驗證重新關(guān)注底層硬件和運行在其上的軟件之間的交互。因此，驗證和確認演變?yōu)榛诠ぷ髫撦d分析的軟件支持驗證和確認方法，并在從早期硬件驗證到軟件集成一直到系統(tǒng)驗證的整個設(shè)計流程中使用。

撫平由軟件依賴性引起的皺紋的關(guān)鍵是設(shè)計塊和軟件工作負載的虛擬化，以及集成各種工具的流線型流程。包括硬件和軟件功能的模塊虛擬化應(yīng)在最終設(shè)計完成之前完成。

例如，如果定制的操作系統(tǒng)不可用，則可以使用更通用的版本來測試具有大量測試的系統(tǒng)，而無需定制。這減輕了項目后期的測試負擔(dān)，當(dāng)完整的定制操作系統(tǒng)可用時，只需要一小部分驗證。應(yīng)用軟件也是如此。用于高性能計算的 SoC 可以通過實際工作負載進行驗證，以證明數(shù)據(jù)平面。簡化流程可確保每個工具都遵循相同的基本格式。當(dāng)然，每個工具都需要做一些工作。他們可以在已經(jīng)完成的工作的基礎(chǔ)上，只關(guān)注與不同驗證階段相關(guān)的增量工作，而不是每次工具轉(zhuǎn)移都從頭開始。

使用軟件配置驗證環(huán)境可以實現(xiàn)模型和存根，以對關(guān)鍵元素進行有針對性的驗證，而無需完全可用不相關(guān)的模塊?？梢詫?shù)據(jù)工作負載進行虛擬化，以徹底審查處理效率。設(shè)計演變?yōu)橐唤M源自架構(gòu)階段的互連塊。隨著設(shè)計的進展，這些塊逐漸被細化，環(huán)境的共同性質(zhì)有助于在組和工具之間來回移動不同的塊，而無需大量返工。

硬件輔助驗證非常適合支持軟件的驗證和驗證方法。開發(fā)開始得更快，并且在整個真實世界軟件工作負載環(huán)境的上下文中驗證硬件可以在早期使用模型進行，隨著開發(fā)中的不同部分逐漸建立系統(tǒng)。雖然可以立即開始驗證，但最終的硅前測試側(cè)重于最后一分鐘的改進和全系統(tǒng)驗證，加速設(shè)計流片，提高設(shè)計質(zhì)量，并降低重新設(shè)計的風(fēng)險和成本。它還簡化了硅后驗證。

統(tǒng)一的支持軟件的驗證和確認環(huán)境打破了硬件設(shè)計團隊和軟件開發(fā)人員之間的依賴關(guān)系。未來日益復(fù)雜的 SoC 需要這種方法。雖然芯片設(shè)計沒有得到改善，但深層皺紋被撫平了。