英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 13:28:07 [时尚] 来源：河北众亿天融机械设备有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：热点)
西部数据执行副总裁Robert Soderbery将离职，公司即将拆分
电暖器放进被窝由于温度高而引燃—万维家电网
空调业“涨声”难响 库存是首要的压力—万维家电网
格兰仕巨资空调广告现身央视黄金时段—万维家电网
00后“准入殓师”开启专业实习推荐文章
-
法国量子计算领域的领先初创公司Quobly近日宣布了一项关于容错量子计算技术的重大里程碑。该公司报告称，其研发的FD-SOI(全耗尽绝缘体上硅)技术有望成为商业量子计算领域的可扩展平台，为量子计算的未
...[详细]
-
炎炎夏日正渐渐逼近，空调市场进入又一个销售旺季。特价机数量骤减，成了今年(06年)市场上的突出现象。 记者日前从著名的耐用消费品零售市场研究公司ＧＦＫ中国）获悉，全国６５个城市的零售监测数据显示，
...[详细]
-
空调不仅无法除掉室内甲醛，特别添加的过滤网反而还会造成二次污染。而由于国家关于健康家电的标准仍在制定之中，目前除了光波空调之外，打着除甲醛、光触媒、冷触媒、氧吧、负离子、纳米等“健康”旗号的空调产品都
...[详细]
-
空调业正在进入一个跨时代的调整时期。在诸多空调厂家中，位居三甲的美的、格力、海尔成为空调阵营中的“垄断”品牌。美的制冷家电集团总裁方洪波在近期推出天钻星旗舰产品时表示，中国空调行业将迎来“后洗牌”的
...[详细]
-
IPO撤单潮！10月至今5家半导体企业终止上市，涉及射频、AI等企业
电子发烧友网报道文/莫婷婷）在证监会阶段性收紧IPO节奏下，半导体企业IPO进度普遍放缓，2024年IPO审核趋严，甚至出现扎堆撤单潮。根据Wind统计的数据，今年以来截至2024年12月3日，A股市
...[详细]
-
国内问世首个<公民节约行为公约>夏季空调26℃写进公约“夏季空调26℃，节电效果很显著”；“多乘公交和地铁，既省能源又便捷”；“购车要买小排量，节油实惠还时尚”……这些和群众的生活息息相关
...[详细]
-
空调真的得涨价吗？不涨价，企业还能有什么其他办法？涨价之后，企业又应该怎么办？这些看上去无绪的问题，却折射出我国空调企业发展过程中存在的几大软肋：原材料铜的上涨就将企业的发展逼到了墙角；一直都擅长打价
...[详细]
-
“我家有台太阳能空调，不用一度电。”在夏季全杭州电力紧张的大背景下，这句话对很多的企业和居民来说，充满诱惑。显摆拥有“太阳能空调”的吴平，忽悠出一个又环保又节能的“太阳能谎言”，等着人们一个一个上钩。
...[详细]
-
全球低功耗无线连接技术的佼佼者Nordic Semiconductor，近期推出了其最新的物联网原型验证利器——Nordic Thingy:91 X。该平台专为LTE-M、NB-IoT、Wi-FiSS
...[详细]
-
昨晚９：３０左右，三孝口光明小区７号楼一住户家中起火。起火的５单元７１０室内一床棉被被烧得面目全非，房主李女士说：当晚８：２０左右，她带儿子去澡堂洗澡，９：２０左右回到家里。可她一开门，一股浓烟扑面
...[详细]
热点阅读
