芯片驗(yàn)證反內(nèi)卷，搭載ML技術(shù)的高級(jí)校驗(yàn)工具讓你躺贏
芯片與軟件合力推動(dòng)著各類互聯(lián)應(yīng)用的蓬勃發(fā)展。芯片設(shè)計(jì)團(tuán)隊(duì)總是想著以不同的方式為客戶提供創(chuàng)新和差異化產(chǎn)品。在半導(dǎo)體行業(yè)中，芯片設(shè)計(jì)是公認(rèn)的至關(guān)重要的過(guò)程，但設(shè)計(jì)和測(cè)試平臺(tái)代碼的質(zhì)量同樣也是項(xiàng)目成功的關(guān)鍵，而這一點(diǎn)卻經(jīng)常被忽視。 面對(duì)多種多樣的編碼風(fēng)格、下游工具帶來(lái)的挑戰(zhàn)以及上市時(shí)間的壓力，開(kāi)發(fā)者會(huì)遇到各種芯片設(shè)計(jì)錯(cuò)誤，而這些錯(cuò)誤會(huì)導(dǎo)致功能缺陷、設(shè)計(jì)迭代，甚至芯片重制。盡管市場(chǎng)上有一些工具可以識(shí)別設(shè)計(jì)開(kāi)發(fā)過(guò)程中的RTL低效問(wèn)題，但這通常發(fā)生在芯片設(shè)計(jì)的后期階段，在這一階段，開(kāi)發(fā)者們已經(jīng)投入了大量時(shí)間和精力。 在RTL設(shè)計(jì)早期階段進(jìn)行深度分析有助于團(tuán)隊(duì)識(shí)別并修復(fù)復(fù)雜的RTL問(wèn)題，實(shí)現(xiàn)真正的左移。校驗(yàn)可為團(tuán)隊(duì)提供全面的檢查流程，以便能夠及早發(fā)現(xiàn)基本的校驗(yàn)問(wèn)題，并從一開(kāi)始就為SoC構(gòu)建功能安全性、可靠性和可移植性。 本文將介紹校驗(yàn)技術(shù)的發(fā)展、誤報(bào)的處理方式，以及面對(duì)復(fù)雜設(shè)計(jì)，團(tuán)隊(duì)如何快速發(fā)現(xiàn)設(shè)計(jì)錯(cuò)誤？
代碼校驗(yàn)的發(fā)展史
校驗(yàn)技術(shù)已經(jīng)存在數(shù)十年。 過(guò)去，團(tuán)隊(duì)使用校驗(yàn)技術(shù)來(lái)進(jìn)行語(yǔ)法檢查和語(yǔ)義檢查。語(yǔ)法檢查包括驗(yàn)證關(guān)鍵字和對(duì)象名稱等在代碼中的位置是否正確，語(yǔ)義檢查包括確定代碼中的引用是否有效。當(dāng)時(shí)校驗(yàn)技術(shù)的基本目標(biāo)是幫助客戶解決麻煩的可移植性挑戰(zhàn)，即將RTL從一個(gè)SoC移植到另一個(gè)SoC，這一過(guò)程需要結(jié)構(gòu)良好的模塊化RTL代碼，并且代碼要直觀簡(jiǎn)潔、易于理解，且無(wú)需額外維護(hù)。在當(dāng)時(shí)，最基本的檢查也被認(rèn)為是高級(jí)檢查。 隨著產(chǎn)品上市時(shí)間多年來(lái)不斷縮短，開(kāi)發(fā)者們決定尋找新的方法來(lái)提高生產(chǎn)力并系統(tǒng)地驗(yàn)證錯(cuò)誤，因此代碼校驗(yàn)技術(shù)被用于在早期消除復(fù)雜錯(cuò)誤，而且在設(shè)計(jì)周期的仿真綜合或布局布線階段非常有效，備受歡迎。 Rollbar的一項(xiàng)調(diào)查顯示，超過(guò)40%的開(kāi)發(fā)者認(rèn)為修復(fù)漏洞和錯(cuò)誤是他們最大的痛點(diǎn)。故障監(jiān)測(cè)工具其實(shí)并未發(fā)揮出其應(yīng)有的功能，導(dǎo)致一些錯(cuò)誤沒(méi)有被發(fā)現(xiàn)就呈現(xiàn)在客戶面前。而且芯片設(shè)計(jì)規(guī)模越大，復(fù)雜度越高，問(wèn)題也就越多。
使用預(yù)先確定的規(guī)則
指導(dǎo)芯片設(shè)計(jì)
那么，校驗(yàn)工具是如何工作的呢？ 校驗(yàn)工具需要基于最新行業(yè)標(biāo)準(zhǔn)的規(guī)則來(lái)發(fā)揮作用，并根據(jù)應(yīng)用領(lǐng)域進(jìn)行分類。這些規(guī)則降低了成本門(mén)檻，設(shè)計(jì)團(tuán)隊(duì)可以利用該技術(shù)快速開(kāi)始硬件開(kāi)發(fā)，加速啟動(dòng)校驗(yàn)工作流程。 雖然聽(tīng)起來(lái)很容易，但制定、維護(hù)和管理這些規(guī)則集大都需要數(shù)十年的時(shí)間。 新思科技創(chuàng)建了GuideWare方法文檔和規(guī)則集（可通過(guò)SolvNetPlus知識(shí)庫(kù)訪問(wèn)），為全球開(kāi)發(fā)者提供分步框架，以滿足正確性和一致性方面的準(zhǔn)則，盡可能地減少創(chuàng)建、管理和編策規(guī)則所需的時(shí)間。目前，業(yè)界已有約1,500個(gè)規(guī)則集。 此外，新思科技VC SpyGlass Lint中包含的Design Compiler兼容性規(guī)則會(huì)預(yù)先告知某些RTL結(jié)構(gòu)是否會(huì)在綜合過(guò)程中得到正確處理，從而實(shí)現(xiàn)左移。而且，新思科技VC SpyGlass Lint中的Formality等效性檢查規(guī)則可幫助開(kāi)發(fā)者確定某些編碼風(fēng)格是否會(huì)在流程早期導(dǎo)致仿真和綜合不匹配。
融入機(jī)器學(xué)習(xí)技術(shù)的
高級(jí)校驗(yàn)是怎樣的？
現(xiàn)在，半導(dǎo)體公司都相繼加快了產(chǎn)品上市速度，流片速度成為關(guān)鍵。流片期間，手動(dòng)調(diào)試不僅耗時(shí)費(fèi)力，還要有全面的知識(shí)結(jié)構(gòu)。對(duì)芯片開(kāi)發(fā)者來(lái)說(shuō)，他們更希望能夠在開(kāi)發(fā)流程的早期完成盡可能多的復(fù)雜任務(wù)。 此外，多次運(yùn)行校驗(yàn)檢查會(huì)產(chǎn)生大量的誤報(bào)，開(kāi)發(fā)者更容易遺漏關(guān)鍵違例，導(dǎo)致枉費(fèi)工夫進(jìn)行不必要的修復(fù)。 因此擁有好的校驗(yàn)工具非常重要。好的校驗(yàn)工具不僅能夠識(shí)別語(yǔ)法、風(fēng)格、錯(cuò)誤和安全問(wèn)題，還能提示具體的故障、以及導(dǎo)致故障的原因和解決方法。 而且現(xiàn)在越來(lái)越多的設(shè)計(jì)團(tuán)隊(duì)要進(jìn)行跨地域合作，設(shè)計(jì)目標(biāo)的一致性和準(zhǔn)確性也就成為芯片集成團(tuán)隊(duì)的一大挑戰(zhàn)。 新思科技將最新一代的VC SpyGlass與機(jī)器學(xué)習(xí)（ML）技術(shù)相集成，以便開(kāi)發(fā)者們可以快速找到違例的主要根本原因。這種集成解決方案能夠?qū)崿F(xiàn)更智能、更快速、并減少誤報(bào)的錯(cuò)誤檢測(cè)。 這是校驗(yàn)領(lǐng)域的一大突破。這一方案將誤報(bào)減少至原來(lái)的十分之一，從而大大加快了校驗(yàn)分析收斂速度，有助于開(kāi)發(fā)者快速發(fā)現(xiàn)并修復(fù)校驗(yàn)問(wèn)題。
?
?
?
原文標(biāo)題：芯片驗(yàn)證反內(nèi)卷，搭載ML技術(shù)的高級(jí)校驗(yàn)工具讓你躺贏
文章出處：【微信公眾號(hào)：新思科技】歡迎添加關(guān)注！文章轉(zhuǎn)載請(qǐng)注明出處。
聲明：本文內(nèi)容及配圖由入駐作者撰寫(xiě)或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點(diǎn)僅代表作者本人，不代表電子發(fā)燒友網(wǎng)立場(chǎng)。文章及其配圖僅供工程師學(xué)習(xí)之用，如有內(nèi)容侵權(quán)或者其他違規(guī)問(wèn)題，請(qǐng)聯(lián)系本站處理。
舉報(bào)投訴
-
新思科技
+關(guān)注
關(guān)注
5文章
870瀏覽量
51531
原文標(biāo)題：芯片驗(yàn)證反內(nèi)卷，搭載ML技術(shù)的高級(jí)校驗(yàn)工具讓你躺贏
文章出處：【微信號(hào)：Synopsys_CN，微信公眾號(hào)：新思科技】歡迎添加關(guān)注！文章轉(zhuǎn)載請(qǐng)注明出處。
發(fā)布評(píng)論請(qǐng)先 登錄
相關(guān)推薦
熱點(diǎn)推薦
充電寶危機(jī)，最大贏家竟是這家日本傳感器巨頭TDK（躺贏）
于是，ATL在這場(chǎng)充電寶危機(jī)中直接躺贏，“天降”大單，成為最大贏家。而ATL背后，就是日本全球著名電子元件廠商、傳感器巨頭——TDK。此外，ATL的創(chuàng)始人就是如今中國(guó)新能源巨頭寧德時(shí)代CATL的曾毓群。
華大九天物理驗(yàn)證EDA工具Empyrean Argus助力芯片設(shè)計(jì)
在芯片設(shè)計(jì)的流片之路充滿挑戰(zhàn)，物理驗(yàn)證EDA工具無(wú)疑是這“最后一公里”關(guān)鍵且不可或缺的利器。它通過(guò)設(shè)計(jì)規(guī)則檢查、版圖與原理圖一致性驗(yàn)證等關(guān)鍵流程，為IC設(shè)計(jì)契合制造需求提供堅(jiān)實(shí)保障。作
反卷計(jì)劃：SANWA山業(yè)人體工學(xué)鼠標(biāo)，手腕從此“躺贏”
你的同事！專注人體工學(xué)幾十年，這家日本品牌把手腕舒適度刻進(jìn)了DNA。當(dāng)普通鼠標(biāo)還在卷DPI和RGB燈效時(shí)，SANWA早已看透本質(zhì)：健康，才是高級(jí)生產(chǎn)力。小手福音/顏值剛
超大規(guī)模芯片驗(yàn)證：基于AMD VP1902的S8-100原型驗(yàn)證系統(tǒng)實(shí)測(cè)性能翻倍
引言隨著AI、HPC及超大規(guī)模芯片設(shè)計(jì)需求呈指數(shù)級(jí)增長(zhǎng)原型驗(yàn)證平臺(tái)已成為芯片設(shè)計(jì)流程中驗(yàn)證復(fù)雜架構(gòu)、縮短迭代周期的核心工具。然而，傳統(tǒng)原型
芯片的驗(yàn)證為何越來(lái)越難？
本文由半導(dǎo)體產(chǎn)業(yè)縱橫（ID：ICVIEWS）編譯自semiengineering過(guò)去，仿真曾是驗(yàn)證的唯一工具，但如今選擇已變得多樣。平衡成本與收益并非易事。芯片首次流片成功率正在下降，主要原因
工業(yè)機(jī)器人行業(yè)內(nèi)卷不斷加劇
“美的內(nèi)部有個(gè)口號(hào)——積極參與內(nèi)卷，但是要勇敢跳出內(nèi)卷?！泵赖募瘓F(tuán)董事長(zhǎng)兼總裁方洪波如是說(shuō)。
硬件輔助驗(yàn)證(HAV) 對(duì)軟件驗(yàn)證的價(jià)值
硬件輔助驗(yàn)證 (HAV) 有著悠久的歷史，如今作為軟件驅(qū)動(dòng)驗(yàn)證的必備技術(shù)，再度受到關(guān)注。 RISC-V 可能是說(shuō)明這一點(diǎn)的最好例子。HAV 能夠執(zhí)行多個(gè)周期的軟件驅(qū)動(dòng)驗(yàn)證，是加速 RI
用一套Linux系統(tǒng)，撐起整個(gè)芯片設(shè)計(jì)平臺(tái)？CFA團(tuán)隊(duì)教你如何搭好EDA智算平臺(tái)的技術(shù)底座
都愿意與你分享經(jīng)驗(yàn)、技術(shù)和解決方案。如果你有任何系統(tǒng)部署、軟件安裝、AI訓(xùn)練相關(guān)的問(wèn)題，歡迎留言交流。
CFA （CAD For All），讓每一位
發(fā)表于 05-07 14:44
芯華章以AI+EDA重塑芯片驗(yàn)證效率
”問(wèn)題，用實(shí)際案例詮釋“AI+EDA”如何重塑驗(yàn)證效率，讓大家實(shí)實(shí)在在的看見(jiàn)國(guó)產(chǎn)驗(yàn)證EDA技術(shù)落地的扎實(shí)與生態(tài)協(xié)同創(chuàng)新的力量。
英諾達(dá)發(fā)布全新靜態(tài)驗(yàn)證產(chǎn)品，提升芯片設(shè)計(jì)效率
英諾達(dá)(成都)電子科技有限公司近日正式推出了兩款全新的靜態(tài)驗(yàn)證EDA工具——EnAltius?CDC跨域檢查工具和Lint RTL代碼檢查工具。這兩款產(chǎn)品的發(fā)布，標(biāo)志著英諾達(dá)在
英諾達(dá)推出兩款全新靜態(tài)驗(yàn)證EDA工具
(2024年12月5日，四川成都)英諾達(dá)(成都)電子科技有限公司隆重推出兩款全新的靜態(tài)驗(yàn)證EDA工具：EnAltiusCDC跨域檢查工具和Lint RTL代碼檢查工具。這兩款
FIB技術(shù)：芯片失效分析的關(guān)鍵工具
芯片失效分析的關(guān)鍵工具在半導(dǎo)體行業(yè)迅速發(fā)展的今天，芯片的可靠性成為了衡量其性能的關(guān)鍵因素。聚焦離子束（FIB）技術(shù)，作為一種先進(jìn)的微納加工技術(shù)
“反內(nèi)卷”的智能座艙向何處去？
前段時(shí)間，有一個(gè)聲音在汽車圈回蕩：別卷了！ 中國(guó)幾家新能源汽車廠商，打響了“反內(nèi)卷”第一槍，蔚來(lái)、吉利、小鵬甚至新入局的小米，都對(duì)“卷周榜”表示不滿，認(rèn)為周榜是低水平內(nèi)卷，大家都在比誰(shuí)的價(jià)格更低，而
光伏行業(yè)內(nèi)卷還有多久？
至暗時(shí)刻是否已經(jīng)過(guò)去？光伏行業(yè)的內(nèi)卷還要持續(xù)多久？磁性元件企業(yè)又該如何破局？這篇文章通通為你解答！ 當(dāng)前兩年如火如荼的光伏行業(yè)，利潤(rùn)變得比家電行業(yè)還要低的時(shí)候，光伏行業(yè)未來(lái)的出路在哪，就變成了很多光
旗幟鮮明反內(nèi)卷，連接器上下游如何做到？
：“汽車行業(yè)的卷，讓中國(guó)品牌達(dá)到了新高度?！?吉利董事長(zhǎng)李書(shū)福說(shuō)：“中國(guó)汽車工業(yè)內(nèi)卷程度全球第一，既是好事也是壞事?！?嵐圖CEO盧放說(shuō)：“一個(gè)車企如果活不下去，對(duì)老車主來(lái)講可能是更大的背刺?！?從7.98萬(wàn)打出“電比油低”口號(hào)
工商網(wǎng)監(jiān)
評(píng)論