英诺达发布全新静态验证产品，提升芯片设计效率
发布时间：2026-07-10 10:25:13 作者：玩站小弟 
我要评论
我要评论英诺达(成都)电子科技有限公司近日正式推出了两款全新的静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的发布，标志着英诺达在芯片设计工具领域迈出了重
。
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
相关文章
3月14日，苏宁主办的“07年京城空调发展趋势论坛”，与会厂商代表对07年空调价格的趋势各持己见。就在业内人士仍在就07年空调市场价格涨跌争论不休的时候，上周，外资空调效仿外资彩电，突然袭击，联手苏宁2026-07-10
2007年，中国华南地区含广东、福建、广西）中央空调市场进一步增长，同比增长18.9%。广东、福建、广西三个省级市场增长率分别为11.4%、50%和33.3%。虽然广东市场增长速度远远低于整个华南市场2026-07-10
家用中央空调日渐流行？对此，有人喝彩，有人泼冷水。初春乍暖还寒，空调销售未热，争论先见刀影。焦点不外乎价格、受众面、节能、售后等，对于消费者来说，到底是“鸡肋”还是“蛋糕”，行内人士自有说法。正方：是2026-07-10
日前，成都市建委出台了《成都市房屋建筑工程外立面设计文件编制管理规定(试行)》(以下简称《规定》)文件，要求成都市中心城区(绕城高速公路以内)新建房屋建筑工程外立面的设计管理必须按此规定执行。经审查通2026-07-10
春节临近，各空调企业纷纷为2007年空调冷冻年度旺季造势。但与往年不同的是，今年的主流空调企业几乎都瞄准了“健康”，格力推出了健康绿色空调，美的空调推出了“清静星”，海尔推出了07鲜风宝系列健康空调。2026-07-10
2008年是改革开放30周年，也是格兰仕建企30周年，对格兰仕而言，这是盛事连连的一年，其中，格兰仕空调携“光波美梦宝”等一批被业界称为“六星级空调”的顶级新品，志在迎战中国年。 为了拉动云贵两省的2026-07-10
最新评论