英诺达发布全新静态验证产品，提升芯片设计效率
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：百科)
关于理想汽车的车辆OTA机制问题
泉州多措并举提升农民素质 去年培训高素质农民7238人
霍尔电流传感器温漂补偿技术揭秘：硬件补偿→软件校准→AI智能的三代技术对比
劳动保障守法诚信等级 泉州248家企业评A级
东风汽车首款轴向磁通分布式电驱样机下线推荐文章
-
“自立娃”吃出浅表性胃炎 编辑：汤晓雪 来源：扬子晚报
...[详细]
-
来自泉州市金融监管局的消息，今年以来，全市金融系统大力推进“学金融、懂金融、用金融”活动，深入推进落实“勇当上市融资的主力军”，金融运行保持稳定向好态势
...[详细]
-
初战告捷！浙江紫宸激光荣获“绿扬金凤”人工智能产业专场赛一等奖
春潮涌动，智汇扬城。3月28日，2026扬州人才校园日苏州大学专场暨“绿扬金凤”人才创新创业大赛人工智能专场）在苏州大学独墅湖校区成功举办。在这场集聚高层次人才与前沿科技项目的盛会上，我司浙江紫宸激光
...[详细]
-
东南网5月10日讯福建日报记者 李向娟 通讯员 陈雪霞 李程 郑致洲） 记者日前从泉州市有关部门获悉，根据地区生产总值统一核算结果，今年一季度泉州实现地区生产总值2411.09亿元，同比增长19.7%
...[详细]
-
生育友好型社会应无学历歧视 编辑：汤晓雪 来源：羊城晚报
...[详细]
-
Littelfuse/CK推出TDB系列超小型半间距表面贴装拨码开关
新型镀金、可清洗拨码开关可在空间受限的设计中实现高密度PCB布局。为安全高效的电能传输提供先进解决方案的领导企业Littelfuse公司 (NASDAQ：LFUS)，今天宣布推出 Littelfuse
...[详细]
-
【寻味中华】四方食事，不过几勺山西陈醋 编辑：汤晓雪 来源：中国新闻
...[详细]
-
江波龙亮相2026 AMD渠道 新兴伙伴生态大会，以集成存储共建端侧AI生态
近日，以“千帧聚势竞赢 AI骏启生态”为主题的2026 AMD渠道&新兴伙伴生态大会顺利举办。作为AMD全球核心生态合作伙伴，江波龙携端侧AI集成存储方案亮相，公司董事长、总经理蔡华波受邀出席，与各方
...[详细]
-
近日，第十五届物联网产业与智慧城市发展年会在京成功举办，由中国通信工业协会指导，中国通信工业协会物联网应用分会主办，多家机构协办。北京中元易尚科技有限公司飞猫）凭物联网领域杰出贡献，荣获“2024物联
...[详细]
-
共模半导体：破解工业红外成像的‘高清密码’，筑牢设备监测精准防线
一、直击痛点：红外成像为何 “差之毫厘，谬以千里”？工业场景中，红外热像仪是设备的 “生命监测仪”，但10µV 级的微弱红外信号仅为普通电压的百万分之一）极易被噪声干扰 —— 电源纹波会让热图 “糊成
...[详细]
热点阅读
