英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 03:07:46 [综合] 来源：深圳市奥斯恩净化技术有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：百科)
英诺达发布全新静态验证产品，提升芯片设计效率
林下“种”出好光景_
泪目！山东这位女教师带着患病丈夫去上课
福田爱易科动力电池通过五项极端应用场景测试
网红打卡“堵”了厕所 历史建筑要怎么办？推荐文章
-
电子发烧友网报道文/黄山明）在储能系统中，电池等能源存储设备输出的电压可能会因充放电状态、负载变化等因素而波动。这时就需要有LDO能够将输入电压稳定地转换为固定的输出电压，为储能系统中的控制电路、监测
...[详细]
-
家长如何摆脱“身高焦虑”：引导孩子接纳自己本来的样子 编辑：汤晓雪
...[详细]
-
海峡网7月10日讯泉州网通讯员王黎 记者许雅玲）根据“玛利亚”台风发展情况和海上船舶防台预案，泉州沿海船舶防台风于7月10日8点进入二级橙色）警戒阶段。目前，泉州辖区共有在港船
...[详细]
-
滁州网讯全媒体记者汤 珏 通讯员吕 华）6月3日，国网来安县供电公司巡检员在来安中学配电房内逐一核对配电箱电压、考场广播线路与监控电源等参数。目前，全县两处考点、86间考场已完成拉网排查，落实&ldq
...[详细]
-
近期，有网友比较关心理想汽车的车辆OTA机制，针对大家关心的问题，我们整理出以下问答供大家了解。Q1智能汽车的OTA是什么意思？智能汽车的OTA，全称为空中下载技术Over-the-Air Techn
...[详细]
-
霜降节气过后，天气逐渐向冬季过渡。不过这两天泉州秋意却没那么浓厚，仍有不少市民穿着短袖。昨天白天泉州以多云天气为主，人体感觉处于舒适到稍感闷热之间，属于穿一件短袖嫌冷穿两件又嫌热的状态。这两天的闷热只
...[详细]
-
两趟进京列车乘务人员为密接 旅客和乘务人员核酸均阴性 编辑：汤晓雪
...[详细]
-
Rightware Kanzi Micro通过英飞凌HMI工具认证计划
近日，Rightware Kanzi Micro通过英飞凌科技的HMI工具认证计划，正式获得技术认证。这一里程碑证实，Kanzi Micro可与英飞凌TRAVEO T2G系列车规级MCU实现无缝集成，
...[详细]
-
“整顿”职场，从来都不是哪一代人的事 编辑：汤晓雪 来源：中国青年报
...[详细]
-
(电子发烧友网报道 文/章鹰）9月16日，豪威集团在互动平台表示，目前，公司已进入英伟达供应链，支持其NVIDIA DRIVE AGXThor生态系统，并利用成像解决方案为下一代智能驾驶汽车提供动力。
...[详细]
热点阅读
