英諾達(成都)電子科技有限公司近日正式推出了兩款全新的靜態驗證EDA工具——EnAltius?CDC跨域檢查工具和Lint RTL代碼檢查工具。這兩款產品的發布,標志著英諾達在芯片設計工具領域邁出了重要一步,將為中國芯片產業的發展注入新的活力。
靜態驗證作為一種業界普遍使用的驗證方法,通過對設計的源代碼進行深入分析,能夠發現設計中的潛在問題。與動態仿真驗證和形式化驗證相結合,靜態驗證可以顯著提高驗證的覆蓋率,幫助設計師在設計開發的早期階段快速發現和診斷設計缺陷,從而有效縮短設計驗證所需的時間,提升芯片設計的整體效率。
EnAltius?CDC跨域檢查工具和Lint RTL代碼檢查工具正是基于這一理念而開發的。它們不僅能夠為設計師提供更加全面、準確的驗證結果,還能夠與英諾達現有的靜態驗證和分析EDA工具形成互補,共同構成一個完整的驗證體系,為芯片設計提供全方位的支持。
此次兩款新品的發布,進一步豐富了英諾達的產品線,也展示了英諾達在芯片設計工具領域的創新能力和技術實力。未來,英諾達將繼續致力于為中國芯片產業的發展貢獻更多的優質產品和服務。
聲明:本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人,不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用,如有內容侵權或者其他違規問題,請聯系本站處理。
舉報投訴
相關推薦
攜最新發布的兩款靜態驗證EDA工具亮相ICCAD,英諾達的創始人、CEO王琦博士在專題論壇發表了
發表于 12-17 16:24
?303次閱讀
(2024年12月5日,四川成都)英諾達(成都)電子科技有限公司隆重推出兩款全新的靜態驗證EDA
發表于 12-05 10:13
?360次閱讀
此前,中科創達旗下創通聯達震撼發布基于高通芯片平臺的首款面向開發者的輕量型“派”產品——RUBIK Pi(魔方派)。該
發表于 11-15 11:23
?483次閱讀
近日,國際集成電路展覽會暨研討會(IIC Shenzhen)在深圳成功舉辦,英諾達受邀參加并發表了演講。英諾
發表于 11-08 16:46
?385次閱讀
10月30日,英諾達官方微信發布消息稱,英諾達與清華大學近期展開合作,共同深化產學研融合。此次合
發表于 10-31 14:15
?492次閱讀
過程中必不可少的一環,它幫助工程師找到問題的根源并進行優化。隨著設計復雜性的提升,調試作為驗證的“最后一公里”正面臨越來越多的挑戰。如何有效提升調試效率,已成為行
發表于 10-26 08:03
?303次閱讀
用TPA4411過程中,發現靜態電流居然達100MA左右,這對電池供電的產品來說,要命啊,是芯片特性還是芯片問題?求解
發表于 10-25 06:12
受限于線纜的束縛,極大提升了使用的便捷性。
無線充電芯片的技術不斷創新,包括高效能量傳輸技術、智能控制算法優化、多協議兼容性及互操作性提升等。如英銳恩的無線充電
發表于 09-27 11:32
了門級功耗分析的精度。) (2024年9月12日,四川成都)英諾達(成都)電子科技有限公司發布了EnFortius?凝鋒?門級功耗分析工具(GPA)的新版本V24.08,新增波形重放(
發表于 09-12 11:22
?333次閱讀
日前,英諾達在深圳成功舉辦了《低功耗設計挑戰與應用》研討會,為繼上海站和武漢站之后的巡回研討會畫上圓滿的句號。三地的研討會吸引了來自企業和高校的工程師、設計人員、學者和技術愛好者,眾多與會者紛紛表示出對低功耗設計及國產EDA工具
發表于 09-03 10:17
?480次閱讀
SD NAND轉接板和燒錄座是一種專為工程師設計的輔助工具,它能夠將不同尺寸的SD NAND芯片轉換為通用TF接口封裝,從而方便地進行性能測試和驗證。這種配套測試工具不僅提高了工作效率,還大大降低了測試成本。
發表于 08-13 09:44
?369次閱讀
在半導體行業的快速變革中,英諾賽科(蘇州)科技股份有限公司以卓越的氮化鎵產品,已發展成為全球領先的第三代半導體高新技術企業。近期發布的招股書數據顯示,
發表于 07-08 12:53
?300次閱讀
近日,有消息透露,英諾賽科公司正籌備在今年內赴香港進行首次公開募股(IPO),預計融資規模將達到約3億美元。
發表于 03-25 15:40
?917次閱讀
英飛凌就其GaN相關的美國專利對英諾賽科提起訴訟,目前正在尋求永久禁令! 3月14日英飛凌官網發布消息稱英飛凌科技股份有限公司(Infineon Technologies AG)將通過其子公司英飛凌
發表于 03-21 11:00
?530次閱讀
Technologies Austria AG)對英諾賽科(珠海)科技有限公司(Innoscience (Zhuhai) Technology Company, Ltd.)、英諾賽科
發表于 03-14 18:04
?722次閱讀
評論