英諾達發(fā)布全新靜態(tài)驗證產品，提升芯片設計效率
英諾達(成都)電子科技有限公司近日正式推出了兩款全新的靜態(tài)驗證EDA工具——EnAltius?CDC跨域檢查工具和Lint RTL代碼檢查工具。這兩款產品的發(fā)布，標志著英諾達在芯片設計工具領域邁出了重要一步，將為中國芯片產業(yè)的發(fā)展注入新的活力。
靜態(tài)驗證作為一種業(yè)界普遍使用的驗證方法，通過對設計的源代碼進行深入分析，能夠發(fā)現(xiàn)設計中的潛在問題。與動態(tài)仿真驗證和形式化驗證相結合，靜態(tài)驗證可以顯著提高驗證的覆蓋率，幫助設計師在設計開發(fā)的早期階段快速發(fā)現(xiàn)和診斷設計缺陷，從而有效縮短設計驗證所需的時間，提升芯片設計的整體效率。
EnAltius?CDC跨域檢查工具和Lint RTL代碼檢查工具正是基于這一理念而開發(fā)的。它們不僅能夠為設計師提供更加全面、準確的驗證結果，還能夠與英諾達現(xiàn)有的靜態(tài)驗證和分析EDA工具形成互補，共同構成一個完整的驗證體系，為芯片設計提供全方位的支持。
此次兩款新品的發(fā)布，進一步豐富了英諾達的產品線，也展示了英諾達在芯片設計工具領域的創(chuàng)新能力和技術實力。未來，英諾達將繼續(xù)致力于為中國芯片產業(yè)的發(fā)展貢獻更多的優(yōu)質產品和服務。
聲明：本文內容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權轉載。文章觀點僅代表作者本人，不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學習之用，如有內容侵權或者其他違規(guī)問題，請聯(lián)系本站處理。
舉報投訴
-
芯片
+關注
關注
463文章
54031瀏覽量
466429 -
eda
+關注
關注
72文章
3113瀏覽量
183056 -
代碼
+關注
關注
30文章
4970瀏覽量
74016 -
英諾達
+關注
關注
1文章
56瀏覽量
2762
發(fā)布評論請先 登錄
相關推薦
熱點推薦
英諾賽科產品完成谷歌AI硬件平臺導入 并簽訂供貨協(xié)議
。 ? 基于當前的項目開發(fā)與客戶對接進展，公司將聚焦于AI服務器、數(shù)據(jù)中心等高增長潛力領域，積極與產業(yè)鏈合作伙伴協(xié)作，合規(guī)地開展相關產品的商業(yè)化落地，滿足市場及客戶需求。 ? 作為英偉達800V?HVDC芯片端唯一的中國供應商，
英諾達Palladium Z3集群并機投入運營
近日，英諾達EnCitius曜奇SVS平臺的Palladium Z3硬件仿真加速系統(tǒng)已完成并機調試，投入運營。作為行業(yè)公認的“驗證重器”，該集群可提供高達46億門的超大設計容量，全面支
英諾達SVS平臺榮膺2026 IC風云榜年度最佳解決方案獎
SVS系統(tǒng)驗證平臺，成功斬獲“年度最佳解決方案獎”。該獎項旨在表彰為行業(yè)提供高品質、創(chuàng)新性且已獲得廣泛市場認可的解決方案，彰顯了英諾達在超大規(guī)模芯
英諾達亮相2025中國計算機學會軟件大會
與工程師參與。英諾達的EDA研發(fā)副總李英夢博士受邀出席，并發(fā)表題為《大型工業(yè)軟件研發(fā)之基礎架構和支撐系統(tǒng)》的主題演講，系統(tǒng)分享國產EDA企業(yè)在構建高可靠、高復雜度工業(yè)軟件過程中的技術思
英諾達ELPC榮登國產EDA“口碑榜”
近日，由《中國電子報》主辦的“國產EDA工具口碑榜”正式揭曉，英諾達自主研發(fā)的低功耗設計檢查工具ELPC成功入選，成為12款獲此殊榮的國產EDA工具之一。該榜單旨在發(fā)掘真正“好用、易用、客戶點贊
英諾達亮相IIC Shenzhen 2025
2025年11月25日，國際集成電路展覽會暨研討會(IIC Shenzhen)在深圳舉辦，英諾達創(chuàng)始人及CEO王琦博士應邀出席，并于“全球CEO峰會”發(fā)表題為《低功耗設計新范式：突破算力芯片
英諾達榮膺國家級專精特新“小巨人”企業(yè)
近日，工業(yè)和信息化部公布了第七批專精特新“小巨人”企業(yè)名單，英諾達（成都）電子科技有限公司憑借其在數(shù)字EDA工具領域的技術突破與產業(yè)化成果，獲評該稱號！
英諾達亮相IDAS 2025設計自動化產業(yè)峰會
2025年9月16日，以“銳進”為主題的第三屆設計自動化產業(yè)峰會(IDAS 2025)在杭州圓滿閉幕。英諾達參與了本屆盛會，并在技術分享、產品創(chuàng)新、生態(tài)共建與人才培養(yǎng)等多個維度全面亮相
英諾達榮獲“中國芯”EDA產品革新獎
2025年9月15日，“中國芯”第二屆EDA專項獎頒獎儀式在杭州舉行，英諾達的EnFortiusLPC低功耗設計檢查工具(ELPC)憑借其卓越的技術創(chuàng)新與市場表現(xiàn)，榮獲“產品革新獎”。
英諾達2025技術巡回研討會圓滿結束
繼成都首站成功舉辦后，英諾達2025年“左移賦能，功耗突圍”技術巡回研討會于7月22日、24日在北京和上海相繼舉行。本次巡回研討會聚焦低功耗設計與靜態(tài)
英諾達EDA專題技術研討會成都站圓滿收官
近日，英諾達的EDA專題技術研討會在成都“芯火”雙創(chuàng)基地成功舉辦，吸引了來自芯片設計企業(yè)、科研院所及產業(yè)鏈上下游的三十余家單位參會，共同探索國產EDA工具在
英諾達推出EnCitius曜奇SVS Cloud公有云服務
仿真云平臺，SVS Cloud通過彈性硬件資源調度+自動化工具鏈+完整方法學，將芯片驗證效率提升至全新高度。
本土EDA企業(yè)英諾達亮相DVcon China 2025
to deliver complete CDC solutions for advanced IC design》。該工具通過創(chuàng)新算法與全流程覆蓋能力，為高性能芯片設計提供完整的CDC驗證解決方案，顯著提升復雜多時鐘域設計的可
英諾達推出RTL功耗優(yōu)化工具
英諾達（成都）電子科技有限公司隆重推出芯片設計早期RTL級功耗優(yōu)化工具—EnFortius RTL Power Explorer（ERPE），該工具可以高效、全面地在RTL設計階段進行
新思科技攜手英偉達加速芯片設計，提升芯片電子設計自動化效率
解決方案在英偉達 GPU和英偉達 CUDA-X庫上所實現(xiàn)的加速 基于英偉達 GB200 Grace Blackwell超級芯片，新思科技PrimeSim預計將電路仿真的速度
發(fā)表于 03-19 17:59
?499次閱讀
工商網(wǎng)監(jiān)
評論