英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 14:41:12 [综合] 来源：福州木名而来有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：知识)
相关内容
浙江电信与海康威视签订战略合作协议
滁州太极高手惊艳世界武坛_
我市坚持创新驱动推动工业转型升级_
我市发布2025滁州马拉松倡议书_推荐文章
-
据联合早报12月18日消息，中国半导体设备龙头企业中微公司以及风投公司IDG Capital，已被移出美国五角大楼的中国军事企业清单简称“CMC清单”）。从美国五角大楼的文件显示，该部门已将中微公司和
...[详细]
-
从文化广场上村民的惬意生活，到便民服务中心的为民实践，从电商助农孵化工坊的蓬勃生机，到“乡遇”咖啡馆的别样风情，凤阳县小岗村在基础设施建设、社会治理创新、产业发展融合等方面取得
...[详细]
-
苗正州苗正州，男，1988年11月生，安徽强威包装技术有限公司创始人。苗正州中专毕业后赴上海打拼九年，成长为行业骨干，2018年怀揣赤诚返乡创业，以“诚信立企、匠心铸魂”为宗旨
...[详细]
-
5月14日至15日，2026中国上海VR/AR产业博览会在上海盛大举行。作为AI眼镜产业链上游核心光学技术企业，谷东智能科技有限公司携多款AI+AR产品与最新技术成果亮相展会，集中展示了公司在消费级A
...[详细]
-
亚马逊云科技与GitLab发布AI集成产品，加速DevSecOps
近日，在2024年re:Invent全球大会上，亚马逊云科技与GitLab Inc.，这一功能全面的AI驱动DevSecOps平台，携手推出了GitLab Duo与Amazon Q的集成产品。这一创新
...[详细]
-
我省首批和美乡村精品示范村认定情况公布我市4个精品示范村被评定为优秀等次滁州网讯全媒体记者喻 松）11月8日，2025皖美绿色食品暨循环农业博览会系列活动之一——安徽宜居宜业和
...[详细]
-
徽青赛滁州赛区年度收官战圆满结束滁州队主场力克淮南队滁州网讯全媒体记者胡文峰）12月14日下午，安徽省青少年足球联赛男子高中组甲组徽青赛）滁州队对阵淮南队的比赛，在滁州奥体中心上演。主场作战的滁州队以
...[详细]
-
坚定信心 扬长优势 高质量推进产城融合发展23日，省委常委、市委书记刘建洋前往南安调研，推进“1+3”专项行动、常态化疫情防控等工作落深落细落实。福建群峰机械有限公司专注建材机
...[详细]
-
近日，世界显示产业创新发展大会在成都举办，来自全球的显示领域企业及行业专家汇聚一堂，共同探讨新一轮产业升级趋势及行业未来发展方向。BOE京东方）总裁高文宝博士应邀出席大会，并在开幕式发表《屏之物联 聚
...[详细]
-
激发全民族文化创新创造活力，繁荣发展社会主义文化。 ——摘自“十五五”规划建议今年，央视镜头下的凤阳花鼓以抑扬顿挫的旋律、轻盈优雅的舞步惊艳全国观众，独
...[详细]
热点阅读
