英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 01:14:47 [时尚] 来源：北京医源堂中医研究院郑州分院
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：焦点)
您知道如何根据居室空间来选择空调吗？—万维家电网
专访海信王云利：5g当道AI加持，海信将打造你专属的智能家电生态圈—万维家电网
发布品质白皮书 奥克斯进入“品质经济”快车道—万维家电网
2019AWE现场，我被美的敦煌联名款无风感空调圈粉了！—万维家电网
春天到了朋友们别忘给空调做个SPA—万维家电网推荐文章
-
寒冬腊月是一年之中最寒冷的一个月，虽然家里的暖气烧的非常之热，但是我们的屋子里还不是很暖和，如果我们拥有一台高品质的空调，那么温暖舒适的环境会随时的陪伴在我们的身边。当朋友完成了一天辛苦工作回到家中，
...[详细]
-
GMCC&Welling：新机遇、新挑战，助力全球消费电器产业绿色发展—万维家电网
2022年中国家用电器技术大会将于近期在浙江省宁波市举办。据悉，美的工业技术旗下GMCC美芝&Welling威灵不仅会带来全新的未来战略布局，更会带来空调、冰箱、洗衣机等领域的
...[详细]
-
美的空调春装季火爆四月：至高立省1399元，4月购机抄底正当时—万维家电网
每年4月，都是家电换新、家装采购的黄金窗口期，而今年4月空调市场的第一波重磅大促，当属美的空调春装季！要知道，2026对于空调产品来说，有气候与成本的双重预警！据悉，厄尔尼诺已确定来袭，预计今夏将迎超
...[详细]
-
12月18日，主题为“携手并肩，聚变未来”的2019年新科空调合作伙伴峰会在江苏常州圆满落幕。全国各地六百多家经销商、供应商朋友齐聚一堂，共同畅叙发展硕果，分享2018年丰收后的喜悦，更是为2019年
...[详细]
-
长虹空调感恩行动宣誓继节前推出SPA养生空调引爆淡季市场之后，3月10日，长虹空调8000万重金打造的新服务体系，“阳光服务，感恩行动”启动新闻发布会在四川绵阳举行。这个被誉为行业金牌的服务体系，最大
...[详细]
-
相遇阳朔,畅享健康森呼吸 海尔洗空气空调G系列全球首发—万维家电网
山峦如黛，水秀如画，阳朔不仅有着｢甲天下｣的绝美风景，更有着沁人心脾的健康好空气 …4月25日，海尔空调新品发布会在阳朔举办，现场海尔空调不仅携手中国天气对好空气进行了深度
...[详细]
-
7月22日晚，海信空调夏季全球发布会暨战略伙伴云峰会在青岛举行。发布会上，海信新风空调X系产品集体亮相。海信空调副总裁王宏伟表示，随着2021新冷年开启，海信空调将施行“四新”策略，并
...[详细]
-
天再热，空调也能用！海尔56℃除菌空调闯过沙漠“高温禁区”！迄今第一例—万维家电网
79℃考验空调的极限运行性能。迄今为止，还没有一台空调能闯过79℃的沙漠“高温禁区”？海尔56℃除菌自清洁空调是唯一的例外！7月12日14：00，海尔空调“挑战79℃高温制冷新纪录”体验云众播在海尔智
...[详细]
-
1902年，美国生产出第一台空调，满足了人们冬暖夏凉的需求；1983年，日本制造了第一台变频空调，让空调更节能省电精准控温；2012年，中国志高创造了第一台智能云空调，让用户体验层次更上一层楼。智
...[详细]
-
3月9日上午10时，格力电器自主生产的口罩在格力官方商城“董明珠的店”正式上线销售。截至11时，共有68630人预约成功。预约成功并中签才能有资格买！预约购买页面显示，口罩优先支援抗疫一线，因货源稀缺
...[详细]
热点阅读
