英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 21:17:23 [时尚] 来源：恒兴国际会展（北京）有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：综合)
光电传感器与其他传感器的区别
奥克斯空调继续扩张 南昌再建二期工程—万维家电网
今夏空调市场也很“热” 一天能销500台—万维家电网
“鲜风空调”出现 受到消费者青睐—万维家电网
库克：苹果从未考虑AI收费推荐文章
-
近日，元宇宙标准化大会暨工业和信息化部元宇宙标准化工作组年会在江西南昌举办。会议期间《空间计算发展报告(2024)》(以下简称《报告》)正式发布。灵伴科技作为参编单位之一，展示了其在空间计算领域从硬件
...[详细]
-
一位朋友买了一台空调，使用时噪音太大。开始以为是安装问题，又是加固又是减震，结果都不奏效。用万用表测电源电压，未开机时为210伏，开机后再测则不足185伏，继而怀疑是压缩机局部短路，将机子搬回商店一试
...[详细]
-
由“黑马”变为“骏马”，只用了短短几年时间，在2007冷冻年度，格兰仕光波空调实现了令人侧目的华丽跃升。 内外销再创新高作为2005年以来连续两年中国市场增长率最高的空调品牌，格兰仕今年再次取得了不俗
...[详细]
-
1.怎样选择空调机？答：选用空调机要从计算空调房间的热、湿负荷开始。进行一系列的计算以确定新风量、送风状态、避风参数、空调冷、热负荷等。在此基础上，再根据实际条件查阅有关产品说明书和样本，选一台或数台
...[详细]
-
Microchip推出12按钮MTCH2120交钥匙触摸控制器
为了助力设计人员快速将机械按钮升级为现代触摸按钮或显示屏，MicrochipTechnology Inc.(微芯科技公司)近期推出了12按钮MTCH2120交钥匙触摸控制器。这一创新产品为设计人员提供
...[详细]
-
在制冷工况下，当制冷量和使用条件相同时，单冷型、热泵冷热型、热泵辅助电型和冷热电加热）型空调器的用电量是一样的。其用电功率可用式计算： Ｎｅ＝Ｑ／ＥＥＲＷ式中：Ｎｅ—空调器夏季用电功率，ＷＱ
...[详细]
-
炎炎夏日使得空调市场空前火爆｡近日,记者走访嘉兴几家家电卖场时发现,小功率空调在市场上十分走俏｡ 在走访过的家电卖场空调柜台中,无论从柜机到挂机,还是从普通空调到变频空调,
...[详细]
-
今年的空调市场实在是热闹极了，不仅是炎夏高温催得空调销售炙手可热，以往不为人行关注的空调连接管也在厂家操纵下成为人们关注的焦点。虽然在相关行业协会和专家的论证下，使得铜铝连接管的地位得以认可，但是记者
...[详细]
-
学习困难真是病？复旦儿科学习困难门诊已约满了 编辑：汤晓雪 来源：成
...[详细]
-
十年前，中国家用中央空调市场一度“江上尽失”，被大金、开利、约克、特灵和麦克维尔“五霸”瓜分殆尽。而如今，通过自主创新以及对节能减排的不懈追求，本土空调品牌取得了连续的胜利——空调老大格力一个星期内拿
...[详细]
热点阅读
