英诺达发布全新静态验证产品，提升芯片设计效率
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：百科)
英特尔带您解锁云上智算新引擎
华为亮相2025 ALE车灯展
白内障竟能“晒”出来 夏日出行也要给眼睛“打伞”
泉州祥远路开挖路难行 部门回应：提升改造年底完工
简仪科技产品在DMM多路复用自动测试中的应用推荐文章
-
老年痴呆盯上年轻人？专家详解如何防治记忆衰减 编辑：汤晓雪 来源：中
...[详细]
-
电子发烧友网报道文/梁浩斌）华为在上周的发布会上，发布了2025款问界M9，在动力系统、安全、智能配置和车载通信上实现全面升级。比如增程器版车型升级至增程器5.0，热效率为44.8%，百公里亏电油耗仅
...[详细]
-
6月29日至30日，在市住建局统筹部署下，市级重点民生安置工程——湖畔云庭安置小区圆满完成回迁安置各项工作，450户征迁群众告别旧居、喜迁新居，圆了期盼已久的安居梦，实现了从&
...[详细]
-
悲 36岁女子留纸条后坠江 事发泉州大桥遗体昨日中午在江面上被发现留在现场的手机和留言海峡网7月17日讯 东南早报记者许奕梅 王盼琛 文/图）昨日上午10时许，有市民路过泉州大桥时，发现一辆电动车上放
...[详细]
-
西部数据执行副总裁Robert Soderbery将离职，公司即将拆分
近日，全球知名的数据存储解决方案提供商西部数据宣布了一则重要的人事变动消息。据悉，该公司执行副总裁兼NAND和SSD业务部门负责人Robert Soderbery将于2025年1月2日正式离职。这一变
...[详细]
-
近日，东风汽车董事长、党委书记杨青会见来访的中国移动董事长、党组书记杨杰一行。双方签署战略合作协议，将在人工智能、车路云一体化、智能网联生态、5G智慧工厂、海外业务、专属数智化服务、车辆及出行服务7个
...[详细]
-
保护工作初见成效 我国近海常能见到海马身影 编辑：汤晓雪 来源：科技
...[详细]
-
自智能手机时代以来，人们对于手机摄影的专业追求从未停歇。骁龙凭借前沿的影像和终端侧AI技术，持续引领移动计算摄影发展。最新的骁龙8至尊版移动平台，实现了突破性的技术升级和影像体验，全新打造的AIISP
...[详细]
-
滁州网讯全媒体记者刘 晨 通讯员王 松）今年以来，市公管局聚焦市场主体的急难愁盼问题，通过“线上+线下”送政策、“台账+制度”清资金、“抽查
...[详细]
-
3月25日至29日，以“星闪生态 繁花似锦”为主题的2025国际星闪联盟产业峰会在深圳市民中心盛大启幕。此次峰会聚焦行业高价值商用场景发展热点，行业顶尖技术、产业发展专家、政策与标准主管领导齐聚一堂，
...[详细]
热点阅读
