英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 00:07:48 [休闲] 来源：保定市叶萍电子商务有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：时尚)
柠檬光子获批2024年度科技重大专项资助
美光科技CES 2026深度对话
今年第11号台风“海葵”扑向闽粤沿海 海浪和风暴潮警报持续
一屏智联 全场景定义
柠檬光子获批2024年度科技重大专项资助推荐文章
-
佐思汽研发布《中国汽车传感器技术与数据趋势月度监测报告2024年第10期）》。前10月舱内监控摄像头安装量达478.2万颗，同比增长77.9%2024年1-10月，舱内监控摄像头含DMS+OMS）安装
...[详细]
-
智能化带来民宿入住新体验 编辑：汤晓雪 来源：人民日报海外版
...[详细]
-
近日，星融元数据技术有限公司 (Asterfusion) 完成新一轮融资，本次融资由厦门联和、湖南财信共同投资，历史投资人包括华业天成，上海金浦，深圳高新投等。随着AI大模型浪潮席卷全球，智算中心对网
...[详细]
-
因涉嫌扰乱公共秩序，民警对其进行批评教育后，女子向驾驶员表达了歉意海峡网2月5日讯泉州网记者 陈小芬）“我很少坐泉州公交车”“你这种工作态度就是想get out，就
...[详细]
-
网红打卡“堵”了厕所 历史建筑要怎么办？ 编辑：汤晓雪 来源：澎湃新
...[详细]
-
凌晨两点，电力运维工程师张工接到系统自动报警：220千伏变电站301开关柜B相触头温度异常，已达82℃。他立即启动应急预案，远程调度巡检机器人前往核实，同时安排检修班组准备。一小时后，隐患被排除。事后
...[详细]
-
美光科技携创新内存与存储解决方案亮相2026年国际消费电子展CES 2026）。本届展会上，人工智能AI）是最受瞩目的焦点，而成功的AI应用，无不从底层架构开始构筑竞争力：数据、内存与存储。展会期间，
...[详细]
-
今年第11号台风“海葵”扑向闽粤沿海 海浪和风暴潮警报持续 编辑：汤晓雪
...[详细]
-
近日，西门子数字化工业软件与甲骨文红牛车队(Oracle Red Bull Racing)共同庆祝双方携手合作的20周年里程碑，这一合作成就了一级方程式赛车领域历史最为悠久的技术合作伙伴关系之一。自2
...[详细]
-
飞腾腾云S5000C服务器CPU入选中央企业科技创新成果推荐目录
近日，国务院国资委正式发布《中央企业科技创新成果推荐目录(2024年版)》，共收录263项科技成果。飞腾公司研发的“飞腾腾云S5000C”服务器CPU凭借卓越的技术实力与应用成效，成功入选该目录，充分
...[详细]
热点阅读
