英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 08:10:52 [休闲] 来源：北京当代联合国际会展有限公司扩展部
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：娱乐)
燧原科技亮相2024中国人工智能大会
绿化景观换“夏装” 扮靓街头提“颜值”_
“天”作之“合”共潮生_
霍尼韦尔李会强：以智控技术为笔 绘就建筑低碳智能化新蓝图
关于理想汽车的车辆OTA机制问题推荐文章
-
近日，美国商务部正式宣布，将依据芯片激励计划向三星电子提供高达47.45亿美元的直接资助。这一举措旨在助力三星电子在美国进一步扩大其芯片生产规模，提升全球芯片市场的竞争力。据悉，这笔资金将支持三星在未
...[详细]
-
新华网德清5月11日电记者 高方圆）作为2026世界品牌莫干山大会系列活动之一，由新华网主办的“2026AI赋能美好生活品牌发展论坛”于5月9日在浙江德清举办。伟星新材品牌经理
...[详细]
-
滁州网讯全媒体记者包增光）记者日前从南谯区获悉，经过多年持续推进，该区生活垃圾分类工作取得实效。截至2025年底，全区107个居民小区均开启生活垃圾分类运营工作，运营覆盖率达96.4%；其中84个小区
...[详细]
-
滁州网讯全媒体记者邢 颖 见习记者陈志璇）6月12日，市发改委联合人民银行滁州市分行、琅琊区发改委举办以“珍视信用价值，争创信用滁州”为主题的“6·1
...[详细]
-
法国量子计算领域的领先初创公司Quobly近日宣布了一项关于容错量子计算技术的重大里程碑。该公司报告称，其研发的FD-SOI(全耗尽绝缘体上硅)技术有望成为商业量子计算领域的可扩展平台，为量子计算的未
...[详细]
-
滁州网讯全媒体记者包增光）记者日前从南谯区获悉，经过多年持续推进，该区生活垃圾分类工作取得实效。截至2025年底，全区107个居民小区均开启生活垃圾分类运营工作，运营覆盖率达96.4%；其中84个小区
...[详细]
-
澳门新闻通讯社2026年3月25日琼海博鳌电记者 王依典）适逢博鳌亚洲论坛创立25周年的重要节点，高标准建设海南自由贸易港主题展暨琼海城市展，于3月24日至27日在琼海博鳌东屿岛文化公园隆重启
...[详细]
-
滁州网讯陶 怡 全媒体记者吕静远）近年来，我市深入践行“绿水青山就是金山银山”理念，紧扣林业高质量发展目标，充分发挥财政资金在“保安全、提质量、促转化”
...[详细]
-
在现代电子设备中，存储技术扮演着至关重要的角色。随着技术的发展，存储解决方案也在不断进步，以满足日益增长的数据存储需求。EMMC嵌入式多媒体卡）和NAND闪存是两种广泛使用的存储技术，它们在智能手机、
...[详细]
-
新华网德清5月11日电记者 高方圆）作为2026世界品牌莫干山大会系列活动之一，由新华网主办的“2026AI赋能美好生活品牌发展论坛”于5月9日在浙江德清举办。伟星新材品牌经理
...[详细]
热点阅读
