久久九九国产精品,婷婷爆乳日韩一区二在线,在线电影福利成人国产

芯片與軟件合力推動著各類互聯(lián)應用的蓬勃發(fā)展。芯片設計團隊總是想著以不同的方式為客戶提供創(chuàng)新和差異化產(chǎn)品。在半導體行業(yè)中，芯片設計是公認的至關(guān)重要的過程，但設計和測試平臺代碼的質(zhì)量同樣也是項目成功的關(guān)鍵，而這一點卻經(jīng)常被忽視。面對多種多樣的編碼風格、下游工具帶來的挑戰(zhàn)以及上市時間的壓力，開發(fā)者會遇到各種芯片設計錯誤，而這些錯誤會導致功能缺陷、設計迭代，甚至芯片重制。盡管市場上有一些工具可以識別設計開發(fā)過程中的RTL低效問題，但這通常發(fā)生在芯片設計的后期階段，在這一階段，開發(fā)者們已經(jīng)投入了大量時間和精力。在RTL設計早期階段進行深度分析有助于團隊識別并修復復雜的RTL問題，實現(xiàn)真正的左移。校驗可為團隊提供全面的檢查流程，以便能夠及早發(fā)現(xiàn)基本的校驗問題，并從一開始就為SoC構(gòu)建功能安全性、可靠性和可移植性。本文將介紹校驗技術(shù)的發(fā)展、誤報的處理方式，以及面對復雜設計，團隊如何快速發(fā)現(xiàn)設計錯誤？

代碼校驗的發(fā)展史

校驗技術(shù)已經(jīng)存在數(shù)十年。過去，團隊使用校驗技術(shù)來進行語法檢查和語義檢查。語法檢查包括驗證關(guān)鍵字和對象名稱等在代碼中的位置是否正確，語義檢查包括確定代碼中的引用是否有效。當時校驗技術(shù)的基本目標是幫助客戶解決麻煩的可移植性挑戰(zhàn)，即將RTL從一個SoC移植到另一個SoC，這一過程需要結(jié)構(gòu)良好的模塊化RTL代碼，并且代碼要直觀簡潔、易于理解，且無需額外維護。在當時，最基本的檢查也被認為是高級檢查。隨著產(chǎn)品上市時間多年來不斷縮短，開發(fā)者們決定尋找新的方法來提高生產(chǎn)力并系統(tǒng)地驗證錯誤，因此代碼校驗技術(shù)被用于在早期消除復雜錯誤，而且在設計周期的仿真綜合或布局布線階段非常有效，備受歡迎。 Rollbar的一項調(diào)查顯示，超過40%的開發(fā)者認為修復漏洞和錯誤是他們最大的痛點。故障監(jiān)測工具其實并未發(fā)揮出其應有的功能，導致一些錯誤沒有被發(fā)現(xiàn)就呈現(xiàn)在客戶面前。而且芯片設計規(guī)模越大，復雜度越高，問題也就越多。

使用預先確定的規(guī)則

指導芯片設計

那么，校驗工具是如何工作的呢？校驗工具需要基于最新行業(yè)標準的規(guī)則來發(fā)揮作用，并根據(jù)應用領域進行分類。這些規(guī)則降低了成本門檻，設計團隊可以利用該技術(shù)快速開始硬件開發(fā)，加速啟動校驗工作流程。雖然聽起來很容易，但制定、維護和管理這些規(guī)則集大都需要數(shù)十年的時間。新思科技創(chuàng)建了GuideWare方法文檔和規(guī)則集（可通過SolvNetPlus知識庫訪問），為全球開發(fā)者提供分步框架，以滿足正確性和一致性方面的準則，盡可能地減少創(chuàng)建、管理和編策規(guī)則所需的時間。目前，業(yè)界已有約1,500個規(guī)則集。此外，新思科技VC SpyGlass Lint中包含的Design Compiler兼容性規(guī)則會預先告知某些RTL結(jié)構(gòu)是否會在綜合過程中得到正確處理，從而實現(xiàn)左移。而且，新思科技VC SpyGlass Lint中的Formality等效性檢查規(guī)則可幫助開發(fā)者確定某些編碼風格是否會在流程早期導致仿真和綜合不匹配。

融入機器學習技術(shù)的

高級校驗是怎樣的？

現(xiàn)在，半導體公司都相繼加快了產(chǎn)品上市速度，流片速度成為關(guān)鍵。流片期間，手動調(diào)試不僅耗時費力，還要有全面的知識結(jié)構(gòu)。對芯片開發(fā)者來說，他們更希望能夠在開發(fā)流程的早期完成盡可能多的復雜任務。此外，多次運行校驗檢查會產(chǎn)生大量的誤報，開發(fā)者更容易遺漏關(guān)鍵違例，導致枉費工夫進行不必要的修復。因此擁有好的校驗工具非常重要。好的校驗工具不僅能夠識別語法、風格、錯誤和安全問題，還能提示具體的故障、以及導致故障的原因和解決方法。而且現(xiàn)在越來越多的設計團隊要進行跨地域合作，設計目標的一致性和準確性也就成為芯片集成團隊的一大挑戰(zhàn)。新思科技將最新一代的VC SpyGlass與機器學習（ML）技術(shù)相集成，以便開發(fā)者們可以快速找到違例的主要根本原因。這種集成解決方案能夠?qū)崿F(xiàn)更智能、更快速、并減少誤報的錯誤檢測。這是校驗領域的一大突破。這一方案將誤報減少至原來的十分之一，從而大大加快了校驗分析收斂速度，有助于開發(fā)者快速發(fā)現(xiàn)并修復校驗問題。

? ? ?

原文標題：芯片驗證反內(nèi)卷，搭載ML技術(shù)的高級校驗工具讓你躺贏

文章出處：【微信公眾號：新思科技】歡迎添加關(guān)注！文章轉(zhuǎn)載請注明出處。

聲明：本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀點僅代表作者本人，不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學習之用，如有內(nèi)容侵權(quán)或者其他違規(guī)問題，請聯(lián)系本站處理。舉報投訴