英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 01:46:24 [焦点] 来源：山东奔马工程机械有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：知识)
余承东领衔参与央视跨界对话
英飞凌2026财年Q2业绩亮眼 利润率17.1%
中微爱芯AiP893XR系列高压高摆率轨到轨输出运算放大器简介
泉州市招募30名高校毕业生 服务安永德社区
蓝星光域完成数亿元B轮融资推荐文章
-
这个被称为 QUEEN 的模型支持低带宽、高质量的场景生成，可用于工业机器人操作、3D 视频会议和直播等流媒体应用。NVIDIA Research 与马里兰大学合作开发的 AI模型 QUEEN 将内容
...[详细]
-
不玩虚的！拆解USB3.0双向切换器，看看8.5Gbps是怎么跑出来的
假如你常在多台设备间切换使用外设，或需在不同网络间安全传输数据，不妨看看今天的拆解：2进1出双向USB3.0切换器——它能让你在两台电脑或其他USB主机间轻松切换使用同一USB外设，无论是传输文件、打
...[详细]
-
霞淮街道路两侧的车辆随意乱停放；毅达小区内基础设施薄弱，一到晚上停车位“一位难求”；丰冠路有人占用公共空间，设置了营利性停车位……26日上午，泉州市
...[详细]
-
英飞凌科技Infineon）于2026财年第二季度交出强劲成绩单，营收达38.12亿欧元，利润6.53亿欧元，利润率17.1%，显著高于行业平均水平。基于AI需求持续爆发及汽车业务订单回暖，公司同步上
...[详细]
-
据联合早报12月18日消息，中国半导体设备龙头企业中微公司以及风投公司IDG Capital，已被移出美国五角大楼的中国军事企业清单简称“CMC清单”）。从美国五角大楼的文件显示，该部门已将中微公司和
...[详细]
-
来源：幕库科技盛会启幕近日，第19届北京国际汽车展览会在首都国际会展中心盛大启幕。本届展会以“领时代・智未来”为主题，汇聚全球汽车产业链前沿力量，智能化、数字化成为全场核心焦点。幕库科技重磅亮相B1E
...[详细]
-
天气炎热，市民撑伞过马路。市区丰海路的沥青路面出现“下蜃景”的景象，路面望去像有一滩水。11日中午，市区宝洲街，市民抗暑武装出行。来自市气象台的消息，昨日起至20日，泉州市将迎
...[详细]
-
作为一个现场维护工程师，你一定遇到过这种“崩溃瞬间”：设备偶发报警、偶尔停机、偶尔通信失败——你用万用表测电压电流都正常，但问题就是会在某个不经意的时刻再次出现。原因很简单：万用表擅长给你一个“数值答
...[详细]
-
电子发烧友网报道(文/莫婷婷）音频设备数据吞吐量的提升是当前无线通信领域的一个重要发展趋势，蓝牙、Wi-Fi和UWB作为三种主要的无线通信技术，在这一趋势中扮演着关键角色。数据吞吐量指的是在一定时间内
...[详细]
-
日前，市民政局等五部门联合下发通知，全市统一招募30名高校毕业生，安排到纳入县级基本财力保障范围的安溪县、永春县、德化县的城市社区从事社区工作，服务期限为2年。具体名额为每县10人。报名时间为5月25
...[详细]
热点阅读
