英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-10 14:19:23 [娱乐] 来源：华佑尔展览(上海)有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：焦点)
瑞丰光电创新Mini背光技术方案和CHIP产品荣获两项客户荣誉
神表白 西沙畅想 GMCC微信活动上线—万维家电网
永不降价！ 科龙空调推出“KFC微信直销”—万维家电网
EMMC和NAND闪存的区别推荐文章
-
近日，柠檬光子成功获批2024年度科技重大专项资助项目“重202408008用于3D量子关联传感的2D可寻址面发射激光芯片关键技术研发”。此次申报获批立项，标志着柠檬光子在量子传感技术领域迈出了坚实的
...[详细]
-
一家人生活在一起，免不了有需求不同的冲突，小时候争电视，现在争空调，北京的梅女士这几年一直在为买空调的事烦恼，直到她遇到了海尔天樽空调，家里有关空调的的争论戛然而止。 消
...[详细]
-
时至年关，各家的新房装修都已经进入冲刺阶段，对于高端装修用户来说，家用中央空调的选购仍然是他们关心的装修热点。在湖州翰林世家小区内，就有住在同一楼的两家住户，主动做起了家用中央空调的导购员——他们
...[详细]
-
全球压缩机领导品牌GMCC始终坚持客户导向策略，向卫民总经理接受媒体采访时多次强调客户服务理念，他表示：“企业的发展与成长，实际上就是来自于对客户的服务，客户认可，才有成长机会，企业存在的理由，就是客
...[详细]
-
近日，基于 飞腾腾珑E2000 CPU打造的自主可控DCS(分散控制系统)等主辅机系统，在华电江苏望亭电厂顺利完成部署投运。该型自主可控DCS是国内首批在CPU硬件底层实现内置TCM的电力工控系统，代
...[详细]
-
2015年1月24日，以“鲁商 鲁企 一家亲、颠覆 共赢 新纪元”为主题的海尔空调齐鲁企业领袖俱乐部峰会在青岛举行。会上山东省内30家销售规模过亿的家电商与海尔空调成立了“海商会”，各方将共同掘金
...[详细]
-
近日，中国家电行业规格最高的大型综合性展会中国家电博览会2015简称AWE）在上海新国家博览中心举行。同期举行的我国家电行业产品类年度大奖“艾普兰奖”的评选结果于3月12日揭晓。海尔天铂空调凭借独
...[详细]
-
在刚刚结束的海信空调新品发布会上，推出360°全角度送风的“炫转”空调苹果云T系列T900Z）以及全封闭挂式空调苹果云T系列T990H、T920H）。“炫转”空调不仅能360°全角度送风，还能感知人体
...[详细]
-
阿贝数在光学中的应用实例光学是研究光的性质、行为和应用的科学。在光学领域，阿贝数是一个重要的参数，它影响着光学元件的性能，如透镜、棱镜和光纤等。一、透镜设计在透镜设计中，阿贝数是一个关键因素。透镜的色
...[详细]
-
近日，中国家电行业规格最高的大型综合性展会中国家电博览会2015简称AWE）在上海新国家博览中心举行。同期举行的我国家电行业产品类年度大奖“艾普兰奖”的评选结果于3月12日揭晓。海尔天铂空调凭借独
...[详细]
热点阅读
