英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 17:48:47 [焦点] 来源：福州木名而来有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：热点)
富士康携手Porotech进军AR眼镜市场
志高智能云空调，给长辈更多关爱—万维家电网
志高入围国采空调协议供货—万维家电网
空调行业进入“冷静期” 创维“轻奢”空调破局—万维家电网
禾赛科技荣获四大重磅奖项推荐文章
-
电子发烧友网报道文/梁浩斌）最近蔚来正式发布了其旗舰车型ET9，其中用上了不少业界最新的技术，其中包括了48V的低压架构。但ET9上又不只有一套低压系统，据官方介绍，ET9上同时支持12V和48V系统
...[详细]
-
近日，全国多地出现强降雪天气，气温骤降。预测表示，此次降雪将持续到下周，届时冷空气来袭，北京最低温将跌至-12℃。对于今年降雪的提前到来，不少网友笑称“小跑进入冬天”，“在冰天雪地里冻成狗”。
...[详细]
-
看上去与足球事业不相干的志高空调，此次却彻底与足球扯上了紧密的联系。10月23日，家电大佬、志高集团董事局主席李兴浩在广州天河体育中心正式宣告志高女子足球队成立并将出征即将开打的2015-2016
...[详细]
-
双11之战于今日凌晨打响，看着双十一明星晚会，加着购物车，盯着满减，输着支付宝密码，惬意啊！高兴之余，当你回头一望，却看见一双眼睛已是泪流满面！你正在心里默念我败家？你错了，绝对不是！我会轻轻告诉你，
...[详细]
-
近日，南芯科技证券代码：688484）受邀出席 2025 华勤技术全球核心合作伙伴大会，并荣获由华勤授予的“优秀质量奖”，这是南芯连续第二年获此殊荣，也是继“华勤 2023 最佳协同奖”以来连续三年获
...[详细]
-
最近，全国各地纷纷迎来了今冬的第一场雪，而民间大神也悄然出动，趁着漫天飞白，把雪人堆出了二次元的超高境界。看着朋友圈里被刷爆的各种神图，媒体人老王有些坐不住了，顶着文艺青年的头衔这么多年，他对这些DI
...[详细]
-
正当家电业界为黄金周后市场的空窗期而担忧时，一场即将到来的空调市场“盛宴”给予了这种担忧以正面的回答。近日，各空调巨头动作频频，双十一到来前，厂商们开始在线下强势截流线上“蛋糕”。在这场市场竞争中
...[详细]
-
有位互联网大咖说过：“站在风口上，猪都能飞起来。”但你千万别当真，埋怨自己连头猪都不如，因为这位大咖给公司起了个名字叫小米，华为当初起名的时候，估计也没考虑那么多。但有的人给公司起名就能“人名合一”，
...[详细]
-
近日，在2024亚洲金选奖EE Awards Asia）颁奖典礼上，安富利荣获“企业奖——优秀供货能力通路商”奖项。亚洲金选奖由EE Times及EDN专业技术媒体及业内专业人士共同评选，旨在表彰对推
...[详细]
-
“双十一”大战前夕，海信打破传统淡旺季的市场思维惯性，在空调业发动了一场声势浩大、规模空前的“制热节”，通过大手笔的资源投入、大力度的市场活动、大规模的精品普及等措施抢先启动市场，得到了苏宁、国美
...[详细]
热点阅读
