英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 18:02:43 [休闲] 来源：龙岩麦格雷自动化设备有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：时尚)
华为SmartLi 5.0顺利通过全球首个UL 9540A:2026大规模火烧测试
脉锐光电推出1550/1560nm紧凑型飞秒激光器模块
即发集团采购南京大展的DZ
07年健康空调“擂台秀”谁能笑到最后？—万维家电网推荐文章
-
产品 品牌 销售量% 销售额% 空调 海尔 27.66% 32.34% 美的 16.46% 15.83% 海信 11.37% 11.55% 志高 8.27% 7.00% 奥克斯 7.91% 7.30%
...[详细]
-
电子发烧友网综合报道 近期，一段印度工厂的视频在网络上引发了广泛关注：工人们头戴装有摄像头的环形设备，坐在缝纫机前记录每一个缝制动作。这并非简单的生产监控，而是一场正在全球范围内悄然兴起的物理AI数据
...[详细]
-
华为NetMaster网络智能体全面升级Agent Skills
随着AI应用规模化落地，企业数字化与云化转型持续加深，数据中心网络架构愈发复杂。网络设备、业务链路、流量交互模型规模呈指数级增长，运维数据海量激增，隐性问题与复合型故障频发，传统运维面临人力运维效率不
...[详细]
-
力芯微近日正式推出ET5H7XX系列低功耗低压差线性稳压器LDO），该系列支持2.8V至60V的超宽输入电压范围，静态电流低至3.0µA，最大输出电流300mA，输出电压可固定配置1.8V至15V，并
...[详细]
-
独立等离子、除尘等离子、健康负离子……昨天，记者走进正在上海商务中心家电城举行的第九届上海家用电器节现场，随机拿到的14个空调广告中，有11个与各种离子“攀上亲”。营业员宣称装了离子发生器的空调能“净
...[详细]
-
企业的发展，很少是一条直线。在许多行业中，当企业走到一定阶段，往往会进入一种“看似稳定、实则低效”的状态：规模不小、业务不弱，但利润承压、效率下降，组织逐渐被复杂性吞噬。此时，问题的关键，已不再是如何
...[详细]
-
不用MacMini，ESP32就能跑！这个开源项目让AI Agent硬件成本下降99%
前言当AI不再依赖昂贵服务器如果你一直以为AI智能体必须跑在高性能服务器或Mac Mini(约885美元）上，那这个开源项目可能会刷新你的认知边界——仅用一块ESP32-S3开发板，成本约5美元国产板
...[详细]
-
算力升级，液冷护航随着大模型训练、高性能计算蓬勃发展，数据中心算力供给、智能调度、场景化落地与高效散热已成为行业刚需，企业对算力自主可控、调度灵活、能效稳定、安全可控提出更高要求。中微电科技以自主研发
...[详细]
-
力行高端战略，坚持技术领先、产品领先，日前，以“变频专家”著称的海信空调顺应高端消费趋势推出的“鼎”系列直流变频新品，采用行业领先的矢量直流变频控制技术和直流变频双转子压缩机和电子膨胀阀节流技术，在节
...[详细]
-
构建AI就绪型企业：推动AI规模化部署与增强数字弹性的新举措出台
首届中小企业AI影响力大奖及新的公私合作，将会加速企业AI转型，增强网络弹性，保障新加坡数字基础设施安全随着企业加速采用AI人工智能），挑战正从实验探索转向安全规模化部署。许多企业在从试点走向全面实施
...[详细]
热点阅读
