英诺达发布全新静态验证产品，提升芯片设计效率
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：探索)
美国将中微公司移出制裁清单
赛昉科技携手英思集成，共建“中国高等院校RISC
“林企点单我送餐”_
东风汽车首款轴向磁通分布式电驱样机下线推荐文章
-
Microchip推出12按钮MTCH2120交钥匙触摸控制器
为了助力设计人员快速将机械按钮升级为现代触摸按钮或显示屏，MicrochipTechnology Inc.(微芯科技公司)近期推出了12按钮MTCH2120交钥匙触摸控制器。这一创新产品为设计人员提供
...[详细]
-
滁州网讯9月22日，随着市第二人民医院智慧食堂正式上线，建行滁州分行机构类客户智慧食堂项目成功破零。上线之前，该院职工就餐使用实体卡,不仅携带不便,也不能及时查询账户余额，建行及时把握客户痛点,将智慧
...[详细]
-
陪学又陪玩 月薪动辄上万元的陪伴师能缓解育儿焦虑吗？ 编辑：汤晓雪
...[详细]
-
第三届“皋城之星”达人秀总决赛落幕 编辑：毛晓倩 来源：皖西日报
...[详细]
-
“整顿”职场，从来都不是哪一代人的事 编辑：汤晓雪 来源：中国青年报
...[详细]
-
净利润增长25%！高通第三财季营收超预期，汽车和IoT业务成新增长点
电子发烧友网报道 文/章鹰）7月30日，国际芯片大厂高通公司发布截止到6月30日的2025财年第三季度财报，本季度营收达到103.65亿美元，同比增长10%，显著高于分析师的103.3亿美元；GAAP
...[详细]
-
江西萨瑞微电子 2025 马来西亚槟城国际电子制造展览会圆满收官
行业聚焦，技术盛宴本次槟城国际电子制造展览会吸引了来自全球各地的众多行业精英和专业观众。作为马来西亚唯一的电子制造和组装展览会，它以展示先进技术、推动行业发展、增强合作交流、促进贸易往来为宗旨，为全球
...[详细]
-
近日，在2025开放原子开源生态大会开幕式上，开放原子开源基金会与新一批开源项目完成捐赠签约，涵盖人工智能、具身智能、基础软件、区块链等多个技术领域，为基金会拓展在关键技术领域上的布局。这些项目丰富和
...[详细]
-
瑞丰光电创新Mini背光技术方案和CHIP产品荣获两项客户荣誉
近日，惠科股份IOT-C BU 2024年度供应商大会在重庆隆重召开。会上，惠科为瑞丰光电颁发“最佳创新奖”，为瑞丰在过去一年精诚协作，并提供领先的创新Mini背光技术方案表示认可。作为惠科股份的战略
...[详细]
-
近日，张北草原音乐节在张北中都草原盛大举行。张信哲、华晨宇、崔健、郑钧等30多组知名歌手和乐队轮番登场，为来自全国各地的乐迷们带来了一场震撼心灵的音乐盛宴。活动现场，数万名乐迷齐聚，沉浸在音乐的海洋中
...[详细]
热点阅读
