英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 14:41:02 [探索] 来源：福州木名而来有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：休闲)
2024物联网年会聚焦智慧城市，飞猫科技双奖加冕！
促进“两个健康” 全国工商联调研组来泉调研
凤阳法治护航未成年人健康成长_
库克：苹果从未考虑AI收费推荐文章
-
RJ45转接头的用途网络连接：RJ45转接头可以将RJ45接口的设备如电脑、路由器、交换机等）连接到其他类型的接口，如RJ11电话线接口）或USB接口。设备兼容性：在不同设备之间进行网络连接时，可能需
...[详细]
-
近日，佛吉亚歌乐电子(丰城)工厂(下文简称“丰城工厂”)顺利通过ISO 14068-1:2023标准认证，标志着工厂在碳管理体系搭建、温室气体管控、残余排放中和处置等维度，全面接轨国际前沿低碳管理规范
...[详细]
-
滁州网讯全媒体记者喻 松 通讯员杨云峰）近年来，我市通过构建绿色制造体系、推进绿色智造升级、强化气候金融赋能等举措，聚力推动工业经济向绿色化、智能化高端迈进，成效显著。目前，我市累计获批国家级绿色工业
...[详细]
-
李文红李文红，女，1979年9月生，天长市新街镇王店社区居民。2012年，李文红的婆婆突发脑中风引起偏瘫，失去自理能力。为了让丈夫安心在外工作挣钱，已怀有身孕的李文红毅然揽过照顾婆婆的担子，耐心给婆婆
...[详细]
-
我们很高兴地宣布AMDAlveo 媒体加速产品组合 AMA ）SDK 1.2.1 版本发布，从而进一步扩展 AMD Alveo MA35D 媒体加速卡功能。此版本中的新功能包括：支持 Alma 9.4
...[详细]
-
滁州网讯全媒体记者马晨晨）昨日，记者从滁州站获悉，自7月1日暑运启动至8月27日，滁州站共发送旅客39万余人次。随着暑运进入尾声，未来一周，滁州站将迎来返程客流高峰，学生流、探亲流、旅游流、商务流叠加
...[详细]
-
作为一名基层干部，他在工作岗位上恪尽职守，兢兢业业；作为一名政协委员，他忠实履行职责，积极建言献策，他就是枞阳县政协委员、县农业农村局办公室主任周三喜。从业以来，周三喜在平凡岗位上默默耕耘、坚守奉献，
...[详细]
-
唯有以创新开路，方能在攀高逐新的爬坡过坎中加速度、增动能；唯有靠创新破局，方能在日趋激烈的区域竞争中抢赛道、塑优势。省委“创新之问”吹响了“创新创新再创新&rdqu
...[详细]
-
近日，元宇宙标准化大会暨工业和信息化部元宇宙标准化工作组年会在江西南昌举办。会议期间《空间计算发展报告(2024)》(以下简称《报告》)正式发布。灵伴科技作为参编单位之一，展示了其在空间计算领域从硬件
...[详细]
-
以精工智造，驱动产业效率，赋能美好生活：瑞斯特半导体的时代使命
在半导体产业被誉为“现代工业粮食”的今天，中国芯片行业正经历着一场从“量的积累”到“质的飞跃”的深刻变革。作为国产芯片原厂，瑞斯特半导体RST）始终在思考一个根本性的问题：在技术封锁加剧、市场竞争白热
...[详细]
热点阅读
