英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 02:50:37 [知识] 来源：广西南宁展会服务有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：热点)
英诺迅发布新品功率放大器YP601241T
可编织电路加何改变电子元器件设计
江苏南京一9岁女童遇害 犯罪嫌疑人被批准逮捕
男子乘公交车半途突发急病晕倒 司机乘客帮他报警
蓝星光域完成数亿元B轮融资推荐文章
-
39元抽iPhone14？市场监管部门：网上参与抽奖要谨慎 编辑：汤晓雪
...[详细]
-
清华大学强基计划出炉 招生涉及11个专业 编辑：汤晓雪 来源：中国新
...[详细]
-
古船部分构件糟朽，期待修复。(王柏峰/摄）海峡网讯东南早报记者 张素萍）记者昨日从泉州海外交通史博物馆获悉，经过前期调查和多年研究论证，泉州宋代古船的新一轮修复方案已经编制完成并通过专家评审，目前正准
...[详细]
-
投入运营后，每周四和周日，泉金航线将执行10个航班，其余每天执行8个航班，航次将有明显增加。海峡网12月24日讯 泉州网记者谢宜萱 通讯员徐建伟）自今年7月底泉金航线“蓬江”轮
...[详细]
-
2024年11月，龙芯桌面和服务器平台新增73家企业的127款适配产品。其中包括：业务系统25款、安全应用18款、网络应用11款、医疗健康9款、地理信息系统6款、图形图像6款、社交沟通5款、教育教学2
...[详细]
-
日前，南安市公安局根据群众举报的涉黑恶线索，成功抓获涉黑恶逃犯侯某。随后，该局根据《群众举报黑恶势力违法犯罪线索奖励办法》规定，向举报群众兑现5000元举报奖励金。这也是南安市颁发的第二笔&ldquo
...[详细]
-
泉州交警对电动车交通违法行为处罚使出新招，让电动车驾驶人通过朋友圈曝光自己的交通违法行为，意在让大家认识到自己的错误，引以为戒。泉州交警使出惩治电动车交通违法新招乱骑电动车 发朋友圈检讨“
...[详细]
-
浙江景宁14岁少年患白血病向社会寻求帮助：我想要活下去 编辑：汤晓雪
...[详细]
-
电阻是电路中的基本元件之一，用于限制电流的流动。在电子电路设计和维修中，选择合适的电阻类型对于确保电路性能至关重要。色环电阻因其易于识别和成本效益而广泛使用。色环电阻概述色环电阻，也称为四色环电阻或五
...[详细]
-
大功率升压供电需求的硬核之选!这款基于 LTC3862-2 打造的 48V DC-DC 升压电源板，最大功耗可达 720W，电源转换效率高达 92~94%，支持 12-36.8V 宽压输入，稳定输出
...[详细]
热点阅读
