英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 17:42:45 [焦点] 来源：龙岩麦格雷自动化设备有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：娱乐)
美的中央空调热水一体机横空出世—万维家电网
“新时代”振奋国人 志高引领空调业进入”智能3.0”—万维家电网
首款温湿双控自清洁空调发布 海尔一举解决空调脏空气脏两大难题—万维家电网
创意酷品：你能想象的智能生活是什么样子？—万维家电网推荐文章
-
06年空调投诉持续增加,第三方售后有待加强中国消费者协会公布结果显示：去年全国消费者的投诉总件数同比下降了7.5%，而消费者对空调产品及售后服务的投诉量却同比增长了20.4% !消费者主要不满意的是什
...[详细]
-
海信上官小波：选智能空调，上首届海信京东High浪节—万维家电网
Let's GO，一起High！10月31日，在北京明星基地，可以实现智能语音控制、室内外双清洁等互动功能体验的海信男神小智空调全新发布。与此同时，海信空调营销公司电子商务部常务副总经理上官小
...[详细]
-
你能想象的智能生活是什么样子？是一呼百应的，还是无所不能的？是花样百出的，还是懂你听话的？在智能满天下的今天，想要智能不难，想要真正的智能，可就没那么容易。时下火热的智能家居是备受关注，各大厂商都想分
...[详细]
-
“新时代”振奋国人 志高引领空调业进入”智能3.0”—万维家电网
举世瞩目的十九大虽已胜利落幕，但其相关话题持续获全球网友热议，让国人备感自豪。同样令人振奋的还有中国制造，十八大以来，首艘国产航母顺利下水、“复兴号”高铁驰骋神州大地、C919大客机成功首飞……无一不
...[详细]
-
继相继获“中国世界名牌”、“全国质量奖”、“行业标志性品牌”、“出口免验”等四大荣誉之后 新年伊始，格力电器喜讯频传。2月12日晚，在由商务部和中央电视台联合举办的“中国品牌之路”主题晚会上，商务部正
...[详细]
-
海尔再成“首次”，透明服务生态平台促进行业服务再升级—万维家电网
5月30日，以“透明服务·生态共享”为主题的2018健康空气全球行暨海尔中央空调可视化安装服务平台发布会在北京金隅喜来登酒店成功举行。会议邀请了海尔中央空调用户资源创新总监付松辉、海尔中央空调顾服总监
...[详细]
-
11月22日，由奥克斯空调与时尚先生联手打造的第14届MAHB年度先生盛典正式启幕，公益成为本场活动的重要单元之一。而作为公益的重磅活动——先生公益行动率先在京发布，为盛典预热。此次先生公益行动不同以 ...[详细]
-
奥克斯品牌升级蓝计划全面发布，法拉利俱乐部跨界合作助力加持 —万维家电网
5月26日，一年一度的“法拉利赛道日嘉年华”盛事在上海正式拉开帷幕。奥克斯凭借不俗的实力，在众多知名品牌中脱颖而出，以“首个空调品牌”的身份成功达成与法拉利俱乐部的跨界合作。奥克斯品牌升级战略发布中国
...[详细]
-
高品质底气十足“钻石卡”8年包修 科龙双高效空调服务再升级凭借“钻石”般的过硬品质，科龙近日宣布大幅提高其产品包修年限，从1月28日起，消费者凡购买科龙双高效指定型号产品，均可获赠一张服务“钻石卡”，
...[详细]
-
熊熊的烈日加上火爆的世界杯，今夏注定不平凡。热情的球迷加上一场饕餮盛宴，必定会碰撞出别样的花火。足球美食嘉年华人气火爆 现场活动亮点不断6月17日，万维家电网携手海尔举办了“足球美食嘉年华”，用美食+
...[详细]
热点阅读
