在當(dāng)今競(jìng)爭(zhēng)激烈的環(huán)境中，將富含嵌入式軟件的復(fù)雜電子設(shè)備更快地推向市場(chǎng)，同時(shí)使它們更便宜、更可靠是一個(gè)非常冒險(xiǎn)的提議。

不徹底地測(cè)試硬件設(shè)計(jì)不可避免地會(huì)導(dǎo)致重新設(shè)計(jì)，增加設(shè)計(jì)成本并延長(zhǎng)網(wǎng)表到布局過(guò)程的交付時(shí)間，并最終延遲上市時(shí)間，對(duì)收入流產(chǎn)生破壞性影響。缺少市場(chǎng)窗口的更顯著結(jié)果隱藏在嵌入式軟件的后期測(cè)試中。

毫不奇怪，項(xiàng)目周期的驗(yàn)證部分占用了不成比例的大量進(jìn)度。這是因?yàn)楦櫤拖e(cuò)誤并非易事，尤其是當(dāng)片上系統(tǒng) （SoC） 的軟件內(nèi)容以每年大約2 0 0 %的速度增長(zhǎng)時(shí)。相比之下，設(shè)計(jì)中硬件部分的增長(zhǎng)僅為5 0 %左右。

硬件仿真作為系統(tǒng)驗(yàn)證的基礎(chǔ)

雖然虛擬原型和現(xiàn)場(chǎng)可編程門(mén)陣列 （FPGA） 原型在早期嵌入式軟件測(cè)試中受到關(guān)注，但它們無(wú)法幫助實(shí)現(xiàn)軟件和硬件的集成。前者缺乏跟蹤硬件錯(cuò)誤所需的硬件準(zhǔn)確性。后者提供了快速放大錯(cuò)誤所需的有限硬件調(diào)試功能。

因此，開(kāi)發(fā)團(tuán)隊(duì)和項(xiàng)目經(jīng)理已將硬件仿真作為其驗(yàn)證策略的基礎(chǔ)。仿真是一種多功能驗(yàn)證工具，具有許多相關(guān)優(yōu)勢(shì)，包括硬件/軟件協(xié)同驗(yàn)證，或測(cè)試硬件和軟件集成的能力。軟件開(kāi)發(fā)人員已經(jīng)注意到了，因?yàn)樗俏ㄒ荒軌虼_保嵌入式系統(tǒng)軟件與底層硬件正常工作的驗(yàn)證工具。同樣值得注意的是，對(duì)于致力于調(diào)試復(fù)雜 SoC 設(shè)計(jì)的硬件工程師來(lái)說(shuō)，它可以將軟件錯(cuò)誤跟蹤到硬件或軟件行為中的硬件錯(cuò)誤。其他好處包括它的快速編譯能力，軟件驗(yàn)證的另一個(gè)優(yōu)點(diǎn)，全面的設(shè)計(jì)調(diào)試和可擴(kuò)展性，以適應(yīng)包含超過(guò) 10 億個(gè)專(zhuān)用集成電路 （ASIC） 門(mén)的設(shè)計(jì)。此外，它可以高速處理數(shù)十億個(gè)驗(yàn)證周期，以驗(yàn)證嵌入式軟件和執(zhí)行系統(tǒng)驗(yàn)證。

過(guò)去，硬件調(diào)試和測(cè)試是項(xiàng)目周期驗(yàn)證部分的唯一原因，這是由硬件描述語(yǔ)言 （HDL） 測(cè)試平臺(tái)驅(qū)動(dòng)的邏輯仿真管理的。傳統(tǒng)的 big-box 仿真僅用于最大的設(shè)計(jì)。許多開(kāi)發(fā)團(tuán)隊(duì)已采用形式驗(yàn)證來(lái)補(bǔ)充模擬，增加基本覆蓋范圍并確保不會(huì)遺漏一些極端情況。然而，只有硬件仿真才能在實(shí)際時(shí)間內(nèi)完成 SoC 設(shè)計(jì)的整個(gè)驗(yàn)證任務(wù)，并緩解與基于事件的仿真相關(guān)的運(yùn)行時(shí)問(wèn)題。

一切都與軟件內(nèi)容有關(guān)

SoC 的軟件內(nèi)容使聯(lián)合驗(yàn)證成為驗(yàn)證策略中最重要的部分，因?yàn)樗_認(rèn)嵌入式 SoC 的硬件和軟件部分同時(shí)驗(yàn)證并在提交到芯片之前正確交互。

過(guò)去，如果設(shè)計(jì)流片到芯片上后出現(xiàn)硬件問(wèn)題，軟件開(kāi)發(fā)人員必須盡可能地解決如何圍繞它編寫(xiě)代碼。通過(guò)在 SoC 完成之前驗(yàn)證軟件，設(shè)計(jì)團(tuán)隊(duì)有機(jī)會(huì)在硬件問(wèn)題被安裝到芯片之前修復(fù)它們。如前所述，仿真檢查以確保嵌入式軟件根據(jù)規(guī)范在支持硬件上運(yùn)行。

過(guò)去，軟件調(diào)試是使用各種調(diào)試引擎完成的。每個(gè)內(nèi)核一個(gè)，他們利用了硬件功能，這些功能提供了對(duì)處理器內(nèi)部工作的可見(jiàn)性和控制。雖然提供了一些調(diào)試功能，但診斷問(wèn)題的能力受到處理器提供的訪問(wèn)類(lèi)型的限制。此外，由于傳統(tǒng)的軟件調(diào)試通常發(fā)生在實(shí)際系統(tǒng)上，因此軟件開(kāi)發(fā)人員正在以目標(biāo)系統(tǒng)速度在真實(shí)硬件上執(zhí)行真實(shí)代碼。這使他們能夠通過(guò)大量代碼快速找到錯(cuò)誤例程。

這些傳統(tǒng)技術(shù)在調(diào)試 SoC 時(shí)會(huì)失效。因?yàn)闆](méi)有真正的硬件，代碼不能以真正的系統(tǒng)速度執(zhí)行。假設(shè)，可以在執(zhí)行代碼時(shí)模擬硬件，并且所有硬件可見(jiàn)性都將由模擬器提供。問(wèn)題在于速度——這是一種調(diào)試代碼的緩慢方式。

例如，如果 SoC 設(shè)計(jì)為在 Linux 上運(yùn)行程序，則軟件開(kāi)發(fā)人員必須以數(shù)十億個(gè)時(shí)鐘周期完成 Linux 啟動(dòng)，然后軟件才能開(kāi)始執(zhí)行。粗略的估計(jì)是，使用大約1 0赫茲（Hz） 的典型模擬速度完成Linux引導(dǎo)需要超過(guò)2 8 年的時(shí)間。

不管是硬件調(diào)試還是軟件調(diào)試，傳統(tǒng)的硬件和軟件調(diào)試工具是互不相識(shí)的。對(duì)于大型且復(fù)雜的 SoC 設(shè)計(jì)，單獨(dú)進(jìn)行兩種類(lèi)型的調(diào)試以嘗試定位問(wèn)題是低效的。

讓兩者一起工作是理想的場(chǎng)景，而這正是仿真節(jié)省時(shí)間的地方。SoC 硬件在硬件中實(shí)現(xiàn)，通常是 FPGA 或其他一些可編程元件，使其速度更快。使用此設(shè)置，Linux 啟動(dòng)可以在1 5分鐘內(nèi)完成，具體取決于運(yùn)行的實(shí)際速度。硬件仿真提供與具有斷點(diǎn)和波形的硬件調(diào)試器類(lèi)似的控制和可見(jiàn)性。

確認(rèn) SoC 設(shè)計(jì)將按預(yù)期工作

硬件仿真以其高性能區(qū)別于其他驗(yàn)證工具——這是由軟件需求驅(qū)動(dòng)的日益重要的需求。它能夠確認(rèn) SoC 設(shè)計(jì)將按計(jì)劃工作，并且適合處理復(fù)雜的設(shè)計(jì)，這些設(shè)計(jì)可能高達(dá) 10 億個(gè) ASIC 等效門(mén)，并且每月消耗超過(guò) 1 萬(wàn)億個(gè)驗(yàn)證周期。即便如此，在此階段使用硬件仿真進(jìn)行徹底和詳盡的功能驗(yàn)證仍然是可用的最具成本效益和最有效的調(diào)試方法。

交易級(jí)建模 （TLM） 的引入和交易者的可用性可以將硬件仿真轉(zhuǎn)變?yōu)橐幌盗写怪笔袌?chǎng)的虛擬平臺(tái)測(cè)試環(huán)境。交易者是驗(yàn)證知識(shí)產(chǎn)權(quán) （IP） 組合的一部分，是外圍功能或協(xié)議的高級(jí)抽象模型。交易者，通常作為現(xiàn)成的 IP 提供，可用于各種不同的協(xié)議。典型目錄包括 PCIe、USB、FireWire、以太網(wǎng)、數(shù)字視頻、RGB、HDMI、I2C、UART 和 JTAG 組件。

更好地驗(yàn)證更復(fù)雜的系統(tǒng)

以前，硬件設(shè)計(jì)獨(dú)立于要在這些芯片上執(zhí)行的軟件的創(chuàng)建。情況不再如此。由于 SoC 的處理器數(shù)量翻倍，并且每一代產(chǎn)品包含的軟件內(nèi)容翻倍，因此對(duì)軟件的關(guān)注成為開(kāi)發(fā)團(tuán)隊(duì)和項(xiàng)目經(jīng)理的首要任務(wù)?，F(xiàn)在，在開(kāi)發(fā)團(tuán)隊(duì)證明預(yù)期的軟件可以在硬件平臺(tái)上運(yùn)行之前，SoC 是不完整的。

SoC 是一個(gè)成熟的嵌入式系統(tǒng)，需要硬件仿真來(lái)驗(yàn)證它是否正常工作。借助硬件仿真，開(kāi)發(fā)團(tuán)隊(duì)可以更有策略地規(guī)劃并實(shí)施基于多個(gè)抽象級(jí)別的調(diào)試方法。他們可以同時(shí)跟蹤硬件和嵌入式軟件之間的錯(cuò)誤，以確定問(wèn)題所在。在此過(guò)程中，他們以經(jīng)濟(jì)高效的方式節(jié)省了時(shí)間，大大降低了錯(cuò)過(guò)市場(chǎng)窗口的風(fēng)險(xiǎn)。

審核編輯：郭婷