英诺达发布全新静态验证产品，提升芯片设计效率
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：百科)
默克集团在日本投资逾7000万欧元建先进材料开发中心
白云社区开展道德模范先进事迹学习活动_
专家观点：功率而非面积：边缘GPU设计为何迎来新纪元
泉州1月份社区卫生考评 共发现问题1059处
XMOS与飞腾云达成增值分销协议推荐文章
-
电子发烧友网报道文/黄山明）在储能系统中，电池等能源存储设备输出的电压可能会因充放电状态、负载变化等因素而波动。这时就需要有LDO能够将输入电压稳定地转换为固定的输出电压，为储能系统中的控制电路、监测
...[详细]
-
前期具有个人社保缴费情况、制卡服务网点查询等功能全国统一、全国通用泉州首张电子社保卡签发海峡网讯 东南早报记者许奕梅 文/图）记者昨日从泉州市人社局了解到，1月21日，泉州市区林女士在支付宝上领取了泉
...[详细]
-
滁州网讯6月1日下午，四合路社区新时代文明实践站联合滁州市博物馆、滁州市文博书苑举办“古画里的儿童节”主题活动。本次活动临近中国二十四节气中的“芒种”，
...[详细]
-
从具身智能机器人“显眼包”在春晚魔性出圈，到AI大神手搓智能体花式打工。我们一边感叹未来已来，一边又隐隐觉得离自己似乎还有点距离。而将这些科幻情节搬到日常的关键，就在MWC巴塞罗那，高通亮出的进化剧本
...[详细]
-
全球低功耗无线连接技术的佼佼者Nordic Semiconductor，近期推出了其最新的物联网原型验证利器——Nordic Thingy:91 X。该平台专为LTE-M、NB-IoT、Wi-FiSS
...[详细]
-
传音控股旗下Infinix NOTE 60 Ultra全球发布
在MWC 2026世界移动通信大会）期间，Infinix正式发布年度巅峰旗舰NOTE60 Ultra。这不仅是一款集尖端科技于大成的力作，更见证了Infinix以全新姿态在高端领域的全面进阶。汇集全球
...[详细]
-
评论：别让无薪试岗沦为职场新套路 编辑：汤晓雪 来源：北京青年报
...[详细]
-
滁州网讯5月16日，琅琊区新时代文明实践中心联合丰乐社区新时代文明实践站、滁州市解放小学开展了以“节约粮食 从我做起”为主题的反对浪费宣传教育活动。活动伊始，志愿者通过PPT展
...[详细]
-
Microchip推出12按钮MTCH2120交钥匙触摸控制器
为了助力设计人员快速将机械按钮升级为现代触摸按钮或显示屏，MicrochipTechnology Inc.(微芯科技公司)近期推出了12按钮MTCH2120交钥匙触摸控制器。这一创新产品为设计人员提供
...[详细]
-
交管业务“延期办”等政策6月30日停止执行 编辑：王丹妮 来源：市场
...[详细]
热点阅读
