英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 17:00:14 [焦点] 来源：龙岩麦格雷自动化设备有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：时尚)
铜价回落 空调企业观望等待还是出手?—万维家电网
核心技术显核心竞争 逆势增长创行业巅峰—万维家电网
鹬蚌相争谁得利？聚焦京东苏宁价格战—万维家电网
短信搞定 海尔雷永锋介绍物联网空调—万维家电网
06年空调投诉持续增加—万维家电网推荐文章
-
在夏季制冷工况下，当制冷量和使用条件相同时，单冷型、热泵冷热型、热泵辅助电型和冷热电加热）型空调器的用电量是一样的。其用电功率可用式计算： Ｎｅ＝Ｑ／ＥＥＲＷ式中：Ｎｅ—空调器夏季用电功率，Ｗ
...[详细]
-
随着中秋、十一双节的不断临近，家电行业的“金九银十”消费旺季逐渐开始升温，与往年不同的是，除了国美、苏宁等传统卖场，京东、库巴、苏宁易购、国美商城等电子商务网站也纷纷打出了双节低价促销的标语，诱人的
...[详细]
-
2012年中国家电博览会在美丽的3月之春拉开序幕了。在上海新国际博览中心，来自海内外的400余家家电品牌百花齐放，争奇斗艳。松下空调怡迅系列也以全新姿态惊艳亮相，并以创新智能科技摄人眼球，成为家博会
...[详细]
-
炎炎夏日，奥运比赛自然不能错过，一台给力的空调是保证清爽和畅快的最好装备。小编这一次给大家推荐的是这个八月最火爆的产品——科龙VS，二级变频，冰玉白膜内覆膜工艺面板，装备科龙最高端系统，却只要300
...[详细]
-
在夏季制冷工况下，当制冷量和使用条件相同时，单冷型、热泵冷热型、热泵辅助电型和冷热电加热）型空调器的用电量是一样的。其用电功率可用式计算： Ｎｅ＝Ｑ／ＥＥＲＷ式中：Ｎｅ—空调器夏季用电功率，Ｗ
...[详细]
-
变频空调成为空调市场的主流，已经是毋庸置疑的事情。以美的为首的各大空调企业的战略决策已经明显倾向变频空调，美的还宣布计划在三年内全面停止国内定速空调的生产，集中企业资源发展变频空调，更加快了变频空调
...[详细]
-
第二十三届国际制冷、空调、供暖、通风及食品冷冻加工展览会简称“中国制冷展”）于4月11日－13日在中国国际展览中心新馆）举行。冠军品牌格力电器携高效直流变频离心机组、GMV5全直流变频多联机组、盐水
...[详细]
-
稀土被称为国家战略资源，也是直流变频空调压缩机核心零部件的主要材料之一。 受宏观调控和市场需求影响，使近年来稀土价格产生较大波动。去年上半年稀土价格大幅飙升，以稀土作为重要原料的压缩机生产企业成本激
...[详细]
-
据《中国经济时报》报道，在新旧年度交接之时，本土中央空调企业主力军交出了不错的成绩单：美的造出了比普通离心机节能20%的中央空调变频离心机，该产品此前只有美国开利、约克2家厂商可以生产，打破了大型中央
...[详细]
-
增长123% 松下携智能空调新品发力2012冷年—万维家电网
科技以人为本”是松下空调持之以恒的产品研发理念，并且贯穿于企业经营的整个过程之中。在这一思想的指导下，松下每一件新品问世无不融入了当今最尖端的科技以及人性化的装新设计。12月15日，广州松下空调器有
...[详细]
热点阅读
