英诺达发布全新静态验证产品，提升芯片设计效率
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：休闲)
阿贝数在光学中的应用实例
空调扇与空调、电风扇成三足鼎立局面—万维家电网
松下·万宝空调第5000万台压缩机下线—万维家电网
无奇不有 空调变成了“报警机器人”—万维家电网
NVIDIA CUDA推荐文章
-
近日，由亿欧主办的「WIM2024创新者年会」在北京盛大举行。此次年会汇聚了全球创新领域的百余位重量级嘉宾，通过独立演讲、圆桌论坛、报告发布、榜单揭晓等多种形式，深入剖析人工智能与未来产业发展的新趋势
...[详细]
-
五一空调市场，谁是最大赢家？日前，国美、苏宁、大中等各大商卖场的销售报表正式披露，显示奥克斯空调在此期间，实现了同比增长超过210％的销售业绩，而其首推的“平板机淘汰格栅机”战略，被业内人士公认为将“
...[详细]
-
室内环境污染成威胁健康首要问题 众专家集体开“药方”光波空调是首选健康空调新浪科技讯 环境问题一直是人们关注的热点问题，在2007年6月5日世界环境日这天，主题为“健康空调要从自身做起——支持奥运、光
...[详细]
-
昨天举行的家用空调污染与解决方案专家研讨会上，市疾病预防控制中心公布的一项空调微生物污染状况调查显示，家用空调内的散热片上隐藏着大量细菌。专家指出，闲置的空调在开启前，散热片一定要清洗消毒，上海应尽早
...[详细]
-
法国量子计算领域的领先初创公司Quobly近日宣布了一项关于容错量子计算技术的重大里程碑。该公司报告称，其研发的FD-SOI(全耗尽绝缘体上硅)技术有望成为商业量子计算领域的可扩展平台，为量子计算的未
...[详细]
-
“五一”黄金周悄然已去，据相关部门统计，在“黄金周”期间，空调销量再创新高，整体销售同比上涨了近40%，而且价格也比同期普遍下调了10%左右，由此可见，今年的空调“井喷期”已经提前启动。但有业内人士认
...[详细]
-
为深入贯彻科学发展观，进一步落实《国务院关于加强节能工作的决定》精神，促进科学使用空调，节约能源资源，减少温室气体排放，有效保护环境，国务院办公厅日前下发关于严格执行公共建筑空调温度控制标准的通知。通
...[详细]
-
将洗澡和空调制冷结合在一起，美的空调试图用综合能效比高达8.3的新概念空调在今夏争夺市场，重新建立行业新标准。 由中国标准化研究院中标认证中心组织召开的“‘热循环空调’高能效比技术专家鉴定会”于北京正
...[详细]
-
近日，由亿欧主办的「WIM2024创新者年会」在北京盛大举行。此次年会汇聚了全球创新领域的百余位重量级嘉宾，通过独立演讲、圆桌论坛、报告发布、榜单揭晓等多种形式，深入剖析人工智能与未来产业发展的新趋势
...[详细]
-
空调市场红红火火，去年的暖冬气象让人们预感到今年夏天可能酷热，使得今年的空调旺销期比往年来得早，在这一阶段，为自己的新居选购空调的人可谓络绎不绝。此外，为新居选空调的部分消费者，往往一次购买两台以上，
...[详细]
热点阅读
