英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 14:18:45 [百科] 来源：上海闪威实业有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：综合)
浙江电信与海康威视签订战略合作协议
今后加湿功能将会成为空调的发展趋势—万维家电网
谁是空调安装“免费午餐”的受益者?—万维家电网
格力：卧室空调“睡梦宝”隆重上市—万维家电网
京东方亮相2024世界显示产业创新发展大会推荐文章
-
近日，以“显示无处不在·映照万千气象”为主题的第六届世界显示产业创新发展大会在成都举行，此次大会是新型显示产业领域的一场盛会，汇聚了全球显示产业的前沿力量，共同探讨新产品、新技术的发展方向。作为世界显
...[详细]
-
根据国家信息中心监测数据，今年国内空调平均零售价格较去年同比增长9.3%；壁挂式空调和柜式空调的平均价格同比增长分别为10.38%和9.32%。在竞争激烈、降声一片的家电市场,面对早已习惯了价格战的消
...[详细]
-
你最近是否感觉喉咙有些不适或是头痛？或是近段时间来你的家人常犯感冒？这很可能是你家的超龄空调引起的！记者调查发现，东莞有近10万台的“超龄”空调仍在继续“服役”。业内人士指出，“超龄”空调不但是“吃电
...[详细]
-
9月17日，新科空调温州地区2008年新品推广会在温州东方罗马假日大酒店隆重举行。新科空调营销总经理徐良、服务经理沈小伟等公司新科公司高层领导，以及新科空调宁波办事处总经理朱春晓等，与温州地区总代理商
...[详细]
-
RJ45转接头的用途网络连接：RJ45转接头可以将RJ45接口的设备如电脑、路由器、交换机等）连接到其他类型的接口，如RJ11电话线接口）或USB接口。设备兼容性：在不同设备之间进行网络连接时，可能需
...[详细]
-
美的空调日前在商场做促销活动时，不仅宣称保证该品牌产品百分百地使用铜管，还曝料称其他一些企业在空调连接管上偷偷地用铝管代替铜管，欺骗消费者。此言论立即引发了格力、海尔、科龙等其他品牌的回应，称“铝代铜
...[详细]
-
从疾病预防控制部门了解到，军团菌病是近年来新出现的一种传染性疾病，可引起暴发或散发的严重呼吸道传染病，人体处于长期不清洗的空调环境内极易感染发病。 据山西省卫生厅疾病预防控制处负责人冯立忠介绍，军团菌
...[详细]
-
今冬，西安将出现“寒冬”天气。许多市民已张罗储备蜂窝煤或提前申请供暖，那么，蜂窝煤、土暖气、空调、燃气锅炉哪种取暖方式更划算？哪个又最安全最干净？记者昨日采访了一些已经准备好过冬的市民。 蜂窝煤取暖最
...[详细]
-
在“双碳”战略背景下，发展绿色经济已成各地发展共识。唐山，这座“因煤而建、因钢而兴”的百年工业重镇，正在持续推动公路货运行业绿色转型，全力推进能源低碳发展。11月，《唐山市支持新能源体系建设若干政策2
...[详细]
-
全球多个国家罕见高温 原料铜价格上涨本报讯 商务部昨天透露，今年1至6月我国空调的出口量达到了2884万台，同比增幅达10.7%；同期出口金额为43.9亿美元，同比增幅达23.6%。目前，中国已是全球
...[详细]
热点阅读
