英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 19:19:25 [时尚] 来源：淄博正高电气有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：知识)
燧原科技亮相2024中国人工智能大会
谷歌正式发布Gemma Scope 2模型
露营休闲，安全文明不能忘
引领大学新生坚定走创新报国路
“自立娃”吃出浅表性胃炎推荐文章
-
近日，第十五届物联网产业与智慧城市发展年会在京成功举办，由中国通信工业协会指导，中国通信工业协会物联网应用分会主办，多家机构协办。北京中元易尚科技有限公司飞猫）凭物联网领域杰出贡献，荣获“2024物联
...[详细]
-
家庭误会引发口角所致，儿子表示十分懊悔，警方后续将对其进行相应处罚儿子殴打卧床老父一幕，引发众多网友愤慨。 视频截图）海峡网3月29日讯 泉州网记者傅恒 王盼琛 文/图）前日，一段“老人被
...[详细]
-
泉州中心市区公证摇号售房再添新规！继泉州出台公证摇号售卖商品房后泉州又将在保障刚需方面再升级将率先推出保障刚需新举措提出安排较大比例的套数专门用于满足首套需求60%房源留给刚需住户家庭根据相关规定，中
...[详细]
-
本项目客户为国内一所以智能驾驶为核心研究方向的高校科研团队。团队长期聚焦于自动驾驶感知、定位与系统级验证研究，同时承担研究生教学与科研平台建设任务。在科研与教学并行推进的背景下，客户希望构建一套可持续
...[详细]
-
近日，元宇宙标准化大会暨工业和信息化部元宇宙标准化工作组年会在江西南昌举办。会议期间《空间计算发展报告(2024)》(以下简称《报告》)正式发布。灵伴科技作为参编单位之一，展示了其在空间计算领域从硬件
...[详细]
-
在物联网产品的开发过程中，我们深知工程师们面临的一个核心痛点：无线协议的碎片化。不同区域、不同行业、甚至不同客户都有其偏好的通信标准。这导致产品线分叉、库存单元SKU）激增，最终侵蚀了利润和上市时间。
...[详细]
-
在企业级存储场景中，NVMe SSD凭借高吞吐、低延迟的性能优势，已成为 AI训练、实时数据分析等关键负载的“标配”。但现实很骨感——主板上的 M.2 或 U.2 插槽就那么几个，想多加几块盘？难！更
...[详细]
-
泉州中心市区公证摇号售房再添新规！继泉州出台公证摇号售卖商品房后泉州又将在保障刚需方面再升级将率先推出保障刚需新举措提出安排较大比例的套数专门用于满足首套需求60%房源留给刚需住户家庭根据相关规定，中
...[详细]
-
全球领先的下一代数字服务和咨询提供商Infosys近日宣布了一项重要举措，即启动由Infosys Topaz支持的谷歌云卓越中心。这一举措旨在加强双方在推动企业人工智能创新方面的合作，共同助力企业实现
...[详细]
-
21日下午，惠安辋川镇庄上村发生一起悲剧，一名两岁的小男孩不慎掉入茅坑，家人发现后赶紧将孩子捞起送医抢救，小男孩最终不幸溺亡。■记者 林志安经过抢救，孩子还是没能救活 视频截图）不幸身亡的小男孩名叫小
...[详细]
热点阅读
