英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 06:45:30 [休闲] 来源：河北众亿天融机械设备有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：百科)
光电传感器与其他传感器的区别
质量为何这么差 长虹空调遭网友炮轰—万维家电网
铜铝大战 专家基本认可铝代铜技术—万维家电网
市城区部分公共场所空调通风系统不卫生—万维家电网
网红打卡“堵”了厕所 历史建筑要怎么办？推荐文章
-
在近日举办的2024火山引擎FORCE原动力大会上，英特尔与火山引擎联合发布基于英特尔 至强 6 性能核处理器的第四代服务器实例，以打造弹性算力底座的产品化实践。同时，英特尔也携手扣子共同推出Coze
...[详细]
-
按照国际标准，空调一般使用寿命为10年，有关方面估计，目前杭州市大约有90万台空调已进入报废期。“超龄空调”不但“吃电”，而且其携带的病菌还很容易让使用者感染致病。 杭州市统计信息网显示，1995年杭
...[详细]
-
“真是太不像话了，无缘无故往里面放石头，这是谁干的呀！”8月4日上午9时左右，胜利路一理发店的业主张女士来到店里打开空调准备营业，却碰上了一件郁闷事。悬挂在门面外墙的一台空调室外机被人拆开外壳，放进了
...[详细]
-
空调连接管“铜铝之争”在炎炎夏日突然爆发，引发了“铜管好，还是铝管好”的争论。日前，在空调连接管替代技术研讨会上，中国电子商会、中国家用电器研究院等机构的权威专家一致表示：空调连接管铝代铜技术是在铜资
...[详细]
-
近日，基于 飞腾腾珑E2000 CPU打造的自主可控DCS(分散控制系统)等主辅机系统，在华电江苏望亭电厂顺利完成部署投运。该型自主可控DCS是国内首批在CPU硬件底层实现内置TCM的电力工控系统，代
...[详细]
-
7月29日上午，记者先后走访了市区多家商场，看到各大商场空调专柜前，顾客络绎不绝，每位负责空调销售的工作人员身边都挤满了前来咨询、购买空调的顾客。 市区一商场负责人说，“平常，空调大约每天销售10台左
...[详细]
-
如今，由于气温持续上升，家家户户空调的使用率非常高，但是在空调的使用过程中，会吸食许多灰尘，所以定期的清洗空调是非常有必要的。 一、首先观察一下空调外机内尘土是否已堵塞，若有，要进行清理。二、打开室内
...[详细]
-
最近，由于国内第二大空调生产商美的电器首先挑起了“黑心管”的概念，称国内某些厂家使用铝铜管代替铜管，暗贬某些用“铝铜管”同行“偷工减料”损害消费者权益，美的空调此举引起海信，科龙，海尔等多家空调商群起
...[详细]
-
高通公司近日正式宣布了一项重要的人事变动决定。Baaziz Achour博士将被任命为高通技术公司的首席技术官，接替现任的James Thompson博士，该任命将于2025年2月3日正式生效。Ach
...[详细]
-
控制空调温度，节电效果显著。现在，空调已普遍应用于公共建筑和居民住宅。如果空调温度设置不尽合理，就会导致能效不高，造成能源资源浪费，增加了环境压力，与建设资源节约型、环境友好型社会的目标不相适应。数据
...[详细]
热点阅读
