英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 09:44:49 [百科] 来源：北京当代联合国际会展有限公司扩展部
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：休闲)
色环电阻与其他电阻类型比较
多空调整建仓 沪铜短期料维持震荡—万维家电网
海信无氟直流变频空调全国同步上市—万维家电网
天津国美空调销售排行 格力美的平分秋色—万维家电网
出入境旅行双向复苏 为旅游业高质量发展注入新动能推荐文章
-
扬杰科技荣获2024年行家极光奖“中国SiC IDM十强企业”
热 烈 祝 贺扬杰科技荣获2024年行家极光奖“中国SiC IDM十强企业”近日，“2024行家极光奖”颁奖典礼在深圳成功举办。扬杰科技有幸入选十强企业榜单，获得“中国SiC IDM十强”奖项，与数百
...[详细]
-
地板辐射供暖供冷系统在住宅类建筑中应用的比较多，相关技术规范和数据也大多是针对此类建筑而给出的，在内部结构复杂的大空间建筑中的应用并不常见。而该系统在五棵松体育馆观众休息厅的成功应用表明：地板辐射供冷
...[详细]
-
12月10日，北京地区迎来的今冬的第一场雪，给这个干旱的冬季增添了些许的湿润，很多人忍不住出去享受这纯白的美景，可以看到大街上小区里，很多家庭都是老幼出动，在室外留下与这皑皑白雪的合影。雪景固然美丽，
...[详细]
-
在国家节能减排的大环境下，如何降低能耗成为各空调企业产品研发的重点。继美的、志高推出1瓦待机空调后，长虹空调近日也亮出了2008年市场杀手锏———睿典-三高效空调，这款空调待机功率仅为0.6瓦，而据专
...[详细]
-
瑞丰光电创新Mini背光技术方案和CHIP产品荣获两项客户荣誉
近日，惠科股份IOT-C BU 2024年度供应商大会在重庆隆重召开。会上，惠科为瑞丰光电颁发“最佳创新奖”，为瑞丰在过去一年精诚协作，并提供领先的创新Mini背光技术方案表示认可。作为惠科股份的战略
...[详细]
-
主题：光波美梦宝系列空调上市时间：2007年12月26日地点：杭州浙江宾馆格兰仕集团常务副总裁俞尧昌格兰仕集团常务副总裁陈曙明中国家电研究院吴尚杰发言格兰仕空调销售有限公司副总经理甘建国格兰仕空调技术
...[详细]
-
“广交会产品”对于国人来说，已经成为高档、新颖、质量好、创新科技，专供出口产品的代名词。然而，广交会向来的游戏规则是：唯外商可进，国人莫问！如果有幸进入过广交会的国内中间商及消费者，都有可能遇到过这样
...[详细]
-
近日，记者在对乡镇采访过程中发现，尽管眼下是空调销售的淡季，但空调市场却异常热闹。各家企业的业务员频繁地在各个乡镇走访，同时越来越多的品牌专营店也迅速建立起来。一些原先活跃于城市的现场推广和文艺表演活
...[详细]
-
近日，元宇宙标准化大会暨工业和信息化部元宇宙标准化工作组年会在江西南昌举办。会议期间《空间计算发展报告(2024)》(以下简称《报告》)正式发布。灵伴科技作为参编单位之一，展示了其在空间计算领域从硬件
...[详细]
-
由万维家电网独家举办的“2007年最受消费者欢迎的空调品牌评选”活动结果已经揭晓。自2007年11月初评选活动开展以来，到如今共有万余名网友踊跃参加，经过万维家电网对有效票数的统计，2007年最受消费
...[详细]
热点阅读
