英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 00:45:38 [娱乐] 来源：福州木名而来有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：娱乐)
高通推出骁龙8至尊版
鲤城首例“零口供”污染环境案 私设铬作坊男子被刑拘
请慢些开：夜间超速闯红灯滴洒漏 土方车乱象多
泉州中山路保护提升工程将启动 出台40项措施最大限度不扰民
燧原科技亮相2024中国人工智能大会推荐文章
-
全球领先的软件定义系统级芯片(SoC)开发商XMOS近日宣布，已与飞腾云科技签署增值分销协议。根据协议，飞腾云科技被正式授权为XMOS全球首家增值经销商(VAR)，将利用XMOS的xcore芯片平台和
...[详细]
-
电子发烧友网报道文/梁浩斌）今年春节期间，EPC宣布与瑞萨达成一项全面的技术授权协议。根据协议，瑞萨电子将取得 EPC 成熟的低压 eGaN 技术，及其完善的供应链生态，从而加速高性能氮化镓解决方案在
...[详细]
-
滁州网讯全媒体记者包增光）全网热议的“奶绿波”将正式登陆滁城。作为本土老字号品牌，明绿液突破传统白酒业态，倾力打造滁州专属城市体验店，将于“五一”期间在
...[详细]
-
清华大学强基计划出炉 招生涉及11个专业 编辑：汤晓雪 来源：中国新
...[详细]
-
近日，全球知名电子制造服务商富士康(Foxconn)在12月24日正式对外发布公告，宣布与英国高科技企业Porotech达成战略合作，双方将共同进军快速发展的增强现实(AR)眼镜市场。此次合作的核心在
...[详细]
-
基于 AIMCUM55M1预测锂电池SOC、SOH和剩余寿命端侧AI MCU在预测锂电池SOC、SOH 和剩余寿命的需求在当今数字化时代，电池作为各种电子设备和交通工具的 “能量心脏”，其性能和寿命直
...[详细]
-
泉州工业企业技术更新改造“加速度” 今年前10月工业投资保持较快增长海峡网讯 泉州晚报记者蔡紫旻 王宇 通讯员黄银杏）今年以来，泉州市工业企业加快供给侧结构性改革，侧重技术更新
...[详细]
-
随着互联网的普及，网络已经深入千家万户，也成为一个拓展朋友圈的新渠道。有的人甚至连对方的脸都没见到，就和对方谈起“网恋”。海峡网12月27日(泉州网记者 苏玮杰 通讯员 凌文君
...[详细]
-
近日，燧原科技创新研究院首席研究员石恒博士受邀在2024中国人工智能大会的“AI芯片与智能计算创新生态”专题论坛上，发表了《面向AI芯片的高性能计算核领域特定语言探索》的主题演讲。2024中国人工智能
...[详细]
-
时间敲定了！今年12月底，省、市重点项目泉州市公共文化中心“四个花瓣”将基本完工，包括主体工程、幕墙、室内装饰、室外景观等，夜景灯光也将点亮。不久之后，市民就能在这里参观科技展
...[详细]
热点阅读
