英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 05:51:52 [时尚] 来源：义乌市丹诚企业管理咨询有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：百科)
南芯科技荣获华勤“优秀质量奖”
打破空调定律成就时代的奥克斯—万维家电网
格力全能王 送父母的最佳好礼—万维家电网
专访鲍英凯：百朗专注于空气置换领域—万维家电网
宁德时代与Stellantis集团合资建厂，总投资41亿欧元推荐文章
-
缓存对大数据处理的影响显著且重要，主要体现在以下几个方面：一、提高数据访问速度在大数据环境中，数据存储通常采用分布式存储系统，数据量庞大，直接从存储系统中读取数据会存在较高的延迟。而通过缓存技术，可以
...[详细]
-
都说“外行看热闹、内行看门道”。日前，于上海举行的中国第30次南极科学考察队出征仪式上，外行看到的是中国唯一一艘极地科考船“雪龙号”重新修葺释放出来的焕然一新，而内行看到的却是在这艘破冰船上，全船装备
...[详细]
-
人类的三次工业革命除了带来了学科的细分交叉，互联网技术的不断强大，更多是数据、信息、思维的变革。大数据时代的变革将以更短的时间、更强大的技术来刷新产业变革进程，带来更多的震撼和颠覆。 自上个世纪
...[详细]
-
11月22日，2013年广东省暖通空调与制冷技术学术交流会又称暖通年会）在广州大学城举行，广东暖通空调与制冷各机构领导、专家、设计院、学者以及各厂家共600多人参加了活动。作为行业的领
...[详细]
-
近期，Diodes公司推出了符合车用标准的ZXCT18xQ系列电流分流监测器，为汽车行业带来了一种高精度、可靠的电流监测解决方案。ZXCT18xQ系列是一款单级仪表放大器，能够在高达26V的宽广共模电
...[详细]
-
自11月7日启航日起，中国第30次南极科考行已顺利航行一周，据南极科考队方面消息，科考船“雪龙号”正以平均6.3节的航速驶往南极中山站。在本次南极科考行需执行的30项科学考察任务中，“雪龙号”首次环南
...[详细]
-
日前，"第十七届2012年度）全国市场销量领先品牌暨2012年度消费者最信赖品牌课题成果发布会"在人民大会堂隆重举行。在此次大会上，国家统计局中国行业企业信息发布中心CIIIC）通过对全国200多个
...[详细]
-
日前，国家发改委官网发布的信息显示，接下来在家电市场要加强节能市场机制建设，实施能效“领跑者制度”，正式为家电节能补贴新政的出台敲下定音锤。国家发改委相关负责人就此事回答商报记者提问时称，能效“领跑者
...[详细]
-
这个被称为 QUEEN 的模型支持低带宽、高质量的场景生成，可用于工业机器人操作、3D 视频会议和直播等流媒体应用。NVIDIA Research 与马里兰大学合作开发的 AI模型 QUEEN 将内容
...[详细]
-
随着天猫交出了350亿的显赫成绩单，这场双十一大战终于落下了帷幕。而后众多的大数据交融，榜单交错，各种各样的分析表也构成了双十一之后的一道风景。但无论是何种分析，销量永远是硬数据。对家
...[详细]
热点阅读
