英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 02:27:02 [休闲] 来源：广西南宁展会服务有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：探索)
缓存对大数据处理的影响分析
北京传感器独角兽未磁科技斩获数亿元融资，打破美国垄断
维视智造如何攻克底盘件精密定位与海量SKU智能分拣难题
1999元！奥松MEMS六维力传感器拆解：人形机器人“触觉”成本如何被打穿？
英特尔带您解锁云上智算新引擎推荐文章
-
“自立娃”吃出浅表性胃炎 编辑：汤晓雪 来源：扬子晚报
...[详细]
-
5月27日至29日，长城汽车董事长魏建军深入成都与杭州交付及销售一线，参与魏牌V9X用户接待与交付验车，以直面终端的务实举措，践行交付品质与用户体验负责到底的坚定承诺。此次深入终端，长城汽车不仅将“魏
...[详细]
-
鹰击长空，万马奔腾；考场即疆场，决战即决胜。5月29日下午，拓维海云天2026年考试技术服务誓师大会在拓维信息深圳研发中心盛大启幕。全体拓维海云天人在"AI×鸿蒙+考试"的战略引领下，以"全力以赴，使
...[详细]
-
今年世界电信日的主题是“数字生命线：在互联世界中加强复原力”。当通信网络成为城市运行、产业发展与民生保障的数字生命线，如何应对极端天气、自然灾害与网络攻击等常态化风险，构建更具抵御与恢复能力的新型
...[详细]
-
近期，日本两大汽车制造商日产与本田正面临来自合同制造商富士康的潜在收购挑战，双方因此展开了深入的交流与协商。据日经新闻报道，自今年年初富士康开始表达对收购日产股份的兴趣以来，日产与本田迅速进入了紧急协
...[详细]
-
近日，腾讯混元正式宣布其自主研发的Stem稀疏注意力算法被国际顶级机器学习会议ICML-26收录。这项成果的核心价值在于：在128K超长上下文场景下，首字延迟TTFT）降低了 3.6倍部分来源标注为3
...[详细]
-
近期，技嘉科技正式发布AORUS ELITE系列电竞显示器，产品线覆盖27英寸至32英寸，首次将全球首款5K多模式Mini LED方案与新一代Tandem OLED技术整合于同一系列之中。这一发布恰逢
...[详细]
-
当“中国乳都”遇上数字基石提起内蒙古，人们首先想到的是辽阔的草原、肥沃的农田和现代化的畜牧业。在这片被誉为“塞外粮仓”和“中国乳都”的土地上，现代农业的转型不仅仅是田间的物联网设备，更离不开强大的数据
...[详细]
-
老年痴呆盯上年轻人？专家详解如何防治记忆衰减 编辑：汤晓雪 来源：中
...[详细]
-
免安装、不插电、长续航的安防摄像头，这两年增长很快。海外Ring、Wyze带起来的风潮，国内研极微、萤石等厂商也在推电池方案。不用布线、不用打孔、贴在门上就能用的智能门铃和户外摄像头，对用户来说确实方
...[详细]
热点阅读
