英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 02:49:03 [时尚] 来源：广西南宁展会服务有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：时尚)
余承东领衔参与央视跨界对话
GMCC远征巴西FEBRAVA展，大秀“技术肌肉”展实力—万维家电网
学术盛宴百家争鸣，GMCC聚焦绿色技术分享“干货”—万维家电网
如何选择合适的光电传感器 光电传感器在自动化中的应用推荐文章
-
法国量子计算领域的领先初创公司Quobly近日宣布了一项关于容错量子计算技术的重大里程碑。该公司报告称，其研发的FD-SOI(全耗尽绝缘体上硅)技术有望成为商业量子计算领域的可扩展平台，为量子计算的未
...[详细]
-
空调市场同质竞争严重，松下如何才能突破市场迷茫？—万维家电网
2019年，中国空调市场受经济、天气、住房买卖政策等因素影响，空调需求量大幅减退，低价竞争严峻，流通库存急剧增加。在市场迷茫，强大的竞争对手也面临着很严峻的时期，作为深耕中国市场多年的外资品牌如何才能
...[详细]
-
前不久刚刚爆出华帝经销商失联的消息，现在杭州格力空调经销商昆盟装饰又卷钱跑路了，老板是一位“90后”小伙，自6月16日发出《端午节放假通知》之后，就再也没有开过门了。据主要受到损失的小
...[详细]
-
千城万店掀热潮！志高智能王200款全国上演“十月围城”—万维家电网
“金九银十”是家电业传统的消费旺季，尤其借势十月双节黄金周，今年“假日经济”如往年一样呈现出红红火火的喜人态势。志高空调抓住这一黄金时期，携手全国千城万店掀起统一钜惠遍及全国，其中新上市的智能王第4代
...[详细]
-
佐思汽研发布《中国汽车传感器技术与数据趋势月度监测报告2024年第10期）》。前10月舱内监控摄像头安装量达478.2万颗，同比增长77.9%2024年1-10月，舱内监控摄像头含DMS+OMS）安装
...[详细]
-
自从2009年首创的1111购物节开始，接下来每年的这一天就已经成为了名副其实的全民购物盛宴。从几大电商平台日益攀升的交易额来看，这是消费者对消费升级的巨大需求，也是中国乃至全球商业力量的一次大巡礼。
...[详细]
-
2018年4月9日至11日，第二十九届国际制冷、空调、供暖、通风及食品冷冻加工展览会以下简称“中国制冷展”）在京举办。专注空气净化产品与解决方案的广东松下环境系统有限公司以下简称：松下环境）携多款创新
...[详细]
-
或与格力美的并驾齐驱？TCL喊出未来三年销量新目标—万维家电网
【万维家电网12月26日报道】今天下午，TCL空调召开年产销量突破1000万套新闻发布会。在大会上，TCL空调除了向外界公布1000万套产销量的成绩，分析整个空调业目前的市场状况。 对于中国家用
...[详细]
-
光电传感器与其他传感器在多个方面存在显著的区别，以下是对这些区别的介绍：一、定义与原理光电传感器定义：光电传感器是采用光电元件作为检测元件的传感器，它利用光电效应来检测物体或信号的存在。原理：光电传感
...[详细]
-
继一年一度的线上双十一购物狂欢节后，作为空调四大家族之一的志高空调再次率先在线下发力，携志高智能王200款等一众新品开启了主题为“品智双十一 疯抢先机 ”的11月大型促销钜惠活动。品智双十一 尽享最钜
...[详细]
热点阅读
