英诺达发布全新静态验证产品,提升芯片设计效率
2026-07-10 19:02:58 [热点] 来源:淄博正高电气有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布,标志着英诺达在芯片设计工具领域迈出了重要一步,新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法,通过对设计的品提片设源代码进行深入分析,能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合,计效静态验证可以显著提高验证的英诺覆盖率,帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷,从而有效缩短设计验证所需的新静时间,提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果,还能够与英诺达现有的静态验证和分析EDA工具形成互补,共同构成一个完整的验证体系,为芯片设计提供全方位的支持。
此次两款新品的发布,进一步丰富了英诺达的产品线,也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来,英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑:探索)
推荐文章
-
近日,苹果首席执行官蒂姆·库克在接受采访时,针对AI收费问题给出了明确的答复。他表示,苹果内部从未讨论过将AI作为收费项目的可能性。在库克看来,AI技术就如同多点触控技术一样,是推动技术革命的重要基础
...[详细]
-
小学生流行玩“电摇”引担忧 专家:不必过分担心也不可任其发展
小学生流行玩“电摇”引担忧 专家:不必过分担心也不可任其发展 编辑:汤晓雪
...[详细]
-
折射英国传统文化的“老爷车”郑圻增 摄) 为庆祝中华人民共和国成立70周年,弘扬中华优秀传统文化,9月30日,“华光溢彩——福建省非国有博物
...[详细]
-
10 月 16 日,以 “自主创芯 生态共建” 为主题的景嘉微 JM1100 生态合作推介会第二站在北京圆满落幕。大会汇聚专业协会与行业伙伴,围绕 JM1100 技术落地、场景应用及生态协同展开深度交
...[详细]
-
近期,日本两大汽车制造商日产与本田正面临来自合同制造商富士康的潜在收购挑战,双方因此展开了深入的交流与协商。据日经新闻报道,自今年年初富士康开始表达对收购日产股份的兴趣以来,日产与本田迅速进入了紧急协
...[详细]
-
记者日前从国家统计局泉州调查队了解到,11月,泉州市区居民消费价格总水平同比上涨3.9%,涨幅比上个月扩大了1个百分点。11月,食品类价格同比上涨17.7%,非食品价格同比上涨0.6%,消费品价格同比
...[详细]
-
企业员工正在调试口罩机为战“疫”守好“防线”。记者从市工信局获悉,疫情发生以来,泉州市全力统筹抓好疫情防控物资保供,市工信局会同市发改委等有关部门,加大
...[详细]
-
是德科技(Keysight)DSOX4022A示波器凭借其高带宽、快速更新率和触摸屏操作界面,成为电子测试领域的得力工具。本文将详细介绍如何利用该示波器测量喇叭输出波形,帮助工程师快速掌握测试方法并获
...[详细]
-
近日,以“显示无处不在·映照万千气象”为主题的第六届世界显示产业创新发展大会在成都举行,此次大会是新型显示产业领域的一场盛会,汇聚了全球显示产业的前沿力量,共同探讨新产品、新技术的发展方向。作为世界显
...[详细]
-
记者获悉,泉州台商投资区海湾大道一期八仙段已开始沥青路面摊铺施工,预计春节前主路可通车。海湾大道八仙段 陈凤阳 摄)在施工现场,沥青摊铺工作井然有序,灰白的花岗岩路缘石整齐顺直立在各分隔带的边缘,新型
...[详细]
热点阅读

CBB电容如何选型 CBB电容的耐压等级
美伊谈判月底继续 围绕对伊核查各执一词_
从“过日子”到“过得开心” 这代年轻人的压力变了
“冷经济”持续升温,吉林冰天雪地喜迎南方“小金豆”
灵伴科技参编《空间计算发展报告(2024)》发布
