英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 03:08:30 [时尚] 来源：温州居仕文化传媒有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：休闲)
英特尔带您解锁云上智算新引擎
派雅门窗李隽昕：AI 赋能门窗领域 解锁智能家居新形态
滁州二手房登记过户跑出便民“加速度”_
民族音乐剧《再唱洗衣歌》在西藏大剧院震撼上演
英诺达发布全新静态验证产品，提升芯片设计效率推荐文章
-
近日，在2024亚洲金选奖EE Awards Asia）颁奖典礼上，安富利荣获“企业奖——优秀供货能力通路商”奖项。亚洲金选奖由EE Times及EDN专业技术媒体及业内专业人士共同评选，旨在表彰对推
...[详细]
-
滁州网讯全媒体记者王太新 通讯员贾意强）一年一度的“三夏”农忙时节即将到来。记者从市农业农村局获悉，今年全市小麦计划收获面积达511万亩，预计从5月25日起开镰收割，力争用10
...[详细]
-
滁州网讯全媒体记者刘 晨）近年来，来安县坚持“以产促教、以才助企”理念，构建校企联合育人机制，推动人才培养、技术攻坚与产业升级并进，为县域重点产业发展充实高素质人才队伍。截至目
...[详细]
-
走进滁州经开区各大企业生产车间，机械臂精准作业、无人运输车往来穿梭、智能产线高速运转，一派热火朝天的繁忙景象。在安徽盼盼食品有限公司综合面包智能化生产车间，全自动打面、连续式上盘、机械臂作业、全域净化
...[详细]
-
扬杰科技荣获2024年行家极光奖“中国SiC IDM十强企业”
热 烈 祝 贺扬杰科技荣获2024年行家极光奖“中国SiC IDM十强企业”近日，“2024行家极光奖”颁奖典礼在深圳成功举办。扬杰科技有幸入选十强企业榜单，获得“中国SiC IDM十强”奖项，与数百
...[详细]
-
滁州网讯全媒体记者王太新 通讯员贾意强）一年一度的“三夏”农忙时节即将到来。记者从市农业农村局获悉，今年全市小麦计划收获面积达511万亩，预计从5月25日起开镰收割，力争用10
...[详细]
-
“‘引江入滁’供水保障工程全线贯通，将彻底改写滁州‘水困’历史，为滁州人民带来福祉，是树立和践行正确政绩观的生动实践。”6月10
...[详细]
-
魅力陕西｜乾县观察：从唐风汉韵到现代产业，一座古城的“双面”叙事
乾陵神道旁矗立千年的石人像，据说其原型是秦代大力士阮翁仲，守护着皇权至高无上的威严。(澳新社/发)澳门新闻通讯社4月2日乾县电在陕西咸阳，乾县以一种独特的姿态存在于现代中国的版图上。它既承载着盛唐的宏
...[详细]
-
DFT离散傅里叶变换）在信号处理领域具有广泛的应用，但在使用过程中也常会遇到一些误区。以下是对DFT常见误区的总结以及相应的解决方案：常见误区混叠现象： 误区描述：在采样过程中，如果采样频率不足，可能
...[详细]
-
滁州网讯通讯员韩 雪 全媒体记者马晨晨）为深入推进和美乡村建设，创新基层治理模式，今年以来，南谯区着力探索“直播+政务+民生+文化”融合发展路径，在腰铺、乌衣、施集、沙河等镇村
...[详细]
热点阅读
