英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 12:07:53 [时尚] 来源：河南东方博谷文化传媒有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：综合)
SATA硬盘的安全使用注意事项
使用OTDR进行光纤链路测试的方法
读了这么多年的“嗯”，拼音en错了？
又一大厂确定下一代SiC MOSFET采用沟槽设计
本田警告日产：接触富士康或致合作终止推荐文章
-
近日，在2024亚洲金选奖EE Awards Asia）颁奖典礼上，安富利荣获“企业奖——优秀供货能力通路商”奖项。亚洲金选奖由EE Times及EDN专业技术媒体及业内专业人士共同评选，旨在表彰对推
...[详细]
-
日前，奥松半导体的8英寸MEMS特色芯片IDM产业基地项目FAB主厂房成功封顶，这一里程碑式的成就标志着该项目工程建设进入一个新的阶段，3号FAB厂房是该项目的核心部分，其按时封顶对于后续的洁净室装修
...[详细]
-
周末到皖南旅游途中，遇到一名女孩落水，危急时刻，定远县永康镇河北村党总支书记、村委会主任柏宝宝顾不上自身安危，纵身一跃，跳入湍急的河水中，奋力将女孩救上岸，见女孩无大碍后，便默默离开。7月6日，这段救
...[详细]
-
开源鸿蒙荣获开放原子“2024年度操作系统领域国内活跃开源项目”
近日，2024开放原子开发者大会暨首届开源技术学术大会在武汉圆满召开。在大会开幕式“2024年度国内活跃开源项目&开发者致谢仪式”上，开放原子开源鸿蒙OpenAtom OpenHarmony，简称“开
...[详细]
-
近日，随着远程计算、物联网及云计算技术的迅猛推进，数据中心已成为现代社会不可或缺的基石，支撑着各行各业的正常运转。面对计算需求的持续攀升，确保IT系统的高可用性和稳定运行已成为各行业共同面临的重大挑战
...[详细]
-
近日，国家知识产权局公布了《第二十五届中国专利奖评审结果》，鸿利智汇集团两项发明专利同时上榜，充分展示了公司在半导体照明与显示领域的卓越技术实力。本次荣获中国专利优秀奖的两项发明专利分别来自鸿利智汇集
...[详细]
-
随着科技的不断发展，智能家居系统逐渐成为现代家庭生活的一部分。继电器作为智能家居系统中的关键组件，扮演着至关重要的角色。一、继电器的基本概念继电器是一种电子控制器件，它能够根据输入信号如电压、电流、温
...[详细]
-
2025年伊始，洛微科技LuminWave）正式宣布获得北京电控光电融合基金战略投资，并完成B1轮融资首关，成为本年度激光雷达行业以及光电融合产业领域的开篇力作，犹如一颗闪耀的启明星，照亮了洛微科技前
...[详细]
-
近日，苹果首席执行官蒂姆·库克在接受采访时，针对AI收费问题给出了明确的答复。他表示，苹果内部从未讨论过将AI作为收费项目的可能性。在库克看来，AI技术就如同多点触控技术一样，是推动技术革命的重要基础
...[详细]
-
广电总局强调不得制造虚假收视收听率 编辑：汤晓雪 来源：中国新闻网
...[详细]
热点阅读
