英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 13:36:45 [焦点] 来源：上海贸通国际展览服务有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：休闲)
瑞丰光电创新Mini背光技术方案和CHIP产品荣获两项客户荣誉
武大樱花盛放迎客 周末“医护专场”1.3万人已预约
泉州今年前五个月 水利项目投资完成量全省第一
电机驱动IC PT395V
AMD Alveo媒体加速产品组合SDK 1.2.1发布推荐文章
-
法国量子计算领域的领先初创公司Quobly近日宣布了一项关于容错量子计算技术的重大里程碑。该公司报告称，其研发的FD-SOI(全耗尽绝缘体上硅)技术有望成为商业量子计算领域的可扩展平台，为量子计算的未
...[详细]
-
小小葡萄梗作梗 周岁幼儿险丧命泉州网4月27日讯 记者 苏凯芳 通讯员 何毓慧 文/图）一根不起眼的葡萄梗，竟险些要了小孩子的命。昨日，记者从泉州市儿童医院·妇幼保健院获悉，该院组织多学
...[详细]
-
赛微电子：2024年营收超12亿元，MEMS代工业务同比增长31.52%
3月19日，赛微电子发布2024年业绩报告称，报告期内，公司实现营业收入120,471.56万元，较上年下降7.31%；利润科目由盈转亏，其中，营业利润-25,427.63万元，较上年大幅下降901.
...[详细]
-
5000台量产！Optimus单机成本暴跌70%？特斯拉机器人带来新震撼
电子发烧友原创 章鹰近日，特斯拉CEO 埃隆·马斯克近日在X动态中宣布：“备受期待的擎天柱Optimus）机器人将于今年正式开启试生产阶段，我们今年希望制造5000台Optimus机器人，从技术上讲，
...[详细]
-
回顾2024年可穿戴芯片新品：AI技术迭代加速，医疗监测成为发展新主线
电子发烧友网报道文/莫婷婷）2024年，可穿戴设备市场持续发展，上游各家厂商创新不断，在芯片解决方案、传感器技术、无线通信模块等方面不断创新，以满足日益增长的功能需求，例如更精准的健康监测、更长的电池
...[详细]
-
小小葡萄梗作梗 周岁幼儿险丧命泉州网4月27日讯 记者 苏凯芳 通讯员 何毓慧 文/图）一根不起眼的葡萄梗，竟险些要了小孩子的命。昨日，记者从泉州市儿童医院·妇幼保健院获悉，该院组织多学
...[详细]
-
华秋电子斩获行业"优质服务奖"， 数字化智造引领产业升级
2025年3月7日，深圳市集成电路产业总结大会暨深圳市半导体行业协会年度盛典在南山盛大启幕，400余位政企精英齐聚一堂，共同探索行业未来发展之路。华秋在此次大会上凭借其出色的供应链能力，荣膺“优质服务
...[详细]
-
注入“灵魂”后，人型机器人怎样才算融入人类的日常生活?首个搭载商汤科技「日日新融合大模型交互版」(SenseNova-5o)的具身智能机器人，给你答案!依托「SenseNova-5o」，商汤科技助力专
...[详细]
-
全球领先的下一代数字服务和咨询提供商Infosys近日宣布了一项重要举措，即启动由Infosys Topaz支持的谷歌云卓越中心。这一举措旨在加强双方在推动企业人工智能创新方面的合作，共同助力企业实现
...[详细]
-
留校大学生的小年过得好热闹 编辑：汤晓雪 来源：科技日报
...[详细]
热点阅读
