女人自慰AV免费观看内涵网,日韩国产剧情在线观看网址,神马电影网特片网,最新一级电影欧美,在线观看亚洲欧美日韩,黄色视频在线播放免费观看,ABO涨奶期羡澄,第一导航fulione,美女主播操b

0
  • 聊天消息
  • 系統(tǒng)消息
  • 評論與回復(fù)
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術(shù)視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會員中心
創(chuàng)作中心

完善資料讓更多小伙伴認識你,還能領(lǐng)取20積分哦,立即完善>

3天內(nèi)不再提示

新一代Linting技術(shù):避免功能錯誤,更快完成芯片設(shè)計

新思科技 ? 來源:未知 ? 2023-04-03 22:15 ? 次閱讀

在上一篇文章芯片驗證反內(nèi)卷,搭載ML技術(shù)的高級校驗工具讓你躺贏中,我們提到Linting是一項非常重要的技術(shù),多年來也取得了巨大的進步。如今,當代芯片設(shè)計所涉及的功能錯誤和設(shè)計問題多種多樣,從RTL設(shè)計描述中的高風險編碼實踐,到設(shè)計投入生產(chǎn)后才會出現(xiàn)的復(fù)雜軟硬件交互錯誤,都會對產(chǎn)品質(zhì)量產(chǎn)生重大影響。

為了避免出現(xiàn)代價昂貴而又費時的設(shè)計返工或改版,開發(fā)者們不僅需要智能的Linting工具來盡早發(fā)現(xiàn)盡可能多的RTL問題,更需要一套預(yù)定義的、值得推薦的基礎(chǔ)/高級版本Linting檢查,以備不時之需。這一理念正是新思科技GuideWare方法學的核心。

GuideWare是我們?yōu)樵O(shè)計團隊自主研發(fā)的一整套規(guī)則集,旨在加速完成Lint工作流程,幫助團隊每次都能按時完成設(shè)計,而且這套指導(dǎo)規(guī)則集已經(jīng)被業(yè)內(nèi)許多領(lǐng)先的半導(dǎo)體公司所采用。

在本期文章中,我們將深入探討以下幾個問題:

  • 在汽車領(lǐng)域,是什么樣的設(shè)計挑戰(zhàn)推動了GuideWare的問世和研發(fā)?
  • 新思科技VC SpyGlass Lint的GuideWare在RTL早期階段能夠發(fā)現(xiàn)哪些設(shè)計問題,從而避免讓開發(fā)者們等到綜合或邏輯等價性檢查階段再進行不必要的迭代?
  • 重點介紹幾個可以通過新思科技VC SpyGlass功能Lint分析工具發(fā)現(xiàn)的高級問題

GuideWare:一針見血指出問題????????


大家都玩過樂高積木嗎?GuideWare方法學就相當于樂高的底座積木顆粒。通常我們要在開始拼搭結(jié)構(gòu)前先選好底座積木,再選擇用來加強基礎(chǔ)結(jié)構(gòu)的積木。使用GuideWare也是同樣的道理,不同領(lǐng)域的用戶可以在新思科技GuideWare規(guī)則集的基礎(chǔ)上修改并建立自己的Lint方法學,利用業(yè)界最全面的設(shè)計專業(yè)知識和最佳實踐知識庫,實現(xiàn)用戶指定的擴展。

當我們有一套可靠的設(shè)計方法學后,就相當于有了一個全面的分步Linting檢查流程。客戶在寫完RTL代碼后便可以立即使用。這種含有規(guī)則集的方法學文檔可以作為團隊的重要框架,確保他們在整個設(shè)計過程中保持風格前后一致,同時還能通過多核技術(shù)來加速運行時間。

不同應(yīng)用的設(shè)計需求截然不同,所需的Linting檢查也千差萬別。以符合ISO 26262標準的汽車應(yīng)用為例,汽車應(yīng)用設(shè)計中需要確保不存在邏輯擁塞或大的多路選擇器或延遲的級數(shù)很深等不良做法,通常汽車開發(fā)者傾向于采用模塊化、可復(fù)用的設(shè)計方法學,而新思科技的GuideWare Lint Automotive正好可以滿足這一要求。

新思科技VC Spyglass Lint采用“左移”的識別方法學,能夠提前發(fā)現(xiàn)新思科技Design Compiler和Formality在實現(xiàn)流程中讀取設(shè)計階段報告的代碼問題。通過使用VC SpyGlass Lint,開發(fā)者可在RTL早期階段的等價性檢查中就識別出復(fù)雜的驗證問題,從而減少下游階段的迭代。此外,我們還開發(fā)了專用規(guī)則集來發(fā)現(xiàn)仿真與綜合之間的不匹配問題。

超越常規(guī):功能Lint分析

功能驗證的目標是在開發(fā)過程中盡早地發(fā)現(xiàn)盡可能多的問題。面對棘手的可移植性挑戰(zhàn),語義和語法檢查一直都起著關(guān)鍵作用。

憑借深厚的專業(yè)知識和技能,新思科技在傳統(tǒng)Linting方法學的基礎(chǔ)上新增了功能Linting檢查。借助新思科技的VC SpyGlass Lint,開發(fā)者能夠以獨特的簡易流程,以更智能、更快速和更深入的方式開展功能Lint分析。用戶無需提供復(fù)雜的約束條件,也無需具備形式驗證方面的專業(yè)知識,便可利用新思科技的無縫混合流程加速RTL簽核。VC SpyGlass利用VC Formal原生技術(shù),為解決位寬不匹配和越界檢查等RTL設(shè)計問題提供了一套綜合、易用、低誤報的方法學,從而實現(xiàn)違例報告更準確的高質(zhì)量RTL。

d086a1ee-d229-11ed-bfe3-dac502259ad0.png

以DeadCode和FSM LiveLock為例,前者是用于識別不會被觸發(fā)的RTL代碼的關(guān)鍵檢查,后者則是針對多個狀態(tài)下無限等待的檢查。它們都無法被傳統(tǒng)的Linting檢查技術(shù)識別,因此需要使用新思科技的VC SpyGlass功能Lint技術(shù)。此外,簡單的調(diào)試功能,如波形查看器和帶有詳細注釋的原理圖查看器,也能進一步縮短驗證時間。代碼復(fù)雜性看板報告也能幫助管理團隊預(yù)估RTL的復(fù)雜性。這些獨特的功能能夠?qū)撛阱e誤盡早暴露給開發(fā)者,從而避免它們在下游階段演變成更嚴重的問題。

d09f6fa8-d229-11ed-bfe3-dac502259ad0.png

新一代Linting技術(shù)

實現(xiàn)更智能、更快速、更深入的RTL簽核

Linting檢查讓開發(fā)者的工作更加輕松、編寫的代碼更加穩(wěn)健,同時也更適合后續(xù)的驗證和實現(xiàn)流程。新思科技始終是Linting檢查技術(shù)領(lǐng)域的領(lǐng)導(dǎo)者和踐行者,始終致力于幫助客戶更早發(fā)現(xiàn)漏洞和其他設(shè)計錯誤。新思科技的VC SpyGlass包含CDC、RDC和Lint技術(shù),作為新一代的RTL簽核平臺,已獲得各大公司的廣泛使用。意法半導(dǎo)體等公司通過使用VC SpyGlass將CDC/RDC的驗證速度最多提高了4倍。

無論是新思科技的GuideWare方法學,還是VC SpyGlass Lint中利用VC Formal原生技術(shù)的功能Lint流程,均已成為業(yè)界領(lǐng)先的ASIC/SoC公司的基本設(shè)計方法學,且已被各大半導(dǎo)體公司所采用。即便是初創(chuàng)的小型芯片設(shè)計公司也將VC SpyGlass作為他們的第一選擇并納入其RTL流程。

新思科技與全球排名前20的半導(dǎo)體客戶均有合作,因此我們能夠及時掌握最新行業(yè)標準,開發(fā)出完備的RTL簽核Linting工具。無論是設(shè)計覆蓋的深度,還是適配各種RTL場景和編碼風格的廣度,我們的工具都表現(xiàn)地十分出眾。

未來,我們將剖析在功能檢查中集成機器學習(ML)技術(shù)和RCA功能將如何更好地幫助開發(fā)者大幅縮短周轉(zhuǎn)時間,并介紹智能Linting檢查在未來幾年的發(fā)展趨勢。


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

    關(guān)注

    5

    文章

    850

    瀏覽量

    51158

原文標題:新一代Linting技術(shù):避免功能錯誤,更快完成芯片設(shè)計

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

收藏 人收藏

    評論

    相關(guān)推薦
    熱點推薦

    中星微發(fā)布最新一代AI芯片“星光智能五號”

    近日,在福州舉行的第八屆數(shù)字中國建設(shè)峰會上,中星微宣布其最新一代AI芯片“星光智能五號”在“數(shù)字感知芯片技術(shù)全國重點實驗室”成功運行Deepseek 7B/8B/16B大模型,成為首款
    的頭像 發(fā)表于 05-06 16:03 ?235次閱讀

    新一代光纖涂覆機

    ,固化效率高,避免時間過久造成涂層變形。 ?總結(jié) 濰坊華纖光電科技的新一代光纖涂覆機系列在技術(shù)功能和可靠性方面均處于水平,能夠滿足各類常規(guī)及特種光纖的涂覆需求。其的設(shè)計和核心
    發(fā)表于 04-03 09:13

    比亞迪推出全新一代車規(guī)級碳化硅功率芯片

    在3月17日的超級e平臺技術(shù)發(fā)布會上,比亞迪發(fā)布了劃時代超級e平臺,推出閃充電池、3萬轉(zhuǎn)電機和全新一代車規(guī)級碳化硅功率芯片,核心三電全維升級,搭配全球首個電動車全域千伏架構(gòu),刷新多項全球之最。
    的頭像 發(fā)表于 03-24 17:10 ?553次閱讀

    新思科技推出基于AMD芯片新一代原型驗證系統(tǒng)

    近日,新思科技宣布推出全新基于AMD Versal? Premium VP1902自適應(yīng)系統(tǒng)級芯片(SoC)的HAPS?原型驗證系統(tǒng),以此進步升級其硬件輔助驗證(HAV)產(chǎn)品組合。 此次推出的全新一代
    的頭像 發(fā)表于 02-19 17:12 ?577次閱讀

    芯華章推出新一代高性能FPGA原型驗證系統(tǒng)

    華章科技,也在不斷提升硬件驗證的對應(yīng)方案和產(chǎn)品能力。 HuaPro P3作為芯華章第三FPGA驗證系統(tǒng)產(chǎn)品,采用最新一代可編程SoC芯片,結(jié)合自研的HPE Compiler工具鏈,可支持容量更大、速度
    發(fā)表于 12-10 10:49 ?526次閱讀
    芯華章推出<b class='flag-5'>新一代</b>高性能FPGA原型驗證系統(tǒng)

    國產(chǎn)EDA公司芯華章科技推出新一代高性能FPGA原型驗證系統(tǒng)

    作為國產(chǎn)EDA公司的芯華章科技,也在不斷提升硬件驗證的對應(yīng)方案和產(chǎn)品能力。 HuaPro P3作為芯華章第三FPGA驗證系統(tǒng)產(chǎn)品,采用最新一代可編程SoC芯片,結(jié)合自研的HPE Compiler工具鏈,可支持容量更大、速度
    發(fā)表于 12-10 09:17 ?608次閱讀
    國產(chǎn)EDA公司芯華章科技推出<b class='flag-5'>新一代</b>高性能FPGA原型驗證系統(tǒng)

    先進機器人焊接技術(shù):解析新一代焊接控制模塊的關(guān)鍵功能與應(yīng)用實踐

    在當今的制造業(yè)中,先進機器人焊接技術(shù)已經(jīng)成為了提升生產(chǎn)效率、保證產(chǎn)品質(zhì)量和實現(xiàn)精密制造的重要工具。新一代焊接控制模塊作為這項技術(shù)的核心組成部分,其關(guān)鍵功能的優(yōu)化與創(chuàng)新應(yīng)用,正持續(xù)推動著
    的頭像 發(fā)表于 12-06 09:06 ?874次閱讀

    英偉達新一代AI芯片過熱問題引關(guān)注

    近日,英偉達新一代Blackwell AI芯片遭遇過熱問題,這消息引發(fā)了業(yè)界的廣泛關(guān)注。據(jù)悉,搭載該芯片的服務(wù)器在運行過程中存在過熱現(xiàn)象,可能影響其正常交付,這令谷歌、微軟等潛在客戶
    的頭像 發(fā)表于 11-19 16:15 ?557次閱讀

    聯(lián)發(fā)科新一代天璣旗艦芯片針對谷歌大語言模型Gemini Nano優(yōu)化

    近日,聯(lián)發(fā)科宣布了個重要的技術(shù)進展——新一代天璣旗艦芯片已經(jīng)針對谷歌的大語言模型Gemini Nano進行了深度優(yōu)化。
    的頭像 發(fā)表于 10-09 16:44 ?721次閱讀

    具有錯誤觸發(fā)避免功能的過零檢測

    電子發(fā)燒友網(wǎng)站提供《具有錯誤觸發(fā)避免功能的過零檢測.pdf》資料免費下載
    發(fā)表于 09-23 11:41 ?0次下載
    具有<b class='flag-5'>錯誤</b>觸發(fā)<b class='flag-5'>避免</b><b class='flag-5'>功能</b>的過零檢測

    一代功能新一代AI加速器(DRP-AI3):10x在高級AI系統(tǒng)高級AI中更快的嵌入處理

    電子發(fā)燒友網(wǎng)站提供《下一代功能新一代AI加速器(DRP-AI3):10x在高級AI系統(tǒng)高級AI中更快的嵌入處理.pdf》資料免費下載
    發(fā)表于 08-15 11:06 ?0次下載
    下<b class='flag-5'>一代</b>高<b class='flag-5'>功能</b><b class='flag-5'>新一代</b>AI加速器(DRP-AI3):10x在高級AI系統(tǒng)高級AI中<b class='flag-5'>更快</b>的嵌入處理

    雷森受邀參與新一代“車路云未來交通”技術(shù)沙龍活動

    近日,“高感知·深云控”嘉寶智慧灣會客廳暨新一代“車路云未來交通”技術(shù)沙龍舉行。行業(yè)專家、高校學者、企業(yè)家們共聚堂,就如何用好嘉定區(qū)已有道路路側(cè)數(shù)據(jù)、打通車路之間協(xié)同感控鏈路、利用新一代
    的頭像 發(fā)表于 08-07 09:35 ?861次閱讀

    新一代超聲波清洗技術(shù)的優(yōu)勢與發(fā)展前景

    新一代超聲波清洗技術(shù)通過高頻振動產(chǎn)生微小氣泡,這些氣泡在接觸物體表面時瞬間破裂,產(chǎn)生強大的沖擊力,有效去除污漬和污垢。這種非接觸式的清洗方式不僅高效,還能避免對清洗物體造成損傷。 引入可調(diào)頻率
    的頭像 發(fā)表于 07-22 09:41 ?581次閱讀
    <b class='flag-5'>新一代</b>超聲波清洗<b class='flag-5'>技術(shù)</b>的優(yōu)勢與發(fā)展前景

    韓國兩大芯片公司尋求合并,以開發(fā)新一代AI芯片

    在人工智能芯片設(shè)計領(lǐng)域,韓國兩大初創(chuàng)公司Rebellions Inc.和Sapeon Korea Inc.近日宣布計劃合并,共同開發(fā)新一代AI芯片,以在激烈的國際競爭中搶占先機。
    的頭像 發(fā)表于 06-18 16:10 ?821次閱讀

    PCB線路板制造中常見的錯誤有哪些,如何避免?

    站式PCBA智造廠家今天為大家講講避免常見pcb設(shè)計錯誤的方法有哪些?避免常見PCB設(shè)計錯誤的方法。
    的頭像 發(fā)表于 06-07 09:15 ?744次閱讀