英诺达推出首款自主研发的EnFortius系列低功耗EDA工具

随着电路集成度的不断提高，设计也变得越来越复杂。芯片设计在功耗、可测性、跨时钟域等各个方面都面临巨大挑战。从另一个角度看，芯片后期的查错和纠错成本越来越高，出于产品上市时间和成本的压力，芯片设计团队需要在设计早期的抽象层就着手提高设计方案的质量。

这种趋势下，验证在设计过程中的作用便得以凸显。动态验证作为设计团队的常规手段，具有出色的错误检测和定位能力，同时可以进行软硬件调试。然而，这种方式对计算资源和测试时间的需求较高，将会影响速度和研发成本。相比之下，以静态代码分析和规则检查为基础的静态验证工具，可以在设计的早期阶段实现快速且精准的验证，从而帮助工程师提高代码质量，增加芯片在设计初期的可预测性，目前，动态验证配合全面的静态验证已经成为现代IC设计方法学的主流。

国内有一家企业就深耕静态和动态验证两大领域，它就是英诺达（成都）电子科技有限公司。

英诺达（成都）电子科技有限公司是一家由行业顶尖资深人士创立的EDA企业，公司坚持以客户需求为导向，帮助客户实现价值最大化，为中国半导体产业提供卓越的EDA解决方案。公司的长期目标是通过EDA工具的研发和上云实践，参与国产EDA完整工具链布局并探索适合中国国情的工业软件上云的路径与模式，赋能半导体产业高质量发展。

英诺达首款自主研发的EnFortius系列低功耗EDA工具，可有效帮助IC设计工程师定位并分析低功耗设计相关问题。英诺达的EnCitius SVS系统验证平台则利用EDA上云的优势，为客户打通验证资源的渠道，提供全面的SoC及系统级验证的一站式解决方案，提高芯片设计效率。

为了应对集成电路设计“左移”的趋势和产品上市时间的挑战，英诺达深耕IC静态和动态验证两大领域，在动态验证方面，英诺达的EnCitius SVS产品为客户提供端到端的全套硬件加速的云解决方案，满足各类型和应用领域的客户对早期IC设计功能验证的需求。在静态验证方面，英诺达以低功耗设计EDA工具为突破口，先后推出了EnFortius系列低功耗设计检查（LPC）和网表级功耗分析（GPA）的EDA工具，旨在增强IC及系统在设计早期的可预测性，提升设计代码质量，降低客户整体开发成本，并缩短产品的上市时间。此外，英诺达还可提供完整、可定制的前端和后端设计服务。

首届IDAS设计自动化产业峰会将于9月18日在武汉中国光谷科技会展中心举行。

届时，英诺达的副总经理熊文将带来主题为《搭建芯片验证完整版图——静态验证工具及流程》的演讲，与大家分享静态验证的挑战及趋势，对英诺达静态验证EDA工具及流程作详细的介绍，同时他也将介绍英诺达即将推出的一款新的静态验证EDA工具以及公司在整个静态验证EDA工具版图中的未来战略规划。

此外，英诺达也将携最新产品参展，与产业上下游及同行交流分享，加强合作。

审核编辑：彭菁