英诺达携两款静态验证EDA工具亮相ICCAD-Expo 2024

近日，第三十届集成电路设计业展览会（ICCAD-Expo 2024）在上海世博展览馆隆重举办。此次展会汇聚了国内外众多知名集成电路企业，超6000位业界人士参加了会议，共同探讨产业发展新趋势。英诺达携最新发布的两款静态验证EDA工具亮相ICCAD，英诺达的创始人、CEO王琦博士在专题论坛发表了主题演讲。

降本增效，RTL Signoff是必选项

在现代IC设计中，静态验证已成为确保芯片设计质量和可靠性的关键环节。与动态仿真和形式化验证不同，静态验证通过在设计流程的早期阶段对RTL代码进行深度分析，能够发现潜在的逻辑错误、设计不一致性、违反设计规则等问题，避免了在设计后期中才发现缺陷带来的高昂修复成本。尤其在复杂的设计中，静态验证工具能够自动识别潜在代码缺陷、跨时钟域等问题等，帮助设计团队实现RTL Signoff。

在题为《英诺达RTL Signoff静态验证解决方案》的主题演讲中，王琦博士详细介绍了RTL Signoff在设计中的必要性，并重点展示了英诺达最新的EnAltiusCDC跨域检查工具和EnAltiusLint RTL代码检查工具。他表示：“随着芯片设计复杂度的不断提升，芯片难以按时交付，RTL Signoff相关的工具在提高设计验证和保证设计正确性方面的作用愈发重要。英诺达推出的系列静态验证工具基于统一的底层架构，能够全方位、多维度地应对芯片设计企业所遇到的种种难题，助力企业在激烈的市场竞争中保持领先地位。”

英诺达静态验证工具矩阵

英诺达专注于数字IC设计静态验证EDA工具的研发，在RTL Signoff方面，英诺达的EnAltius CDC可以解决数字集成电路设计中常见的跨时钟域和跨复位域问题。而EnAltius Lint则能够发现设计代码中潜在的语法错误和逻辑错误，并提供基本的语法、语义和规范检查。针对RTL阶段的功耗分析，EnFortius RPA可以提供早期功耗评估，帮助用户提前对功耗进行优化。EnAltius DFT Checker则可以对RTL代码进行分析，提前发现DFT相关问题和缺陷。 在低功耗设计领域，英诺达还可以提供设计全流程的解决方案，EnFortius LPC可以在RTL、逻辑和物理实现阶段，检查低功耗设计的完整性和正确性。EnFortius GPA可以针对门级网表级电路提供精确的功耗分析。

英诺达展会现场

在展会现场，英诺达的展台吸引了众多观众。今年展台设置了EDA工具体验区和演讲区，观众能够上机体验英诺达最新的静态验证工具，并深入了解这些工具在芯片设计流程中的重要作用。通过工作人员的详细讲解和现场演示，参观者对英诺达的产品有了更加直观和深入的了解。与会者对英诺达的新产品表现出了极大的兴趣和热情。他们纷纷表示，这些新的EDA工具将为他们的工作带来极大的便利和效益。

通过此次ICCAD展会，英诺达加深了与业界同仁的交流与合作。下一届（2025年）ICCAD将在成都举办，作为成都本土EDA企业，我们欢迎您来美丽蓉城，期待与您再次相聚！

关于ICCAD-Expo 2024

本届ICCAD由上海市经济和信息化委员会、浦东新区人民政府、中国半导体行业协会集成电路设计分会指导，上海市浦东新区投资促进中心支持，上海张江高科技园区开发股份有限公司和上海芯媒会务服务有限公司共同主办。本次大会以“智慧上海，芯动世界”为主题，深入探讨当前形势下我国集成电路产业特别是IC设计业面临的困难与挑战以及发展建议，为集成电路产业链各个环节的企业构筑了一个在技术、市场、应用、投资等领域交流合作的平台，对集成电路发展突围和升级壮大具有重大意义。

关于英诺达

英诺达（成都）电子科技有限公司是一家由行业顶尖资深人士创立的本土EDA企业，公司坚持以客户需求为导向，帮助客户实现价值最大化，为中国半导体产业提供卓越的EDA解决方案。公司的长期目标是通过EDA工具的研发和上云实践，参与国产EDA完整工具链布局并探索适合中国国情的工业软件上云的路径与模式，赋能半导体产业高质量发展。英诺达首款自主研发的EnFortius凝锋系列低功耗EDA工具，可有效帮助IC设计工程师定位并分析低功耗设计相关问题。在静态验证领域，EnAltius昂屹系列工具将在设计流程的早期增强可预测性，帮助IC设计工程师做出最优决策。英诺达的EnCitius曜奇 SVS系统验证平台则利用EDA上云的优势，为客户打通验证资源的渠道，提供全面的SoC及系统级验证的一站式解决方案，提高芯片设计效率。此外，英诺达还可提供完整、可定制的前/后端设计服务。