英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 17:11:51 [娱乐] 来源：龙岩麦格雷自动化设备有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：热点)
志高获智能空调高峰论坛两项创新大奖—万维家电网
滁州特色招聘激活就业新动能_
格陆博科技全新一代电磁阀量产下线
中国石狮国际商贸城揭牌
国外专利棒喝国内空调业 成本增10%—万维家电网推荐文章
-
心贵-尊系列LP-P7211DDF/DDW3P空调1.4万 心贵-尚系列LP-W5011DAR2P空调7160元 LG这款空调率先引进了艺术空调理念，突破了以往固有的空调外观风格，高雅的外形有多种色彩
...[详细]
-
5月2日，中国羽毛球协会向世界羽联提交了中国羽毛球队参加苏迪曼杯的20人名单。在这份名单中，有泉州选手黄东萍和福建队友谌龙、韩悦、韩呈恺、何济霆。泉州网5月4日讯 记者吴聪伟）5月19日，第16届苏迪
...[详细]
-
在“中国制造”向“中国智造”转型的浪潮中，精密金属加工领域正经历着前所未有的技术革新。作为这一变革的亲历者与推动者，深圳市艾科维精密科技有限公司以下简称“艾科维”）自2014年成立以来，始终坚守在精密
...[详细]
-
泉州焊接机器人应用快速发展，急需大批机器人焊接应用人才。为促进焊接行业良性发展，加快新旧动能转换，更好地服务企业，20日，泉州市首届机器人焊接技能大赛在洛江启动。进一步激发智能制造企业创新潜能和创业活
...[详细]
-
随着天气的变暖，空调的需求量也逐渐增大，但是消费者如何挑选好一件称心如意的产品也是非常重要的。今天，小编就在这里列出了八条购买空调的心得，您可以作为购买空调保证质量的参考。一、外观检查。观看空调各个部
...[详细]
-
从刻有南星社区的石碑路口一路行进，来到一座小桥，桥下溪水潺潺，成群的锦鲤簇拥嬉戏。一听到游客喂食的声音，它们就摇着尾巴聚拢而来，撅着嘴巴抢食。重焕生机的南星溪已经成为永春县桃城镇南星社区一道靓丽的风景
...[详细]
-
13日，南安世茂璀璨天城项目二期1号楼发生一起民工室内坠楼事故，造成一人死亡。14日，记者联系上死者家属张某军，他告诉记者，死者林某花是东田人，今年56岁。13日上午6点30分出门，去世茂璀璨天城项目
...[详细]
-
近日，为贯彻落实人才“港湾计划”，实施“领军人才+创新团队+创新项目”的精准引才模式，泉州启动2019年泉州市引进高层次人才团队申报工作。泉州网6月20
...[详细]
-
4月14日，苏宁莲前中心店盛大升级开业，率先制造了五一“黄金周”前家电集中消费的超常井喷现象。苏宁莲前店在开业当日即三倍超额完成了三天的销售计划，最终以1580万元优异销售再度演绎了“苏宁现象”；此次
...[详细]
-
泉州市区四学校启动初中特长生招生 2020年义务教育学校特长生招生取消记者陈士奇 陈森森）经省教育厅审核批准，今年泉州一中、泉州培元中学、泉州五中、泉州七中四所学校初中部各面向鲤城区、丰泽区招收50名
...[详细]
热点阅读
