英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 15:00:15 [综合] 来源：福州木名而来有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：休闲)
2024物联网年会聚焦智慧城市，飞猫科技双奖加冕！
磁传感器全球出货量市场份额TOP 4！编码器芯片±0.02°精度直击人形机器人关节痛点
纳芯微磁传感器多场景渗透贯穿整车系统
美的模式：中国空调业的“马太效应”—万维家电网
北京桂花网推出企业级蓝牙网关新品M1500系列推荐文章
-
新华社联合国7月8日电记者尚绪谦）联合国秘书长古特雷斯的发言人迪雅里克8日表示，古特雷斯对美国和伊朗重启战端表示震惊、呼吁降级紧张局势。迪雅里克在当天的例行记者吹风会上说，美伊之间已取得的外交成果正面
...[详细]
-
农芯一号龙芯“百芯计划”近日，江苏大学与龙芯中科强强联手，推出全国首款基于龙架构的农业专用SoC芯片——“农芯一号”。本次校企深度合作、协同创新，再次拓展了龙芯“百芯计划”应用版图。自主“中国芯”将驰
...[详细]
-
电子发烧友网综合报道长时储能已成为新型储能产业发展重点，全钒液流电池凭借本征安全、超长循环寿命优势，成为长时储能领域主流技术路线。国家多部门明确构建低成本长时钒基液流电池装备体系，多地将其纳入长时储能
...[详细]
-
我国突破核心壁垒！高端卫星通信终端颠覆性降本，干到“千元级”
电子发烧友网报道文/莫婷婷）近日，中国运载火箭技术研究院发布消息称，火箭院研究发展中心通信研究团队联合上海航天电子有限公司，在新型电磁调控核心技术领域取得阶段性关键突破，成功完成超表面电磁调控核心技术
...[详细]
-
电子发烧友网报道(文/莫婷婷）音频设备数据吞吐量的提升是当前无线通信领域的一个重要发展趋势，蓝牙、Wi-Fi和UWB作为三种主要的无线通信技术，在这一趋势中扮演着关键角色。数据吞吐量指的是在一定时间内
...[详细]
-
告别GPU“独角戏”！CPU强势杀回C位，国产算力迎来价值重估
电子发烧友网报道文/李弯弯）在经历了数年以GPU为核心的AIGC狂潮后，全球算力市场的聚光灯正在发生偏转。当行业目光过度聚焦于大模型训练时，曾被边缘化的CPU正强势回归AI基础设施的核心位置。这一转变
...[详细]
-
“芯” 耀亮相，载誉而归！度亘核芯荣获第九届红光奖激光器件创新奖
聚力创新，逐光前行！6月11日，2026世界激光制造大会暨第九届“红光奖”颁奖典礼在深圳隆重举行。度亘核芯刘育衔博士受邀出席大会并发表专题演讲。在备受瞩目的“红光奖”颁奖环节，我司自主研发的“单模98
...[详细]
-
作为国内自主算力领域骨干企业，兆芯向与会领导、院士专家及产业合作伙伴分享了 ZX86 云、边、端一体化自主算力体系建设成果，以及在城市数字化转型领域的实践探索。同时，兆芯展出了开胜 KH-50000
...[详细]
-
2024年11月，龙芯桌面和服务器平台新增73家企业的127款适配产品。其中包括：业务系统25款、安全应用18款、网络应用11款、医疗健康9款、地理信息系统6款、图形图像6款、社交沟通5款、教育教学2
...[详细]
-
大联大世平集团携手ams OSRAM深度解析EVIYOS前沿应用方案
近期，大联大控股旗下世平集团携手全球照明与传感头部企业艾迈斯欧司朗amsOSRAM），成功举办"ams OSRAM EVIYOS应用方案"线上专题研讨会，全面解析EVIYOS Shape产品核心优势及
...[详细]
热点阅读
