英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 01:55:01 [综合] 来源：苏州佳佳电器售后服务中心
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：百科)
Quobly宣布容错量子计算技术重大突破
小伙5楼坠下 两个空调护栏没留住他的命—万维家电网
空调连接管铝代铜 是欺骗还是技术创新—万维家电网
如果您的家里有婴儿 请您牢记这九条—万维家电网
“自立娃”吃出浅表性胃炎推荐文章
-
各行各业中，精度一直是企业和用户最为关注的核心指标之一。随着技术的不断发展和市场需求的日益多样化，现有的探针座产品精度已经逐渐难以满足测试中对高质量和高性能的追求。为解决用户在实际应用中因精度不足而带
...[详细]
-
笔者昨日从武汉大学中南医院了解到，由于江城最近几天持续“桑拿天”，该医院“热感冒”患者占内科门诊总量的五成。汪先生这两天出现咳嗽、鼻塞等症状，吃了感冒药也不见好，遂来到武大该医院消化内科教授施先艳分析
...[详细]
-
端的是这大雪封山三十天，地主家也没余粮啊。话说这步入2007年7月,顺德小城里两家专做烧饼连锁店生意的故事。 一家老板姓科名龙，追溯其历史的话真真吓死人，根正苗红的国企名角，影响革命几代人的“发展才是
...[详细]
-
控制空调温度，节电效果显著。现在，空调已普遍应用于公共建筑和居民住宅。如果空调温度设置不尽合理，就会导致能效不高，造成能源资源浪费，增加了环境压力，与建设资源节约型、环境友好型社会的目标不相适应。数据
...[详细]
-
网红打卡“堵”了厕所 历史建筑要怎么办？ 编辑：汤晓雪 来源：澎湃新
...[详细]
-
下午5点，三伏天的广州。70岁的黎阿伯怀抱一个装着水瓶和录音机的袋子，靠窗坐在291路公交车里假寐。车子在燥热的空气中穿行，车里没有空调，十几扇窗子张开大嘴贪婪地吮吸着窗外流动的热风。每天早上，黎阿伯
...[详细]
-
中国电子商会、中国家电研究院等机构昨天在京联合召开技术研讨会，为空调铜铝连接管正名，以结束最近在空调业闹得沸沸扬扬的“铜铝之争”。 空调连接管是指连接空调室外机与室内机之间的金属管。7月初，美的空调宣
...[详细]
-
昨日(2007年7月30日)从南京国美了解到，其２周年庆典开展１０天以来，各品类产品推出一系列的让利、返现、买赠、团购等盛大促销活动，整体销量比去年同期大幅上涨。 南京国美副总经理兼营运总监江波表示，
...[详细]
-
DFT离散傅里叶变换）在信号处理领域具有广泛的应用，但在使用过程中也常会遇到一些误区。以下是对DFT常见误区的总结以及相应的解决方案：常见误区混叠现象： 误区描述：在采样过程中，如果采样频率不足，可能
...[详细]
-
2007空调冷冻年还未落下帷幕，作为全球奥运史上唯一一个整套白电赞助商，海尔研发的具有“自动清扫，持续刷新”专利技术的海尔′08奥运风空调进入批量生产阶段，将在北京奥运会倒计时一周年之际激情上市。据了
...[详细]
热点阅读
