來自 DVCon 的驗證趨勢

如果 DVCon US 是領(lǐng)頭羊或領(lǐng)先指標(biāo)，那么芯片設(shè)計驗證市場，更具體地說，硬件仿真將在未來幾年保持健康。

DVCon 2018于今年早些時候舉行，是發(fā)現(xiàn)芯片設(shè)計驗證最新趨勢的地方，就像往常一樣。通過加利福尼亞州圣何塞雙樹酒店門口的驗證名人錄，他們都渴望了解新事物并就最佳實(shí)踐進(jìn)行比較。

當(dāng)然，與會者和參展商都在關(guān)注人工智能 (AI) 或機(jī)器學(xué)習(xí) (ML) 芯片設(shè)計及其架構(gòu)以及隨之而來的驗證復(fù)雜性。構(gòu)建 AI 芯片的一個共同考慮來自幾位與會者，他們觀察到新的工程領(lǐng)域正在迅速變化，沒有公認(rèn)的標(biāo)準(zhǔn)，迫使驗證工程師構(gòu)建適應(yīng)性強(qiáng)的環(huán)境。

雖然 AI 芯片是一個熱門話題，但確定如何應(yīng)用 AI 或 ML 來改進(jìn)設(shè)計工具和技術(shù)中的驗證方法是一個明確的趨勢。一位與會者指出，這是一個擴(kuò)展領(lǐng)域，人工智能可以幫助分析硬件仿真生成的大量數(shù)據(jù)以驗證大型設(shè)計。在這些 TB 的數(shù)據(jù)中尋找什么以及關(guān)注哪里是令人沮喪、耗時且真正的挑戰(zhàn)。他認(rèn)為，嵌入驗證工具的人工智能將有助于針對驗證工程師的方法。

趨勢驗證主題并不止于 AI/ML。另一個新興趨勢和清晨小組討論的主題是平衡驗證與 RISC-V ISA 合規(guī)性。一位小組成員建議 RISC-V 引入了新的驗證挑戰(zhàn)。他特別指出，徹底測試像 Arm CPU 這樣的現(xiàn)代處理器需要幾個 PB（其中 peta 指的是千萬億，或 10 15）。為了全面測試 RISC-V 等可擴(kuò)展的開放指令集，驗證周期的數(shù)量至少增加一個數(shù)量級。

另一位與會者指出，當(dāng) ISA 定制和實(shí)施優(yōu)化導(dǎo)致可靠性、合規(guī)性和經(jīng)濟(jì)性方面的額外挑戰(zhàn)時，尋找錯誤并不能確保 RISC-V ISA 合規(guī)性。

驗證整個硬件/軟件生態(tài)系統(tǒng)，而不僅僅是硬件設(shè)計，對于驗證工程師的愿望清單來說并不新鮮。然而，它最近從“愿望清單”變成了“必須擁有”。共識正在建立更抽象的調(diào)試級別和系統(tǒng)的工作流程。兩者都是進(jìn)一步采用硬件仿真的好跡象。

水晶球出現(xiàn)在不止一個演講和走廊討論中。一些與會者預(yù)測更多的定制芯片和特定領(lǐng)域的芯片與特定領(lǐng)域的語言配對。還有一些人預(yù)計依賴通用標(biāo)準(zhǔn)和通用程序的機(jī)會會減少。在設(shè)計工具供應(yīng)商構(gòu)建通用解決方案的同時，更多的內(nèi)部專有設(shè)計、標(biāo)準(zhǔn)和工具即將問世。

最后一個有趣的預(yù)測是關(guān)于半導(dǎo)體業(yè)務(wù)的。Facebook、亞馬遜、蘋果、Netflix 和谷歌等公司（在金融市場上也被稱為 FAANG 科技股）或非初創(chuàng)公司的新來者可能會在未來幾年內(nèi)躋身前 10 大半導(dǎo)體制造商之列。這些公司已經(jīng)在構(gòu)建芯片，他們現(xiàn)在和未來都需要強(qiáng)大的驗證工具，例如硬件仿真。

如果 DVCon US 是領(lǐng)頭羊或領(lǐng)先指標(biāo)，那么芯片設(shè)計驗證市場，更具體地說，硬件仿真將在未來幾年保持健康。

審核編輯? 黃昊宇