英诺达发布全新静态验证产品，提升芯片设计效率
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：探索)
NVIDIA AI模型QUEEN实现高效内容直播
四川“00后”小伙拇指缺失10余年 医生“移花接木”脚趾变手指
泉州市公积金管理中心搬迁至东海 3月12日起正式运行
本周两股冷空气接连来袭 中东部多地气温上演“精分式”升降
中车鲸典客车批量交付1032辆推荐文章
-
近日，全球领先的电子设计自动化(EDA)和半导体IP供应商新思科技(Synopsys, Inc.)宣布了一项重大技术创新——推出业界首款超以太网IP和UALink IP解决方案。这一创新旨在满足高性能
...[详细]
-
中心将于2019年3月9日至10日搬迁至东海街道海星街100号东海大厦C栋，3月11日进行内部测试，暂停对外办理业务。3月12日起，新住房公积金管理中心服务大厅将正式运行，对外办理相关业务，而位于温陵
...[详细]
-
设计领域再传捷报——普渡机器人PUDU T300凭借其突破性设计理念与技术创新，斩获2025年度德国红点设计奖。这是普渡机器人继首款产品“欢乐送”获得德国红点至尊奖之后，第四次摘得这一被誉为设计界"奥
...[详细]
-
市住房公积金新服务大厅今起正式运行，5家承办银行全部入驻——“只进一扇门”，公积金业务全办妥昨日，技术人员正在对业务人员进行电子产品技术指导。 陈晓东
...[详细]
-
近日，西门子数字化工业软件与甲骨文红牛车队(Oracle Red Bull Racing)共同庆祝双方携手合作的20周年里程碑，这一合作成就了一级方程式赛车领域历史最为悠久的技术合作伙伴关系之一。自2
...[详细]
-
末位淘汰、严格考勤、降薪调岗 伪装手段变相裁员合法吗 编辑：汤晓雪
...[详细]
-
闽南网4月28日讯(福建日报新媒体·闽南网记者 王惠敏 通讯员 王亚男 夏毅承 文/图)10年来首次延长，4天小长假即将来袭！福建日报新媒体·闽南网www.mnw.cn）记
...[详细]
-
RISC-V是基于精简指令集计算RISC）原理建立的开源指令集架构，而RISC-V DSP则是在此基础上，专为数字信号处理设计的芯片。它具备开源、灵活可定制等特性，为众多领域的创新应用注入活力。近年来
...[详细]
-
新华社联合国7月8日电记者尚绪谦）联合国秘书长古特雷斯的发言人迪雅里克8日表示，古特雷斯对美国和伊朗重启战端表示震惊、呼吁降级紧张局势。迪雅里克在当天的例行记者吹风会上说，美伊之间已取得的外交成果正面
...[详细]
-
科研人员身心健康问题引关注：别让他们陷入“疲劳战消耗战” 编辑：汤晓雪
...[详细]
热点阅读
