英诺达发布全新静态验证产品，提升芯片设计效率
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：焦点)
爱普生亮相2024世界显示产业创新发展大会
揭秘：科龙空调的高效秘诀—万维家电网
酒店试睡员力荐天樽空调入驻五星VIP套房—万维家电网
志高东莞：提前一个月超额完成全年销售任务—万维家电网
00后步入职场，企业如何“接招”推荐文章
-
近日，元宇宙标准化大会暨工业和信息化部元宇宙标准化工作组年会在江西南昌举办。会议期间《空间计算发展报告(2024)》(以下简称《报告》)正式发布。灵伴科技作为参编单位之一，展示了其在空间计算领域从硬件
...[详细]
-
随着气温节节攀升，空调大战从线下蔓延到线上。一年一度的“618”年中大促已早早在京东、天猫开火，作为“变频空调消费普及领导品牌”的格兰仕也早早亮出了爆款，除了1匹变频空调亮出惊天的1899元，还有
...[详细]
-
志高于2012年推出云空调系列产品，是当时跳出空调单一制冷制热技术层面的一次跨界创新，将原本呆板的家电产品和互联网浪潮结合起来，以云为核心技术，形成了制造企业、空调产品、消费者之间技术及信息资源的
...[详细]
-
酷暑难挡热情，空气中弥漫着腾腾热气，35℃上下的温度就让你心烦气躁了吗？夏天的温度就该这样吗？当然不是！谁说避暑非得要“穿越”到南半球？如果没有充裕的时间，也没有足够的资金来场说走就走的旅行，倒不
...[详细]
-
实习越来越“卷” 焦虑如何抚平 编辑：汤晓雪 来源：中国青年报
...[详细]
-
每克水结冰时产生960kg/cm2的膨胀力，相当于一个指甲盖托起近一吨的重量——这是海尔自清洁空调将空调换热器上顽固污垢剥离时所提供的力量。8月3日，在广州举行的主题为“让空气更健
...[详细]
-
除了年底的“双十一”电商大战，各大电商平台现在正在开辟节庆营销的更多分战场。经过几年的酝酿，年中六月份的“电商大PK“已经初具规模。天猫、京东、苏宁等电商巨头，也纷纷把六月中旬到下旬作为一个不错的
...[详细]
-
这几天气温直线飙升，空调又成了每个家庭必备的降暑神器。消费者选购空调总会货比三家，好而不贵的才是首选，不过坊间还流传着这样一句话“便宜没好货，好货不便宜”，仔细想想确有一定的道理，可是对于咱们老百姓，
...[详细]
-
如今，实体商业正经历着深刻的变革，它们不仅需要应对消费者日益多样化的购物需求，还需紧跟数字化、智能化、绿色化的时代潮流，不断提升自身的竞争力。购物中心在创新消费场景、打造体验式消费空间方面持续探索。近
...[详细]
-
5月28日，2015海尔除霾新风战略发布会在京召开，发布会中推出的除霾新风机，一次除霾率99.8%；这是新风机市场上首次推出除霾功能的产品，这将填补新风市场的技术空白。同时海尔中央空调方面也表示，
...[详细]
热点阅读
