英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 19:35:33 [时尚] 来源：上海国好物流有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：焦点)
高通任命新首席技术官
空调高端化趋势明显 奥克斯引领行业风向标—万维家电网
GMCC多元铸造全球领先品牌 树立B2B行业标杆—万维家电网
海尔两款空调斩获iF大奖 家电进入众创时代—万维家电网
学习困难真是病？复旦儿科学习困难门诊已约满了推荐文章
-
随着物联网技术的蓬勃兴起，北京桂花网再次展示了其卓越的创新实力，推出了M1500及M1500-XT两款企业级蓝牙网关新品。M1500系列网关延续了M系列产品的诸多优势，如体积小巧、易于安装和使用、蓝牙
...[详细]
-
12月14日，美的集团以下简称美的）发布公告，宣布与小米科技有限公司小米旗下公司之一，以下简称小米科技）达成战略合作，美的将以每股23.01元价格向小米科技定向增发5500万股，募资不
...[详细]
-
说起KFC，你会想到什么？肯德基？开封菜？现在，KFC又有新解，那就是科龙空调刚刚携手微信推出的直销模式Kelon Factory to Customer）。 KFC，字面意思就是“从工厂到用户
...[详细]
-
2014年，对空调领军品牌奥克斯来说是意义非凡的一年。这一年，奥克斯迎来了20周年生日庆典。这一年，是奥克斯“转型升级”启动以来的首个元年。这一年，当整个空调业都在热衷于价格战时，奥克斯依然坚守“
...[详细]
-
近期，日本两大汽车制造商日产与本田正面临来自合同制造商富士康的潜在收购挑战，双方因此展开了深入的交流与协商。据日经新闻报道，自今年年初富士康开始表达对收购日产股份的兴趣以来，日产与本田迅速进入了紧急协
...[详细]
-
近日，中国家电行业规格最高的大型综合性展会中国家电博览会2015简称AWE）在上海新国家博览中心举行。同期举行的我国家电行业产品类年度大奖“艾普兰奖”的评选结果于3月12日揭晓。海尔天铂空调凭借独
...[详细]
-
近日，自5月热炒的谷歌“无人驾驶”汽车推出改进版，“上车打盹汽车自控”的梦想正在一步步变成现实。如今，基于大数据与云智能服务，海尔也计划在家用中央空调上实现“无人驾驶”。2014年年末，海尔智慧家
...[详细]
-
http://kelonkt.tmall.com/ 12月20日，为期3天的“中国移动2014全球合作伙伴大会”在盛大气氛中圆满落下帷幕。本届展会中，阿里打造的旨在展示云智能科技给生活带来巨大革命的
...[详细]
-
电阻是电路中的基本元件之一，用于限制电流的流动。在电子电路设计和维修中，选择合适的电阻类型对于确保电路性能至关重要。色环电阻因其易于识别和成本效益而广泛使用。色环电阻概述色环电阻，也称为四色环电阻或五
...[详细]
-
空调市场再起风云。这一次，不再是以清理库存为目标的低价格战，而是以转型升级为驱动的品牌代言战。 日前，志高空调创始人李兴浩突然通过个人微博放出消息，将在志高发展20年的关键节点上，聘请国际一线影
...[详细]
热点阅读
