英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 21:47:59 [焦点] 来源：上海巨势文化传播有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：综合)
XMOS与飞腾云达成增值分销协议
鸿利智汇荣获2025年度植物照明智光技术企业奖项
单核性能提升35%！剑指中高端AI PC市场，骁龙X2 Plus CES上新
2017年高考泉州设1320个考场 3.8万名学子参加
NVIDIA AI模型QUEEN实现高效内容直播推荐文章
-
随着 IT 领域的持续演变，新的趋势正在涌现并有望在 2025 年重塑企业对待技术的方式。从生成式 AI到数据主权，未来一年各行各业都将面临重新思考其战略以适应新变化的挑战。基于关键观察与行业信号，
...[详细]
-
荣誉加冕，载誉前行时光镌刻奋斗足迹，荣誉见证发展初心。2025年，普源精电在资本市场舞台上绽放璀璨光彩，凭借在信息披露、科技创新、新质生产力发展、ESG治理、资本运作等多个领域的卓越表现，一举斩获11
...[详细]
-
AMD下一代AI芯片MI455X，2nm工艺，性能提升10倍
电子发烧友网报道文/李弯弯）1月6日，在2026年国际消费电子产品展览会CES 2026）上，AMDCEO苏姿丰在分享中指出：“期望在未来五年内，将计算能力提升至10YottaFlops以上”。Yot
...[详细]
-
在高端纯电轻卡市场，用户对“驾乘体验升级”与“运营收益增长”的双重诉求日益强烈。福田欧马可深耕高端商用车领域二十年，依托全球首个纯电轻卡专属“启明星”平台，重磅推出欧马可Z纯电轻卡并于近期在河南福田智
...[详细]
-
七成受访青年感觉太多虚拟社交让人更孤独 编辑：汤晓雪 来源：中国青年
...[详细]
-
Caterpillar借助NVIDIA技术推动重工业领域智能化升级
在 CES 上，Caterpillar 展示了其如何整合 NVIDIA Jetson Thor、语音模型等多项 NVIDIA 技术，为重工业领域带来全新的智能化体验。本周的 CES 上，未来科技以一种
...[详细]
-
泉州洛江区将推行瓶装液化石油气销售实名制管理，6月1日起全区瓶装液化石油气实行实名制销售。洛江住建局工作人员介绍说，瓶装液化气既是民生必需品，也是易燃易爆品，如果操作使用不当，极易引发爆燃等。目前洛江
...[详细]
-
泉州网7月16日讯 记者林书修）14日晚生成的南海热带低压有望生成今年第4号台风，但其登陆点远在海南，并不能给我市天气降温。我市昨天仍是个大晴天，清新通透的蓝天，成为不少市民周末出游必备的&ldquo
...[详细]
-
2024年11月，龙芯桌面和服务器平台新增73家企业的127款适配产品。其中包括：业务系统25款、安全应用18款、网络应用11款、医疗健康9款、地理信息系统6款、图形图像6款、社交沟通5款、教育教学2
...[详细]
-
AMD下一代AI芯片MI455X，2nm工艺，性能提升10倍
电子发烧友网报道文/李弯弯）1月6日，在2026年国际消费电子产品展览会CES 2026）上，AMDCEO苏姿丰在分享中指出：“期望在未来五年内，将计算能力提升至10YottaFlops以上”。Yot
...[详细]
热点阅读
