英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 02:21:48 [时尚] 来源：济南皇铭数控设备有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：热点)
志高亮品质利剑 以前沿技术反攻外资品牌—万维家电网
5500Km极境穿越
争奇斗艳，AWE哪些科技会“引领”未来？—万维家电网
618前夕手撕奥克斯，格力誓要将“维权”进行到底—万维家电网
牢记八条 告诉您选购空调如何保证质量—万维家电网推荐文章
-
日前，一场主题为“永远与客户同行———LS空调技术交流与答谢会”在省会国际大厦成功举办，本次会议由LS(乐星)空调系统有限公司石家庄分公司主办。 从会上获悉，LS集团属于韩国LG集团旗下，成立于199
...[详细]
-
冰箱空调新国标实施，京品家电囊括所有首批达标产品—万维家电网
现在的家用电器能不能拥有更人性化的设计？能不能更适应我们的消费需求？答案是肯定的。1月9日，为引导企业加强以人为本的研发，中国标准化研究院主办的“首批通过冰箱、空调人类工效学新国标的产品发布会”在北京
...[详细]
-
美的发布“三个一”战略及MevoX家居智能体，开启自进化家居时代—万维家电网
2026年3月10日，以“智美万象”为主题的美的2026全屋智能战略发布会在上海举行。会上，美的正式发布全屋智能“三个一”战略、自进化家居智能体MevoX，以及全屋智能套系与场景解决方
...[详细]
-
海尔智家北京001体验中心9月11日开业，一起去打卡定制智慧生活—万维家电网
提到智能家居，相信许多人都知道，也非常想体验到智能家居的生活，但现实与理想之间总感觉存在着巨大的落差，其主要原因源于“东拼西凑”的现状。那么哪里才能够体验到真正的智能家居生活呢？北京人
...[详细]
-
消费者在选择空调时，不能只简单的根据价格来选择产品，更要根据自己的居住空间来选购，如果选择不当的话，不但不能够调节是室内气温，而且还有可能对空调本身造成不必要的损害。 今天，笔者就以10-25平方米
...[详细]
-
实测25款空调明示参数，25款存在虚标，消费者该何去何从？—万维家电网
炎热的夏季，空调成为了我们在这方严酷环境中唯一的寄托，以至于很多人自我调侃“夏天，我这命是空调给的”。而对于空调，万维家电网此前也做过很多关于制冷制热的极限横评，但是均是从实际使用效果上入手，关于空调
...[详细]
-
自2021年6月25日踏上场景品牌新征途，卡萨帝已经经过了一年的历练与磨砺，能够交出什么样的答卷？今天，卡萨帝给出了答案。2022年6月25日，主题为“家无界·爱不凡”的2022年卡萨
...[详细]
-
近来，随着全国进入“七下八上”，各地也开始进入雨季。有的小伙伴会有着这样的疑问，为何“七下八上”期间，北方地区会如此多雨？据中央气象台天气预报室专家介绍，我国是典型的季风气候，降雨落区主要受西北太平洋
...[详细]
-
目前市场上销售的空调机，大多附有质量认证标志。消费者在选购空调产品时，除了从品牌、性能、规格等方面进行考虑外，各种质量认证标志也可作为参考。而不同认证机构的标志各不相同，给消费者了解产品带来了一定程度
...[详细]
-
直面赛里木湖“极寒之境”：TCL空调小蓝翼系列开启冬季性能巅峰挑战—万维家电网
近日，TCL空调走进新疆赛里木湖，在低至-25℃的极寒自然环境中，完成了一场冬季极限挑战。赛里木湖位于天山山脉，冬季常年伴随极低温、强风及剧烈的大温差。这不仅是TCL小蓝翼空调硬核实力
...[详细]
热点阅读
