英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 01:47:01 [百科] 来源：济南霸王龙力液压机械有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：娱乐)
网红打卡“堵”了厕所 历史建筑要怎么办？
专用于智能空调的24G目标运动轨迹追踪雷达模块
教育新基建，先从课程考核抓起——为教学质量打下智能化、一体化的数据底座
《康养机器人性能测试方法》国标推进工作研讨交流活动
基于飞腾腾珑E2000 CPU的自主可控DCS系统成功投运推荐文章
-
Microchip推出12按钮MTCH2120交钥匙触摸控制器
为了助力设计人员快速将机械按钮升级为现代触摸按钮或显示屏，MicrochipTechnology Inc.(微芯科技公司)近期推出了12按钮MTCH2120交钥匙触摸控制器。这一创新产品为设计人员提供
...[详细]
-
英威腾成功交付武汉轨道交通档案中心及反恐中心弱电智能化工程核心电力项目，以全套自主研发的腾智一体化数据中心解决方案，涵盖精密空调、模块化UPS、蓄电池组及动环监控系统的全自主产品体系，为这座总建筑面积
...[详细]
-
今晚，泉州南音艺术家蔡雅艺将在大型交响合唱《长安门》中演唱《出汉关》蔡雅艺在维也纳金色大厅排练清唱南音《出汉关》早报讯 记者张素萍）奥地利12月11日晚8点北京时间12月12日0点），泉州南音艺术家蔡
...[详细]
-
今年以来，天长市郑集镇多措并举持续推进法律援助工作，创新工作方式方法，维护困难群众和弱势群体的合法权益。抓实普法宣传，保证维权有法可循。普法志愿者积极开展“法律援助宣传月”等活
...[详细]
-
近日，鸿蒙智行与央视新闻宣布了一项重要合作，定于12月19日联合举办一场别开生面的特别直播节目。此次直播活动将聚焦汽车行业，汇聚了来自多个重量级企业的领导人物，共同展开一场跨界对话。据悉，华为终端BG
...[详细]
-
安徽新增无症状感染者1例 系南京一确诊病例丈夫 编辑：汤晓雪 来源：
...[详细]
-
轻量化设计! 昊衡科技携FLA光纤链路分析仪CIOE中国光博会
2025年9月10-12日在深圳国际会展中心宝安新馆），昊衡科技将携FLA光纤链路分析仪亮相CIOE中国光博会。FLA空间分辨率2mm，最长测量范围500m，最长支持定制2km，测量动态范围70dB。
...[详细]
-
记者从泉州市住建局获悉，昨日为中心市区销售型保障房选房日，本轮预约购买保障性住房的轮候家庭全部选房完毕，共有187户轮候家庭选到了住房，仍剩余287套销售型保障房。 据
...[详细]
-
00后步入职场，企业如何“接招” 编辑：汤晓雪 来源：中国青年报
...[详细]
-
前言在全球经济一体化浪潮中，出海已成为中国企业应对国内市场饱和与竞争加剧的必然选择，也是众多不确定性中为数不多的“确定性”。这一趋势在政策支持与技术驱动的双重推动下正不断加速。企业通过国际化布局，既能 ...[详细]
热点阅读
