英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 03:05:12 [探索] 来源：苏州佳佳电器售后服务中心
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：百科)
EMMC存储在手机中的应用
志高荣获“2015冷冻年度空调行业技术贡献奖”—万维家电网
IFA观察：海尔透明工厂展示中国造—万维家电网
稳、快、省：美的“制冷王”营造舒适家居—万维家电网
开放原子开源基金会与三个开源项目举行捐赠签约仪式推荐文章
-
滁州网讯全媒体记者刘 晨 通讯员王 松）今年以来，市公管局聚焦市场主体的急难愁盼问题，通过“线上+线下”送政策、“台账+制度”清资金、“抽查
...[详细]
-
“一手抓技术创新，一手抓知识产权保护，奠定了我们公司在全球压缩机行业的技术领跑者地位。”近日，第16届中国专利奖优秀奖获奖项目企业、广东美芝制冷设备有限公司下称美芝公司）副总经理、研发中心主任喻继
...[详细]
-
在远离我们生活和视野的地方，有很多人从事着特殊的工作，海上作业人员就属于这样的一个群体。武汉长江段上，常年有工程队在施工，有时为保证工程进度，工人们只能白黑轮流倒班，在专门的船上休息。为了给工作人员
...[详细]
-
8月3日，在广州举办的“让空气更健康”海尔空气产业2016冷年战略交互发布会上，海尔空调发布了采用专利自清洁技术在内的劲铂、帝樽等四款产品。从发布会上公布的数据看，31年来，海尔空调共进行了56次
...[详细]
-
瑞丰光电创新Mini背光技术方案和CHIP产品荣获两项客户荣誉
近日，惠科股份IOT-C BU 2024年度供应商大会在重庆隆重召开。会上，惠科为瑞丰光电颁发“最佳创新奖”，为瑞丰在过去一年精诚协作，并提供领先的创新Mini背光技术方案表示认可。作为惠科股份的战略
...[详细]
-
8月25日，微信硬件创新大赛总决赛在广州拉开帷幕，海尔作为大赛合作厂商携首款支持Airkiss的微信空调——海尔EBA系列空调亮相总决赛现场。这是继5月份海尔发布基于微信Airkiss的空调入网、控
...[详细]
-
什么？空调还能防火防盗？遇到室内异常火源还可以向用户发送火警警告？空调还有这种操作？随着空调业2018冷年重装开盘，素来“以快制胜”的志高在全国各区域开盘呈现“百盘齐发、百花齐放”的热闹景象。四川、河
...[详细]
-
无论是在海洋中、沙漠里，还是在地球的最北端，为了给更多用户带去更好健康空气体验，海尔空调站了31年岗。中国最北端的漠河气候极端，一年有7个月是冬天，夏季月平均气温却能达到35℃，因此，这里的民居和
...[详细]
-
精彩回顾丨为昕科技出席EDTEST2024深圳大会并发表重要演讲
2024电子设计与测试技术大会EDTEST2024）在深圳圆满举办，以“一起硬创，为您而生”为核心主题，深度聚焦电磁兼容、电源技术、信号完整性及元器件创新等，通过精彩纷呈的技术讲座与实战案例分享，深度
...[详细]
-
随着电商传统促销节点“815”的临近，各大电商企业纷纷摩拳擦掌，投入资源筹备促销活动。对于国内最大的自营式电商企业京东而言，“815”不仅是京东家电今年的最强促销，更是家电业务上线7周年时对消费者的主
...[详细]
热点阅读
