英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 20:12:58 [时尚] 来源：江西尚腾实业有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：时尚)
AMD Alveo媒体加速产品组合SDK 1.2.1发布
06空调业：洗牌接近尾声 市场正在苏复—万维家电网
价格周折多 06空调市场到底涨还是降？—万维家电网
格力美的海尔等优势品牌市场地位将更稳固—万维家电网
安富利荣获2024亚洲金选奖“优秀供货能力通路商”推荐文章
-
DFT离散傅里叶变换）在信号处理领域具有广泛的应用，但在使用过程中也常会遇到一些误区。以下是对DFT常见误区的总结以及相应的解决方案：常见误区混叠现象： 误区描述：在采样过程中，如果采样频率不足，可能
...[详细]
-
编者按：本报上期报道了冰箱领域“禁氟令”的执行情况，与冰箱类似的是，在空调领域氟里昂同样也要遭遇被“禁止”的命运。根据《蒙特利尔议定书》所提出的制冷工质替换时间表，我国最迟必须在2040年全面禁止制冷
...[详细]
-
很多消费者只注重了低节能空调的价格低廉，而忽略了高节能空调带来的实惠 空调节能等级日趋普及，而消费者对节能新规的了解并未“与时俱进”，市场上出现了低节能空调因价格低廉讨消费者欢心，而高节能空调却乏人
...[详细]
-
日前，记者发现，美的、ＬＧ、海尔、志高等各大厂商为了争夺空调行业国家标准的制订话语权，纷纷推出了自己的“企业标准”，一时间，“标准”俨然成为２００６年下半年中国家电行业的“口头禅”。背景： 行业标准的
...[详细]
-
近日，中国电信股份有限公司浙江分公司(以下简称“浙江电信”)与杭州海康威视数字技术股份有限公司以下简称“海康威视”）举行战略合作协议签署仪式。浙江电信党委书记、总经理李云庄，海康威视董事长胡扬忠出席签
...[详细]
-
2007年7月1日后，空调、冰箱产品所使用的常用制冷剂——氟利昂将全面禁用。昨天(2006年8月24日)，TCL集团宣布，开始在其空调产品中广泛使用不损害臭氧层的制冷剂，为此空调产品的成本将增加10
...[详细]
-
看到这个标题，大家应该不会感到新鲜。留意一下近两年家电连锁中的产品会发现，造型各异的平板电视，不断更换外壳的空调、冰箱，点缀着各色彩灯的厨电产品…… 第一次将“家电时装化”概念明确提出来的，老马是
...[详细]
-
近日，苏宁华北区执行总裁范志军高调向媒体宣布：苏宁提前发动国庆促销，准备用20%的资源打下80%的市场，打到对手求和为止。并称仅北京地区就提前一个月一次性采购了5亿元的市场主流产品，而且这还只是第一阶
...[详细]
-
RJ45转接头的用途网络连接：RJ45转接头可以将RJ45接口的设备如电脑、路由器、交换机等）连接到其他类型的接口，如RJ11电话线接口）或USB接口。设备兼容性：在不同设备之间进行网络连接时，可能需
...[详细]
-
2006年的空调市场从来没有如此地被人关注。随着铜等原材料价格疯涨、国际反倾销浪潮频发，欧盟绿色双指令实施，加上天工也不做美，导致空调整机价格上调遭遇重重阻力，市场环境的恶化让一些曾经高调行进、风光无
...[详细]
热点阅读
