英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 17:32:45 [百科] 来源：大连超越国际展览有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：知识)
浩亭携手OCP推出高效连接解决方案
“不用电的太阳能空调”骗局内幕揭秘—万维家电网
节能健康空调的玄之又玄和众妙之门—万维家电网
家用中央空调“维修费”实行明码标价—万维家电网
实习越来越“卷” 焦虑如何抚平推荐文章
-
扬杰科技荣获2024年行家极光奖“中国SiC IDM十强企业”
热 烈 祝 贺扬杰科技荣获2024年行家极光奖“中国SiC IDM十强企业”近日，“2024行家极光奖”颁奖典礼在深圳成功举办。扬杰科技有幸入选十强企业榜单，获得“中国SiC IDM十强”奖项，与数百
...[详细]
-
一直以来，“空调大战”大多是发生在空调销售商之间，但是今年南京的“空调大战”主要来自空调生产厂家和销售商之间的矛盾。由于原材料的上涨，特别是铜价的上涨，美的、海信等多家主流空调品牌纷纷发出涨价通知，
...[详细]
-
空调不仅无法除掉室内甲醛，特别添加的过滤网反而还会造成二次污染。而由于国家关于健康家电的标准仍在制定之中，目前除了光波空调之外，打着除甲醛、光触媒、冷触媒、氧吧、负离子、纳米等“健康”旗号的空调产品都
...[详细]
-
在日系手机中国市场全线溃退之际，空调领域也传来了同样的消息。近日，国家权威调查公司中怡康公布了中国所有空调品牌2005年度的销售报告，在按照销售额排名的前30位空调畅销型号中，日系品牌全体出局，这意
...[详细]
-
在“双碳”战略背景下，发展绿色经济已成各地发展共识。唐山，这座“因煤而建、因钢而兴”的百年工业重镇，正在持续推动公路货运行业绿色转型，全力推进能源低碳发展。11月，《唐山市支持新能源体系建设若干政策2
...[详细]
-
由32个常务理事单位首倡、4家骨干企业牵头，市空调玻璃钢协会制定的《关于加强行业自律管理的暂行办法》 12月27日讨论通过。这是我市中央空调制造领域第一部行业自律办法。 目前，全市中央空调相关生产企
...[详细]
-
功赎罪家用的中央空调出故障了,有的工程师上门维修,光上门费就要300元，这样的收费是否合理？类似的问题从2006年1月1日起将有明确的答案。记者昨天从上海家用电器行业协会了解到，该协会制订的全国第一
...[详细]
-
旗下作为全球最大移动空调、除湿机基地的TCL德龙家用电器工厂正式投产 由TCL集团与意大利德龙集团公司共同投资组建的全球最大移动空调、除湿机基地――TCL德龙家用电器工厂日前正式投产。该项目的建成意味
...[详细]
-
近日，中国电信股份有限公司浙江分公司(以下简称“浙江电信”)与杭州海康威视数字技术股份有限公司以下简称“海康威视”）举行战略合作协议签署仪式。浙江电信党委书记、总经理李云庄，海康威视董事长胡扬忠出席签
...[详细]
-
在国美、永乐思文、苏宁等大卖场采访中发现，眼下虽然是空调销售淡季，但一些上万元的高档新品空调却备受消费者的关注，销量逆市上扬。 据商家介绍，当前市面上最贵的空调是松下的一款名为“尊尚”豪华柜机，市
...[详细]
热点阅读
