英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 06:43:55 [探索] 来源：河北众亿天融机械设备有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：知识)
Quobly宣布容错量子计算技术重大突破
派克Parker全系列伺服驱动器，赋能高性能电机控制系统升级
泉州：异地看门诊 可实现费用跨省结算
大科学家们做起科普小视频 “不刷题的吴姥姥”讲得真棒
蓝星光域完成数亿元B轮融资推荐文章
-
SATASerial Advanced Technology Attachment）硬盘是一种广泛使用的硬盘接口技术，以其高速数据传输和较高的数据传输率而受到用户的青睐。然而，为了确保SATA硬盘的安
...[详细]
-
昨晚，东京奥运会体操项目在东京有明体操竞技场上演男子团体巅峰对决，由泉州籍运动员林超攀领衔的中国男子体操队在男团决赛中再获铜牌，这是林超攀继2016年里约奥运会夺得男子体操团体铜牌后，再次为福建和泉州
...[详细]
-
以峡谷旅游路为主线的山海风光生态廊道区，是石狮生态连绵带总体规划“一环、两核、三廊”的生态空间结构中的“三廊”之一，已成为休闲旅游的“网红打
...[详细]
-
博通2026财年首季财报：AI驱动营收创新高，净营收193亿美元
核心数据：营收与利润双双超预期2026年3月4日美股盘后，博通AVGO.O）公布了2026财年第一季度财报截至2026年2月1日），以193.11亿美元的净营收刷新历史纪录，同比增长 29.47%，超
...[详细]
-
近日，西门子数字化工业软件与甲骨文红牛车队(Oracle Red Bull Racing)共同庆祝双方携手合作的20周年里程碑，这一合作成就了一级方程式赛车领域历史最为悠久的技术合作伙伴关系之一。自2
...[详细]
-
凭一张身份证，旅客无需摘口罩，即可自助完成人脸识别、人证比对、无接触式体温检测、健康码核验、重点人员筛查等检测程序，最快仅需3秒。昨日，记者从泉州晋江国际机场获悉，机场自主研发“人、码、证
...[详细]
-
前两期内容，我们聊了无线通信的“隐形骨架”OSI模型，也拆解了WiMi-net的五层网络架构。有读者后台问我：“你说的这些协议栈、自动路由、远程升级……听起来很厉害，但到底靠什么跑起来的？”这个问题问
...[详细]
-
汇川技术iFA EX物流仿真方案亮相KOREA MAT 2026
汇川 iFA EX 机电一体化物流仿真解决方案，减少30%设计变更、提升50%调试效率，一站式解决智能仓储交付痛点。通过数字孪生与虚拟调试技术，汇川已助力多个合作伙伴拿下国际订单。在韩国最大物流展KO
...[详细]
-
学习困难真是病？复旦儿科学习困难门诊已约满了 编辑：汤晓雪 来源：成
...[详细]
-
在第57个世界地球日来临之际，以“我们的力量，我们的地球”为主题的2026地球合伙人领导力峰会在上海隆重举行。天合光能作为全球光储领军企业应邀出席。会上，凭借在推动全球能源转型与生态修复领域的卓越贡献
...[详细]
热点阅读
