英诺达发布了自主研发的静态验证EDA工具EnAltius?昂屹? DFT Checker，该工具可以在设计的早期阶段发现与DFT相关的问题或设计缺陷。
英诺达电子科技有限公司发布了自主研发的静态验证EDA工具EnAltius?昂屹? DFT Checker，该工具可以在设计的早期阶段发现与DFT相关的问题或设计缺陷。
随着芯片规模和复杂度的提升，芯片各种逻辑和电气功能验证的要求越来越高，多种RTL编码风格、以及存在于电路设计中的结构性和功能性问题更容易成为设计上的缺陷，导致设计不断修改，甚至造成流片失败的风险。此外，设计重用性和IP的高集成度对模块设计在正确性和一致性方面提出了更严格的要求，以提高IP集成的可靠性和成功率。
上述芯片设计的挑战可以通过传统的基于仿真的动态验证工具和技术得到一定程度的解决，然而，现代的SoC设计需要强大的静态验证技术作为补充，以缩短设计时间并提高首次流片的成功率。更为难得的是这种技术可在设计的早期阶段发现设计缺陷，从而避免设计团队大量无效时间和精力的投入。
英诺达是国内第一家专注于开发以IC设计代码分析和规则检查为基础的静态验证工具的EDA企业，可提供全面的用于分析、查错和修复的EDA解决方案，可在设计的早期阶段对结构性、功能性和电气性等电路问题进行深入的分析。继EnFortius?凝锋?系列两款低功耗静态验证工具发布之后，英诺达此次发布的昂屹?DFT Checker静态检查工具，可以对RTL或网表设计进行结构性和功能性分析，在设计早期阶段提高IC设计的质量。
DFT是设计收敛的关键一环，通过在设计上增加逻辑，使芯片的测试更高效和更容易，此外，还可以提高良品率、降低成本。因此，确保芯片设计符合DFT设计规则，提高测试覆盖率是所有设计团队都要面对和解决的问题。当前，DFT测试覆盖率通常要求达到99%以上，因为任何漏掉的测试向量都可能导致芯片在实际应用中出现故障。而在设计后期增加DFT逻辑会对性能、功耗和面积产生较大影响，会导致设计迭代甚至重新设计。所以，在设计的早期阶段提高代码的质量至关重要。
昂屹?DFT Checker基于英诺达首款EDA工具凝锋? LPC的底层架构和先进算法，该款工具可提供早期RTL可测试性分析功能，同时也支持传统的基于网表的流程。除了对可测试性问题的早期分析之外，该工具还可以缩短完成DFT设计的时间，并确保设计在可测试性部分达到交付标准。
该款工具涵盖了全面的结构、功能和电路规则检查，可有效提高测试覆盖率。基于先进的SoC设计规则和方法学，昂屹?DFT Checker可验证芯片在不同模式下所有连线的正确性、完整性和集成性。此外，为了提高设计效率，该工具提供以目标为导向的报错信息，帮助设计师快速过滤、定位和调试设计上的问题。对此，益昂半导体副总范学锋表示：“DFT设计是IC设计不可缺少的一环，英诺达DFT Checker可以帮助设计师在设计的早期阶段发现并更正对DFT不友好的设计，使得后期的DFT综合与实现更快速收敛，从而提高设计效率。”
英诺达副总经理熊文表示：“在IC设计早期应用静态验证工具可以帮助IC工程师进行高效的设计验证及关键性的优化，英诺达已发布了两款低功耗领域的静态验证工具，在超大规模电路设计上可以快速完成低功耗设计的检查及功耗的分析与验证。除低功耗设计领域之外，静态验证可应用的领域还有很多，昂屹?DFT Checker就是我们的又一突破创新产品。英诺达将把握这一优势，不断开拓，继续为国产EDA静态验证工具补齐短板，为IC工程师的设计效率和芯片良率保驾护航。”
9月18日，英诺达将亮相首届IDAS设计自动化产业峰会。届时，英诺达将在“数字逻辑设计与验证领域”分论坛带来主题为《搭建芯片验证完整版图——静态验证工具及流程》的演讲，与大家分享静态验证的挑战及趋势，对英诺达静态验证EDA工具及流程作详细的介绍，欢迎大家莅临现场交流指导。
关于英诺达
英诺达电子科技有限公司是一家由行业顶尖资深人士创立的本土EDA企业，公司坚持以客户需求为导向，帮助客户实现价值最大化，为中国半导体产业提供卓越的EDA解决方案。公司的长期目标是通过EDA工具的研发和上云实践，参与国产EDA完整工具链布局并探索适合中国国情的工业软件上云的路径与模式，赋能半导体产业高质量发展。英诺达首款自主研发的EnFortius?凝锋?系列低功耗EDA工具，可有效帮助IC设计工程师定位并分析低功耗设计相关问题。在静态验证领域，EnAltius?昂屹?系列工具将在设计流程的早期增强可预测性，帮助IC设计工程师做出最优决策。英诺达的EnCitius?曜奇? SVS系统验证平台则利用EDA上云的优势，为客户打通验证资源的渠道，提供全面的SoC及系统级验证的一站式解决方案，提高芯片设计效率。此外，英诺达还可提供完整、可定制的前/后端设计服务。
