英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 02:37:21 [娱乐] 来源：江苏省沭阳沭龙孵化场有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：焦点)
评论：“讲排场”“搞内卷”违背了校运会的初心
五星新街口卖场：空调全场让利7折起售—万维家电网
华德袭来 中央空调拒绝“美系”当家—万维家电网
空调能加雪种 各种陷阱手段面面观—万维家电网
宁德时代与Stellantis集团合资建厂，总投资41亿欧元推荐文章
-
电子发烧友网报道文/黄山明）在储能系统中，电池等能源存储设备输出的电压可能会因充放电状态、负载变化等因素而波动。这时就需要有LDO能够将输入电压稳定地转换为固定的输出电压，为储能系统中的控制电路、监测
...[详细]
-
家用电器的使用日渐增多，因使用不当引起的火灾也屡见不鲜。由于使用空调器不当引起的火灾，在电器火灾中占有较大比例，故对此进行简要介绍。 空调器引起的火灾，其原因有： 1.空调器在断电后瞬间通电，此时压缩
...[详细]
-
进入空调销售旺季，某知名品牌空调策划了以“永结铜芯”为主题的推广活动，称自家空调连接管100%使用纯铜管。该企业特别指出，空调室内机和室外机之间的连接管原本都是采用铜管，现在很多同行为了降低成本，纷纷
...[详细]
-
日本夏季酷热难耐，一家服装公司推出的“空调衣服”，除了协助人们散发身体热气，也非常环保。日本服装设计师在上衣中装置两台小风扇，在衣服里制造空气流动，将汗水吹干，帮助人体降温。同时，小风扇靠口袋中可重复
...[详细]
-
出入境旅行双向复苏 为旅游业高质量发展注入新动能 编辑：汤晓雪 来源
...[详细]
-
这是2007年8月17日，日本工人身着“空调”衬衫上班的情形 千龙网8月18人讯 根据体温进行自我调节的衬衫听起来像是科学幻想，但是近日一家日本公司称，他们研制出了这种衬衫。这不仅带来了巨大的商机，同
...[详细]
-
日前，由中国室内环境监测委员会与海尔集团联合建立的“空调与室内空气质量研究实验室”在北京成立。这个实验室将为我国家用空调室内空气质量的测定提供公正、规范的检测依据，同时也为消费者提供了一个拥有科学、健
...[详细]
-
品类品牌型号挂 机01 春兰春兰空调KFR-32GW/SN202 海尔海尔空调KFRD-35GW/HG(F)03 美的美的空调KFR-32GW/DY-J(E5)04 志高志高空调KFR-35GW/ED
...[详细]
-
电子发烧友网报道(文/莫婷婷）音频设备数据吞吐量的提升是当前无线通信领域的一个重要发展趋势，蓝牙、Wi-Fi和UWB作为三种主要的无线通信技术，在这一趋势中扮演着关键角色。数据吞吐量指的是在一定时间内
...[详细]
-
慧聪-国美关注度之我最信赖的空调品牌投票 记者近日从工贸家电、国美、苏宁等卖场了解到，近几天的空调销售一般，立秋后，空调销售难再出现“井喷”行情。 记者昨日(2007年8月12日)在唐家墩几家家电卖场
...[详细]
热点阅读
