英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 16:16:22 [休闲] 来源：北京天下会展有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：热点)
安富利荣获2024亚洲金选奖“优秀供货能力通路商”
顺应环保空调大趋势 TCL启动绿海战略—万维家电网
06空调业：洗牌接近尾声 市场正在苏复—万维家电网
DFT的常见误区与解决方案推荐文章
-
回顾2024年可穿戴芯片新品：AI技术迭代加速，医疗监测成为发展新主线
电子发烧友网报道文/莫婷婷）2024年，可穿戴设备市场持续发展，上游各家厂商创新不断，在芯片解决方案、传感器技术、无线通信模块等方面不断创新，以满足日益增长的功能需求，例如更精准的健康监测、更长的电池
...[详细]
-
“这个品牌的促销员自称空调是无氟环保的，那个品牌的促销员却私下告诉我说无氟空调仍要充氟利昂制冷剂。我真是被弄糊涂了。”记者近日在北京某家电卖场采访时，碰到了困惑不已的消费者朱先生。朱先生的困惑并非全无
...[详细]
-
据《安徽商报》报道，“飞歌空调项目”在首次拍卖流拍后，有关方面至今尚未发布新的拍卖公告，但据拍卖公司透露，下一步将有可能对原定的1．45亿元拍卖价进行适度下调。而在此前，国内著名家电企业珠海格力电器公
...[详细]
-
一段时间以来，中国空调行业出现令行内行外许多人士不解的三大怪象：厂家喊涨之际为何商家喊降？是变频技术领先还是光波技术当道？空调企业到底有钱赚还是没钱赚？ 在此背景下，2007年新的空调财年2006年8
...[详细]
-
回顾2024年可穿戴芯片新品：AI技术迭代加速，医疗监测成为发展新主线
电子发烧友网报道文/莫婷婷）2024年，可穿戴设备市场持续发展，上游各家厂商创新不断，在芯片解决方案、传感器技术、无线通信模块等方面不断创新，以满足日益增长的功能需求，例如更精准的健康监测、更长的电池
...[详细]
-
8月份，历来是空调业的收官盘点之战，但今年的空调大战却是哀鸿一片。由于原材料价格上涨和冷夏的影响，全国空调行业首次出现集体负增长。10年不遇的灾年预示着空调市场目前仍深陷“靠天吃饭”怪圈，空调业急需探
...[详细]
-
编者按：本报上期报道了冰箱领域“禁氟令”的执行情况，与冰箱类似的是，在空调领域氟里昂同样也要遭遇被“禁止”的命运。根据《蒙特利尔议定书》所提出的制冷工质替换时间表，我国最迟必须在2040年全面禁止制冷
...[详细]
-
尽管２００６空调冷冻年度刚刚结束，但来自于厂家和媒体的盘点已提前拉开。对于今年空调市场的整体评价，舆论似乎已将原来估计的洗牌重组转折年定性成了空调灾年。理由看上去也颇为充分：原材料持续上涨、厂家涨价行
...[详细]
-
近日，以“显示无处不在·映照万千气象”为主题的第六届世界显示产业创新发展大会在成都举行，此次大会是新型显示产业领域的一场盛会，汇聚了全球显示产业的前沿力量，共同探讨新产品、新技术的发展方向。作为世界显
...[详细]
-
8月份，历来是空调业的收官盘点之战，但今年的空调大战却是哀鸿一片。由于原材料价格上涨和冷夏的影响，全国空调行业首次出现集体负增长。10年不遇的灾年预示着空调市场目前仍深陷“靠天吃饭”怪圈，空调业急需探
...[详细]
热点阅读
