英诺达发布全新静态验证产品，提升芯片设计效率
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：焦点)
宁德时代与Stellantis集团合资建厂，总投资41亿欧元
泉州端午民俗火热出圈 央视多频道多栏目持续聚焦
慧荣科技透过CES 2026揭示AI存储变革趋势
SDN 赋能下的 AIoT 智能物联网平台架构：连接万物的智能基石
Diodes发布ZXCT18xQ系列高精度电流分流监测器推荐文章
-
电子发烧友网报道文/黄山明）在储能系统中，电池等能源存储设备输出的电压可能会因充放电状态、负载变化等因素而波动。这时就需要有LDO能够将输入电压稳定地转换为固定的输出电压，为储能系统中的控制电路、监测
...[详细]
-
苏培智能Superisys高频RFID在电涡流传感器自动化生产线中的应用案例
1应用背景随着新能源汽车、机器人关节等高端制造领域对传感器精度与可靠性要求的不断提升，电涡流传感器的生产过程也日趋自动化、智能化。某电涡流传感器制造商在其自动化生产线中引入了我司Superisys R
...[详细]
-
泉州网10月12日讯 记者柯丽娟 文/图）近日，不少市民致电96339反映，丰泽区田淮街最近正在进行道路施工改造，路面开挖后，给过往的车辆、行人带来极大的不便。他们希望了解一下道路改造何时完工，道路何
...[详细]
-
泉州网7月25日讯记者 陈云青 通讯员王普彪）记者从泉州市经济和信息化委员会获悉，日前，软件和信息技术服务类项目启动申报，符合条件的企业应于本月底前在福建省经信委“惠企政策项目管理系统&r
...[详细]
-
实习越来越“卷” 焦虑如何抚平 编辑：汤晓雪 来源：中国青年报
...[详细]
-
19日，泉州市召开创建优秀传统文化传承发展示范城市联席会议第一次会议。市委常委、宣传部长陈铁晗参加会议并讲话。会议指出，要提高思想认识，准确把握优秀传统文化的地位作用和丰富内涵，准确把握对待传统文化的
...[详细]
-
“唯一的希望没了。”从小带大小博化名）的奶奶，如今一想到孙子，就不停地哭泣。9月5日凌晨3点多，在南安水头五洲酒店公寓，16岁的小博被同事田某砍中数刀，其中一刀砍中右股动脉，造
...[详细]
-
19日，泉州市召开创建优秀传统文化传承发展示范城市联席会议第一次会议。市委常委、宣传部长陈铁晗参加会议并讲话。会议指出，要提高思想认识，准确把握优秀传统文化的地位作用和丰富内涵，准确把握对待传统文化的
...[详细]
-
IPO撤单潮！10月至今5家半导体企业终止上市，涉及射频、AI等企业
电子发烧友网报道文/莫婷婷）在证监会阶段性收紧IPO节奏下，半导体企业IPO进度普遍放缓，2024年IPO审核趋严，甚至出现扎堆撤单潮。根据Wind统计的数据，今年以来截至2024年12月3日，A股市
...[详细]
-
近日，第三届IPv6技术应用创新大赛落下帷幕，由中国移动集团计划部牵头，联合新疆移动、中国移动集团设计院与华为申报的 “深度适配IPv6环境的智能DDoS闪防系统” 从全国千余个项目中脱颖而出，荣获大
...[详细]
热点阅读
