英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 14:19:38 [综合] 来源：深圳飞翔物流有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：焦点)
高通任命新首席技术官
报告称90后仅13.4%无负债 评论：当警惕过度消费
全球各大品牌利用NVIDIA AI技术提升运营效率
记者调查畸形“饭圈”文化：是什么让明星迷失自我
扬杰科技荣获2024年行家极光奖“中国SiC IDM十强企业”推荐文章
-
出入境旅行双向复苏 为旅游业高质量发展注入新动能 编辑：汤晓雪 来源
...[详细]
-
爱立信近日发布全新解决方案Ericsson On-Demand，以SaaS平台模式为CSP提供核心网服务。该平台基于谷歌云设计，利用了人工智能基础设施和谷歌Kubernetes引擎GKE），并由爱立信
...[详细]
-
滁州网讯全媒体记者喻 松）近日，凤阳县人民法院小岗村法庭在大包干群英像下成功调解一起本地企业商事纠纷，促成双方当事人当庭握手言和、达成调解协议，以柔性司法手段高效化解商事矛盾，实现案结、事了、人和。据
...[详细]
-
近日，川土微电子迎来发展史上的重要里程碑——上海川土微电子股份有限公司以下简称“川土微电子”）创立大会顺利召开！自2016年创立以来，川土微电子始终秉持“客户至上、志存高远、持续创新、完美极致、诚实守
...[详细]
-
近日，世界显示产业创新发展大会在成都举办，来自全球的显示领域企业及行业专家汇聚一堂，共同探讨新一轮产业升级趋势及行业未来发展方向。BOE京东方）总裁高文宝博士应邀出席大会，并在开幕式发表《屏之物联 聚
...[详细]
-
国家气象中心：10月将有1个台风登陆或影响我国沿海地区 编辑：汤晓雪
...[详细]
-
8月30日，盐都泉州）绿色食品产业投资说明会成功举办，现场一批项目成功签约，涉及食品生产和加工、食品外包装以及食品添加剂等多个领域。据悉，盐都是长三角中心区城市江苏省盐城市主城区的核心板块，与盐城国家
...[详细]
-
以艺考改革扭转“投机性报考”的功利 编辑：汤晓雪 来源：光明日报
...[详细]
-
近期，日本两大汽车制造商日产与本田正面临来自合同制造商富士康的潜在收购挑战，双方因此展开了深入的交流与协商。据日经新闻报道，自今年年初富士康开始表达对收购日产股份的兴趣以来，日产与本田迅速进入了紧急协
...[详细]
-
第十八届2025）国际太阳能光伏和智慧能源&储能及电池技术与装备大会暨展览会期间，DEKRA德凯为宁波德业变频技术有限公司以下简称：德业变频）的3-12kW储能逆变器产品颁发了TOR + R25标准奥
...[详细]
热点阅读
