英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 21:44:07 [知识] 来源：福州鑫辉文化传媒有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：时尚)
Infosys与谷歌云携手建立卓越中心，推动企业AI创新
奥克斯热霸强制热成雨雪天抗寒利器—万维家电网
专访志高黄通华：2012发力全直流变频空调—万维家电网
海信空调装点今夏爱情公寓—万维家电网
Ampere预测2025年IT领域的发展趋势推荐文章
-
DFT离散傅里叶变换）在信号处理领域具有广泛的应用，但在使用过程中也常会遇到一些误区。以下是对DFT常见误区的总结以及相应的解决方案：常见误区混叠现象： 误区描述：在采样过程中，如果采样频率不足，可能
...[详细]
-
“十二五”开年，中国在转型的十字路口开始重新考量国家产业形象。论坛上，格力电器总裁董明珠和金蝶软件董事局主席徐少春共同发出了“让民族产业和中国品牌成就大国形象”的倡议。与会代表一致认为，中国制造业需
...[详细]
-
日前，互联网消费调研中心 ZDC 发布《 2012 年中国空调用户购买行为调查报告》。报告中显示，品牌已成为消费者选购空调时最注重的因素，在“ 购买空调品牌倾向”这一指标上，倾向于格力品牌的被调查者
...[详细]
-
临近年底，细心的消费者在各大家电卖场不难发现，很多人都在抓住本年度最后一次机会，对于自家的老旧电器进行以旧换新的置换。大中电器为回馈消费者这30年来的支持与关心，特意在12月9日举办家电以旧换新会员
...[详细]
-
2024年11月，龙芯桌面和服务器平台新增73家企业的127款适配产品。其中包括：业务系统25款、安全应用18款、网络应用11款、医疗健康9款、地理信息系统6款、图形图像6款、社交沟通5款、教育教学2
...[详细]
-
“经过实际使用的数据对比，使用了海尔磁悬浮中央空调节能高达50%，节能效果令我们非常满意！”近日，在郑州凯芙建国酒店举办的海尔磁悬浮离心机节能应用交流会上，该酒店负责人作为实际使用者，对海尔磁悬浮中
...[详细]
-
在刚刚结束的上海家博会上，位于高端家电展区的日立带来了系列家电产品。而日立多款“凉霸”系列空调更是赢得了不少参观者的眼球。展会期间，万维家电网采访到了上海日立空调商品企画部季海先生为大家讲解了日立空
...[详细]
-
虽然面临空调行业2012冷年库存积压、政策取消等不利因素，不过自2012冷年开盘以来，志高空调总体发展态势继续保持稳健，市场销量也都按计划完成。那么志高空调是如何应对国家政策调整的呢？应对瞬息万变的
...[详细]
-
各行各业中，精度一直是企业和用户最为关注的核心指标之一。随着技术的不断发展和市场需求的日益多样化，现有的探针座产品精度已经逐渐难以满足测试中对高质量和高性能的追求。为解决用户在实际应用中因精度不足而带
...[详细]
-
与节能环保一样，家电智能化发展已是大势所趋。美的空调不断将智能化的功能设计融入产品之中，让用户切身感受智能化产品带来的高端体验。美的空调强势推出的美的银河D360全直流变频空调挂机，其由于采用业内最
...[详细]
热点阅读
