英诺达(成都)电子科技有限公司成立于2020年12月。成立初期,英诺达提供基于由Cadence独家授权的EDA硬件验证云平台,其一站式验证解决方案可为厂商提高芯片设计效率。2022年发布了首款自主研发的EnFortius低功耗系列EDA工具,可有效帮助IC设计工程师定位并分析低功耗设计相关问题。该公司的远景目标是通过EDA软硬件上云的实践,依托本土EDA软件及IP的研发,探索出适合中国国情的工业软件上云的路径与模式,赋能半导体产业高质量发展。
按照英诺达董事长和创始人王琦博士的介绍,公司主要产品和服务涉及到三大领域:自研EDA、前端设计服务、后端设计服务。
其中,前端设计服务主要是提供基于EDA硬件仿真加速器的云平台,底层采用了Cadence的Palladium(帕拉丁)系统,致力于解决复杂芯片的验证资源问题,缩短企业开发周期。通过向厂商提供安全的EDA验证硬件云入口,客户可以按需使用,既可以满足峰值需求,也可以实现设计全过程的验证需求。2022年,英诺达硬件仿真加速器达到了97%的负载率;后端设计服务为提供后端设计流程相关的服务,基于经过量产验证的先进制程IP与SoC的开发与整合经验,为客户提供全流程、涵盖高端工艺节点的设计服务。
“EDA上云并不是一门技术,而是一个商务模式。这个商务模式创新一方面可实现计算资源更有效的利用,另一方面是降低使用成本。要先有软件、产品,然后才能上云。当然,有一些产品领域可以做所谓的原生态上云,如一些物理仿真,甚至一些逻辑仿真。但是,有一些工具上云比较困难,因为在EDA算法中,有的地方很难并行化或者多线程,这是我们行业特有的现象。”王琦表示,“总而言之,上云我觉得是一个次要问题,关键是要有产品出来,但是一旦有了产品之后,上云会不能成为一个契机?中国最苦于EDA使用成本很高,当你的产品技术方面有一定竞争力,成本又很有力,当然就具备竞争优势。我不排除上云可以增加本土EDA产品的竞争力,但是要靠它来产生一些决定性的变化,我持保留观点。”
英诺达董事长和创始人王琦博士
对于本土EDA行业的发展,王琦分享了他的观点:“客户为什么会买单?我们一定要抓住国产EDA的核心。国产EDA的核心,我不认为是要去追赶国际EDA,也许这个是最终目标,但是我们要抓住自己的工具如何服务本土企业,不要去追3nm、7nm。现在中国的公司,不管你是做28nm,还是65nm,你需要什么样的工具,需要什么样的功能,帮他定制化做出来,服务他,这也是国际大厂做不到的地方。我个人觉得抓住了这一点,EDA就会有出路,以后的道路上会越走越宽。如果纯粹的要弯道超车,要去追赶,没有这个必要。”
针对自研EDA,英诺达于2022年末发布了其第一款自主研发的EDA工具EnFortius Low Power Checker(LPC)。LPC主要用于低功耗设计静态验证,帮助IC工程师快速定位低功耗设计所带来的可能的设计漏洞和缺陷。
LPC采用了全新的产品架构,据称为业界首个基于UPF 3.1版本信息模型搭建核心电源意图数据结构的EDA工具,可以有效地访问UPF中描述的任何电源意图信息。
EnFortius LPC系统架构图
“LPC具有非常强的竞争力,不仅支持最新版本UPF,对UPF早期常用的命令也可以支持。LPC作为一个验证工具,并不是以单纯报错为目标,而是让客户更容易找到错误根源,找出解决办法。英诺达多位领头研发人员深耕低功耗领域多年,对产品从数据架构及报错设计上都做了创新。”王琦表示,“虽然LPC才刚刚面市,英诺达已有3个发明专利获得国家的批准,还有6个专利在申请当中。”
“中国半导体企业要破局,设计方法学是专注于现有的制程设计方法。并不是只有先进制程需要低功耗,传统工艺也同样需要低功耗。一旦你做一些低功耗设计,如关断电源,采用多电压,设计一复杂,就容易出错。我们的工具是专注于用于复杂管理芯片的检查错误工具。”王琦解释到,“跟其它工具相比,首先低功耗设计方法学,差不多是2007年至2008年在美国提出,我个人也是很早期提出这个方案,对该领域有深度的理解。其次,作为一个检查工具,我们思路有一些改变,我们并不是以报错为目的,而是让客户很容易找到错误根源,找出解决办法。我们从数据架构、报错设计上做了创新。虽然现在工具才刚刚面试,我们有3个专利已经获得国家的批准,还有6个专利还在申请当中;最后,因为我们采用了新的架构,数据、容量非常快,可以支持做系统芯片级的检查。”
“希望2023能够稳中求变。对于我们来说,稳是在硬件云项目上稳;变是明年会加速研发,会陆续的推出2到3个新产品,加速在国产EDA方面的布局。”王琦展望到。