英诺达为本土客户提供优质EDA解决方案

本文来源于半导体芯科技 赵雪芹

"12月11-12日，第三十届集成电路设计业展览会（ICCAD-Expo 2024）在上海世博展览馆隆重举办。英诺达携最新发布的两款静态验证EDA工具亮相ICCAD，英诺达的创始人、CEO王琦博士在专题论坛发表了主题演讲，详细介绍静态验证在设计中的必要性及最新发布的EDA工具。"

从最擅长的地方切入，为本土客户提供优质EDA解决方案

英诺达（成都）电子科技有限公司成立于2020年，是一家由行业顶尖资深人士创立的本土EDA企业，公司坚持以客户需求为导向，帮助客户实现价值最大化，为中国半导体产业提供卓越的EDA解决方案。

王琦博士介绍：英诺达致力于为本土半导体设计公司提供最优质的EDA解决方案，包含三部分：一是自研的EDA软件，二是硬件验证的云平台，三是设计服务。

随着人工智能、5G通信、物联网等技术的快速发展应用，芯片设计的复杂度、集成度越来越高，相应地对于EDA设计工具也带来很多挑战。特别是在当前中美博弈中国半导体先进工艺受限的背景下，中国IC设计期待不依赖于先进工艺的芯片设计技术，本土EDA厂商该如何帮助中国芯片设计企业实现国产高性能芯片的突破？

王博士在采访中表示：本土EDA的优势是可以及时响应客户需求，通过迭代造成供给的优势和差异。所以，本土EDA更应该关注国内客户的需求，找到更适合中国国情的路径模式。通俗来讲发展本土半导体产业链跟登山一样，如果别人走过的路，我们跟着走，当然成本最低也是最安全的，但是现在不让我们走了，我们必须走自己的路。走自己的路，没有技术底气支撑是不行的，不能光靠雄心壮志，需要把登山包准备好，有充分准备才能达到目的。那EDA工具就是我们的登山包了。

“在最初的时候，国产EDA工具怎么让客户放弃现有的三大家的EDA选择自己？你如果每一点都比别人差，客户不可能用你的，你每一点都比别人好有一点幻想。必须有所取舍，专注于某些地方，然后形成局部优势，慢慢把客户从其他的工具吸引过来，这是一个比较实际的路径。”王博士说，“要有创新，要通过客户的支持及时形成差异化；但同时还必须要抓到一两个点对标，让别人看到我们比现有的工具有优势，让别人有意愿替换，最后才有信心替换。”

作为低功耗设计及应用的专家，王博士进一步现身说法：我们做EDA要从哪里切入？我想切入点必须要有特色，做得要比别人好，要从自己擅长的入手。我个人专长是低功耗设计，切入点是低功耗，但是光这一点不够，所以我们选择了静态验证，这是和动态验证互补的，在整个设计流程里面需要分别做，降低流片的风险。

“到目前为止，我们已经发布了6款EDA静态验证工具，明年还有一款做RTL功耗优化的工具发布。EDA工具的发布只是起点不是结束，真正让客户使用EDA工具是需要一个过程的。一个工具开发出来需要两到三年，客户推广也要两三年。接下来，客户推广是我们的重点，把7款工具商业化，让客户真正使用。如果能够形成收入的话，表示我们已经可以站稳脚跟了，也可以自负盈亏了。”王博士说。

除了EDA工具，英诺达还推出了云平台。王博士解释：我们有多种EDA解决方案，比如在硬件验证方面，现在市面上主流的硬件验证加速器很贵，又比较难维护，所以我们首创用云平台的方式，为国内客户提供硬件验证加速，过去几年我们的云平台业务发展得很好。当然，我们的创新核心还是EDA软件，云平台这种商业模式可以辅助我们生存下来，让我们有更好的自我造血能力，同时也满足国内设计公司当前的紧迫需要。

此外，造成国内EDA发展相对落后的很大原因是人才培养没跟上，小公司虽然不可能花很多精力在这方面，但是我们可以在局部领域和高校进行合作，比如授课，讲解EDA领域的难点、特点，让学生有兴趣解决EDA的问题，其实EDA里面很多算法问题是很有意思的，只是学生不知道，我们把这些问题讲解给他们，让他们产生兴趣。当然，讲完问题以后，我们把自己的EDA工具给学生用，他们将来自然而然就会宣传推广，这也是很常见的EDA产学互动的路径。

降本增效，RTL Signoff是必选项

不久前，英诺达发布了最新的ECDC和Elint两款静态验证工具，与动态仿真和形式化验证不同，静态验证通过在设计流程的早期阶段对RTL代码进行深度分析，能够发现潜在的逻辑错误、设计不一致性、违反设计规则等问题，避免了在设计后期中才发现缺陷带来的高昂修复成本。尤其在复杂的设计中，静态验证工具能够自动识别潜在代码缺陷、跨时钟域等问题等，帮助设计团队实现RTL Signoff。

在题为《英诺达RTL Signoff静态验证解决方案》的主题演讲中，王琦博士详细介绍了RTL Signoff在设计中的必要性，并重点展示了英诺达最新的ECDC跨域检查工具和ELint 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企业，公司坚持以客户需求为导向，帮助客户实现价值最大化，为中国半导体产业提供卓越的EDA解决方案。公司的长期目标是通过EDA工具的研发和上云实践，参与国产EDA完整工具链布局并探索适合中国国情的工业软件上云的路径与模式，赋能半导体产业高质量发展。英诺达首款自主研发的EnFortius凝锋系列低功耗EDA工具，可有效帮助IC设计工程师定位并分析低功耗设计相关问题。在静态验证领域，EnAltius昂屹系列工具将在设计流程的早期增强可预测性，帮助IC设计工程师做出最优决策。英诺达的EnCitius曜奇 SVS系统验证平台则利用EDA上云的优势，为客户打通验证资源的渠道，提供全面的SoC及系统级验证的一站式解决方案，提高芯片设计效率。此外，英诺达还可提供完整、可定制的前/后端设计服务。