英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 06:39:05 [百科] 来源：河北众亿天融机械设备有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：热点)
联合国秘书长呼吁美伊紧张局势降级_
艾为电子逻辑芯片产品矩阵与应用场景
泉州：醉酒男车停开发区马路上酣睡已被采取强制措施
东风汽车首款轴向磁通分布式电驱样机下线推荐文章
-
00后步入职场，企业如何“接招” 编辑：汤晓雪 来源：中国青年报
...[详细]
-
光庭信息，一家为智能汽车提供高性能计算软件的供应商，宣布其数据分发服务(DDS)现已支持QNX软件，使公司能够更好地支持一系列嵌入式汽车电子应用，包括但不限于信息娱乐系统、数字仪表、安全系统、高级驾驶
...[详细]
-
泉州网8月2日讯 记者吴宗宝 实习生陈培锋 通讯员黄骏）昨日，市人社局发布泉州市2018年企业工资指导线。今年我市企业货币工资增长上线为13%，基准线为8%，下线为3%，且企业支付职工工资不得低于我市
...[详细]
-
昨日，受副高南侧偏东气流影响，南安天气以多云为主，市区最高气温为31.7℃，午后部分乡镇温度较高，天气略显闷热。据南安市气象台预报，预计明天副高北抬，低层逐渐转东北气流控制，湿度减小，南安
...[详细]
-
贸泽电子(Mouser Electronics)，作为业界知名的半导体和电子元器件新品引入(NPI)代理商，近日宣布与Same Sky(原CUI Devices)建立全球授权代理合作关系。Same S
...[详细]
-
芯干线荣获2025中国IC设计成就奖之年度最佳功率器件/宽禁带器件
此前，2025年3月27-28日，全球前沿的电子行业媒体机构 AspenCore，在上海金茂君悦大酒店成功举办了“国际集成电路展览会暨研讨会(IIC Shanghai 2025)”。作为行业的佼佼者，
...[详细]
-
3月31日，移远通信正式发布FGM842D系列超小型Wi-Fi4 & BLE 5.2 双模通信模组。该系列模组凭借其卓越的性能、超紧凑设计及多重安全防护，正在为智能家居和工业物联网等领域提供高出色的通
...[详细]
-
海峡网9月26日讯 泉州网记者游怡冰 通讯员郭子芳）记者从泉州台商投资区获悉，作为台商投资区“五纵五横”骨干路网之一，台商投资区海湾大道一期工程日前全面开工。海湾大道起于后渚大
...[详细]
-
回顾2024年可穿戴芯片新品：AI技术迭代加速，医疗监测成为发展新主线
电子发烧友网报道文/莫婷婷）2024年，可穿戴设备市场持续发展，上游各家厂商创新不断，在芯片解决方案、传感器技术、无线通信模块等方面不断创新，以满足日益增长的功能需求，例如更精准的健康监测、更长的电池
...[详细]
-
海峡网7月5日讯 泉州晚报记者吴宗宝）来自团市委消息，为纵深推进人才“港湾计划”和青年人才“鸿鹄行动”，落实“人才总量倍增”专项
...[详细]
热点阅读
