英诺达发布全新静态验证产品，提升芯片设计效率
发布时间：2026-07-11 01:43:08 作者：玩站小弟 
我要评论
我要评论英诺达(成都)电子科技有限公司近日正式推出了两款全新的静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的发布，标志着英诺达在芯片设计工具领域迈出了重
。
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
相关文章
近日，西门子数字化工业软件与甲骨文红牛车队(Oracle Red Bull Racing)共同庆祝双方携手合作的20周年里程碑，这一合作成就了一级方程式赛车领域历史最为悠久的技术合作伙伴关系之一。自22026-07-11
夏季，空调给人们带来舒爽的同时，也带来的一些麻烦——“空调病”。由于空气不流通，室内空气含氧量降低，长期在空调环境下工作学习的人，就会出现鼻塞、头昏、打喷嚏、耳鸣、乏力、记忆力减退等症状，甚至会引起皮2026-07-11
刚刚过去的“十一”黄金周，奥克斯中高端空调全线出击，斩获了占奥克斯总销量50%的市场。这一“战果”意味着，奥克斯不再依赖低价、特价等促销手段争取消费者，而是通过设计、制造、推广高品质的空调产品，引导空2026-07-11
从疾病预防控制部门了解到，军团菌病是近年来新出现的一种传染性疾病，可引起暴发或散发的严重呼吸道传染病，人体处于长期不清洗的空调环境内极易感染发病。 据山西省卫生厅疾病预防控制处负责人冯立忠介绍，军团菌2026-07-11
近期，Diodes公司推出了符合车用标准的ZXCT18xQ系列电流分流监测器，为汽车行业带来了一种高精度、可靠的电流监测解决方案。ZXCT18xQ系列是一款单级仪表放大器，能够在高达26V的宽广共模电2026-07-11
志高空调昨日向外发布的07制冷年度总结报告显示，该公司海内外总销售额同比去年增幅达30%，市场平均单品值相比去年增长了25%，销售规模和销售利润率均实现了较大幅度的正增长。其中，商用空调销量同比去年增2026-07-11
最新评论