時時頭條
  • 娛樂
  • 體育
  • 財經
  • 科技
  • 旅遊
  • 軍事
  • 育兒
  • 時尚
  • 遊戲
  • 歷史
  1. 首頁
  2. 科技

重磅!國產EDA釋出全新靜態驗證產品!

2024-12-05 22:57:54

點選藍字 關注我們

(2024年12月5日,四川成都)英諾達(成都)電子科技有限公司隆重推出兩款全新的靜態驗證EDA工具:EnAltius®CDC跨域檢查工具和Lint RTL程式碼檢查工具。這兩款工具的推出,將進一步提升晶片設計的效率和可靠性,助力中國晶片產業的發展。

靜態驗證是透過分析設計的原始碼來發現設計中的問題,作為業界普遍使用的方法,在設計中透過配合動態模擬驗證和形式化驗證,可以顯著提高驗證的覆蓋率,幫助設計師在設計開發的早期更快地發現和診斷設計缺陷,從而縮短設計驗證所需的時間。這兩款工具的釋出進一步豐富了英諾達的產品線,迄今為止英諾達已經推出了6款面向數位電路的靜態驗證和分析EDA工具。

新產品概覽

EnAltius®昂屹®CDC 跨域檢查工具

跨時鐘域(Clock Domain Crossing)是數字積體電路設計中常見的複雜問題,時鐘域處理不當通常會出現亞穩態、資料丟失、潛在毛刺、多資料相關性丟失等問題,導致晶片功能異常甚至失效,是流片失敗的主要因素之一。 EnAltius®CDC可以在保證跨時鐘域CDC檢查完備性和準確性的同時,在最短時間內向使用者提供簡潔的違例報告 。其專有的靜態邏輯檢測演算法,能夠準確解析跨時鐘域經典結構,還可以透過電路功能性分析從而完成難度更高的非經典的跨時鐘域結構分析,為使用者提供全面而精確的分析結果。及早發現並解決CDC問題,可以大大提高晶片的可靠性,減少晶片在實際應用中發生故障的機率,而且在晶片設計早期發現並修復CDC問題,可以降低設計迭代成本。

EnAltius®昂屹®Lint RTL程式碼檢查工具

Lint工具是程式碼工程師的左膀右臂,能夠發現設計程式碼中潛在的語法錯誤和邏輯錯誤,尤其是在設計中對IP、模組等進行復用時,經常出現風格不統一,不利於維護的問題。對於這些問題,設計團隊要在第一時間解決,否則將直接導致編譯或執行錯誤,影響開發效率和質量。 EnAltius®Lint不僅可以提供基本語法、語義和規範檢查,還可以檢測在模擬、驗證或綜合階段的潛在缺陷,幫助設計團隊實現檢查的“左移”,從而實現早期RTL程式碼質量籤核 。該工具採用業界廣泛應用的編碼規範,例如RMM和STARC,以及英諾達及其設計合作伙伴在該領域多年的專業積累而成的規範。這款工具不僅能提高程式碼的可讀性,便於團隊協作,還可以降低設計風險,提高晶片的可靠性。

注:ECDC工具的GUI介面

這兩款工具均基於英諾達全新的軟體架構,透過讀入標準檔案格式進行分析和報告。同類工具的違規報告往往存在大量重複和組織混亂的資訊,增加了分析難度。 EnAltius®CDC和Lint工具對同源違例進行合併,並對訊息進行了歸類,減少了重複的分析、除錯和迭代過程 。即使在設計異常龐大的情況下,該工具以目標為導向的簡潔報告和組織功能依然可以幫助使用者聚焦關鍵問題。

此外,透過圖形化使用者介面(GUI),從違例資訊開始,到違例路徑到電路細節,該工具為使用者清晰地展示電路中的潛在問題。使用者可以透過RTL原始碼或電路原理圖進行追根溯源,並精準定位到問題源頭。其中,增量電路原理圖僅僅顯示違例相關邏輯,將任何不相關邏輯隔離開,為使用者排除干擾資訊從而能夠輕鬆地深入分析複雜設計。

華中科技大學積體電路學院童喬凌教授表示:“英諾達的靜態驗證工具讓我們在設計早期就發現了許多我們以前沒有注意到的問題,大大提高了晶片的可靠性,讓我們對程式碼的質量有了更高的信心。該系列工具也加速了我們的設計迭代,提升了效率。期待英諾達能夠持續創新,推出更多先進的EDA工具,為中國晶片產業的發展貢獻更大的力量。”

“隨著晶片設計複雜度的不斷提高,設計企業對靜態驗證工具的需求也越來越迫切。”英諾達的創始人、CEO王琦博士表示,“特別是諸如CDC和RTL程式碼質量檢測這類基礎且不可或缺的驗證工具,市場當前對國產化的解決方案抱有極大的期待與需求。英諾達全新發布的EnAltius®CDC和Lint這兩款工具,將為晶片設計企業提供更加高效、可靠的靜態驗證解決方案,助力其在激烈的市場競爭中保持領先優勢。”

12月11-12日,英諾達將亮相在上海舉辦的第三十屆積體電路設計業展覽會(ICCAD-Expo),英諾達將攜最新產品參會,您可以關注我們的演講資訊,或前往英諾達的展臺瞭解我們的系列EDA工具。

關於英諾達

英諾達(成都)電子科技有限公司是一家由行業頂尖資深人士創立的本土EDA企業,公司堅持以客戶需求為導向,幫助客戶實現價值最大化,為中國半導體產業提供卓越的EDA解決方案。公司的長期目標是透過EDA工具的研發和上雲實踐,參與國產EDA完整工具鏈佈局並探索適合中國國情的工業軟體上雲的路徑與模式,賦能半導體產業高質量發展。英諾達首款自主研發的EnFortius®凝鋒®系列低功耗EDA工具,可有效幫助IC設計工程師定位並分析低功耗設計相關問題。在靜態驗證領域,EnAltius®昂屹®系列工具將在設計流程的早期增強可預測性,幫助IC設計工程師做出最優決策。英諾達的EnCitius®曜奇® SVS系統驗證平臺則利用EDA上雲的優勢,為客戶打通驗證資源的渠道,提供全面的SoC及系統級驗證的一站式解決方案,提高晶片設計效率。此外,英諾達還可提供完整、可定製的前/後端設計服務。

12-02

11-21

11-08

熱門資訊
  • LG Q9家用管家機器人計劃明年推出 整合GPT-4o AI模型 | 2024-12-03 20:07:24
  • 三星在韓國推出AI訂閱俱樂部服務 使用者可租賃智慧家電 | 2024-12-03 20:07:26
  • AMD RX8800 XT顯示卡或明年1月釋出 較前代旗艦功耗低25% | 2024-12-03 20:07:29
  • 榮耀平板V9三款配色及後蓋設計曝光 鏡頭DECO採用圓形設計 | 2024-12-03 20:07:30
  • 三星AR眼鏡原型或在明年1月展示 僅重50g並支援Gemini AI | 2024-12-03 20:07:32
  • 美國又來“卡脖子” 我們不要慌 | 2024-12-03 20:33:17
  • 位元組跳動豆包上線圖片理解,大模型走向多模態 | 2024-12-03 20:33:26
  • 美國晶片慎用!中國四大行業協會發聲 | 2024-12-03 20:34:36
  • 神舟十九號飛行滿月,將出艙活動!王亞平亮相,或無緣神舟二十號? | 2024-12-03 21:01:24
  • 《中國科學基金》 | 鄂維南院士:2024年諾貝爾物理學獎評述 | 2024-12-03 21:59:27
  • 傳小米明年釋出新款OLED安卓平板 OLED筆電正在調研 | 2024-12-03 22:02:51
  • 中國噸級以上eVTOL日本首飛成功 | 2024-12-03 22:12:00
  • 低空經濟“飛”出新賽道 長虹推動“低空+”應用新場景加速落地 | 2024-12-03 22:26:12
  • 韓斌、寧光等6名上海科技工作者獲2024年度何梁何利基金獎 | 2024-12-03 22:26:15
  • 海南商業航天發射場將形成高密度發射態勢 2025年月月有發射 | 2024-12-03 22:38:31
  • 第100發!長三乙成為我國首個發射次數破百次單型火箭 | 2024-12-03 22:50:26
  • 中國電信啟動北斗短報文終端夥伴合作計劃:華為、小米等加入 | 2024-12-03 22:54:37
  • 華為迎來雙喜:摺疊PC已有突破,鴻蒙生態也有新進展! | 2024-12-03 23:22:09
  • 極致價效比!Intel銳炫B580/B570顯示卡正式釋出:效能飆升12.5倍 | 2024-12-03 23:22:15
  • 東北農業大學博士研究生以第一作者身份在一區Top期刊(IF5y=7.6)上發表文章 | 2024-12-03 23:24:32
  • 深圳麥樂克“MIR-TE100-XS”溫溼度感測器透過星閃認證 | 2024-12-03 23:46:54
  • 已經國產化,為何華為不公開麒麟晶片資訊?華為在害怕什麼? | 2024-12-03 23:49:04
  • 領先RTX 4060 10%!Intel二代銳炫B系列顯示卡官方圖賞 | 2024-12-04 00:05:33
  • 對標RTX 4060!Intel銳炫B580限量版顯示卡圖賞 | 2024-12-04 00:19:58
  • 《自然·醫學》:見證奇蹟!科學家發現,深腦電刺激外側下丘腦可以幫助癱瘓患者恢復行走能力丨臨床大發現 | 2024-12-04 00:26:10
  • 晶片戰場丨美國悍然升級對華半導體管制:140家企業被列入“實體清單” 限制裝置商和HBM | 2024-12-04 00:56:47
  • 東航C919執飛新航線,國產飛機運營怎樣了 | 2024-12-04 01:41:24
  • 午睡半小時,大腦更強大!Science論文揭開睡眠增強大腦功能及表現的關鍵機制 | 2024-12-04 01:55:44
  • 湖北武漢首條無人機空中血液配送航線啟航,使用順豐豐翼無人機 | 2024-12-04 04:01:39
  • 一週三起事故,SSJ-100引人憂 | 2024-12-04 04:21:06
最近發布
突發!TVB知名女星毫無預警宣佈與未婚夫分手,結束長達八年情 面對被黑,蘭姐強勢迴歸。小菲狀態好轉,發宣告。更多內幕揭曉! 中國男籃決戰日本隊,首發五人曝光,廣東隊大贏家,徐傑第一後衛 孫穎莎奪女單冠軍!採訪謙遜立足拼,劉國樑給中國選手頒獎笑開花 分析 馬威交易取消後的影響:湖人還有什麼選擇?只能等休賽期? 火箭vs猛龍前瞻:範弗裡特有望復出戰舊主,火箭欲終結六連敗 梅西轟動宏都拉斯!當地媒體:這是世紀體育盛事! 登記開啟!金中、29中、13中等校動了! 開年暴擊!南京又一家機構跑路了? TechInsights:AI PC未能提振筆記本市場 2024年僅增長5% 睡覺時突然腿抽筋,就是缺鈣?錯!還有這4個原因,別輕易忽視了 泡泡瑪特又贏麻了!此前被調侃是“境內最大的博彩公司” 再也不用扎手指!5億糖尿病患者有福了 傳《尼爾:機械紀元》續作、新《古墓麗影》今年公佈 有工作經驗的畫素畫師如何寫簡歷? 離譜!Xun被搶3條龍,JDG仍然獲勝!Peyz力挽狂瀾,WBG痛失好局 將耗死在國際空間站?59歲美滯留女宇航員求救:喪失重要身體機能 華為FreeClip耳機玫瑰金開售 開放式聆聽設計 CBA俱樂部杯-山西淘汰北控晉級4強 原帥18分 小紅書上移民的中產:曾經北京七套房, 羨慕海外一張床, 如今卻...... 不可抗力停課2天以上退一半保教費,佛山幼兒園收費新規釋出 紅棉襯醉美,2020番順醉美青餅評測 華為FreeClip耳夾耳機玫瑰金配色開售:1299元 64歲寧波老闆,跨界無數次,給員工發8億,即將擁有第三家IPO? 卡友資訊股東持股情況變動 廣州“城市合夥人”:城市與人才的雙向奔赴 有人說孫穎莎粉絲是飯圈文化的時候 卻有些人用真金白銀愛孫穎莎! 男生剪“短髮”髮型乾淨利落,試試這3款,剪完帥氣提升顏值! 7個臀部訓練最佳動作,打造迷人的蜜桃臀! 偉大的4-2!林詩棟奪冠:新科世界第1誕生、超越王楚欽,狂攬3冠 新疆完美了!新小外強於皮特森+黑根斯,承認補強大外良性競爭! 林詩棟奪男單冠軍!採訪大談不容易太謙遜,單獨拍照露出笑容! 國乒最新戰報!林詩棟第2局11-8,衝3冠王,梁靖崑救2局點仍輸球 替補奇兵!快船大將5記3分助隊贏球 哈登好幫手 爆冷!北控男籃吊打奪冠大熱門球隊,外援決定比賽的走向 官宣離任,胡明軒宣佈重要決定,廣東宏遠遺憾,杜鋒祝福 又一個賈德松!崔康熙看人很準,魯媒:卡約又要錯過中國聯賽了 劉國樑憔悴!黑眼圈很重,擋住蒯曼被提醒,孫穎莎王楚欽被裁判整 林詩棟逆轉梁靖崑奪冠,成就三冠王,綜合實力更加突出 CBA最新外援註冊資訊,遼籃4人,新疆補充新援,廣東男籃放棄萊斯 大滿貫收官獎金排名:林詩棟三冠60萬第1,孫穎莎第2王曼昱10萬第9 臺灣律師分析大S遺產劃分,S媽要錢得看汪小菲臉色,打臉光頭安排 臺媒曝大S家人鬆手,讓出撫養權給汪小菲,希望馬筱梅善待孩子 二線白酒暴雷,狼真的來了! 搭上比亞迪,自動駕駛獨角獸,利潤大增170%! 炸裂!外資吹響“加倉中國”集結號背後:科技格局重塑與資產重估 這波夢幻西遊副本積分兌換真是血虧,四賜福的山賊值得買嗎? 《星戰亡命之徒》高階美工又回到CDPR 開發《巫師4》 《哪吒2》登陸北美,首映禮現好萊塢!有觀眾哭花眼妝:特效超預期,買票靠搶 曝張蘭被封年損失近4億,麻六記絕地自救太壯觀,員工曬張蘭近況

©2024 時時頭條 版權所有

隱私政策 | 服務條款 | 聯繫我們