英诺达发布DFT静态验证工具

　　EnAltius®昂屹® DFT Checker，该工具可以在设计的早期阶段发现与DFT相关的问题或设计缺陷。

　　（2023年9月13日，四川成都）英诺达（成都）有限公司发布了自主研发的静态验证EDA工具EnAltius®昂屹® DFT Checker，该工具可以在设计的早期阶段发现与DFT相关的问题或设计缺陷。

　　随着芯片规模和复杂度的提升，芯片各种逻辑和电气功能验证的要求慢慢的升高，多种RTL编码风格、以及存在于电路设计中的结构性和功能性问题更容易成为设计上的缺陷，导致设计不断修改，甚至造成流片失败的风险。此外，设计重用性和IP的高集成度对模块设计在正确性和一致性方面提出了更严格的要求，以提高IP集成的可靠性和成功率。

　　上述芯片设计的挑战能够最终靠传统的基于仿真的动态验证工具和技术获得某些特定的程度的解决，然而，现代的SoC设计需要强大的静态验证技术作为补充，以缩短设计时间并提高首次流片的成功率。更为难得的是这种技术可在设计的早期阶段发现设计缺陷，从而避免设计团队大量无效时间和精力的投入。

　　英诺达是国内第一家专注于开发以IC设计代码分析和规则检查为基础的静态验证工具的EDA企业，可提供全面的用于分析、查错和修复的EDA解决方案，可在设计的早期阶段（RTL阶段或逻辑综合阶段）对结构性、功能性和电气性等电路问题进行深入的分析。继EnFus®凝锋®系列两款低功耗静态验证工具发布之后，英诺达此次发布的昂屹®DFT Checker静态检查工具，可以对RTL或网表设计进行结构性和功能性分析，在设计早期阶段提高IC设计的质量。

　　DFT（可测试性设计，Design-For-Test）是设计收敛的关键一环，通过在设计上增加逻辑，使芯片的测试更高效和更容易，此外，还能大大的提升良品率、减少相关成本。因此，确保芯片设计符合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工程师的设计效率和芯片良率保驾护航。”

　　服务公共技术平台』，纳入成都市高新区公共技术平台体系及有关政策支持范围。

　　（成都）电子科技有限公司完成A轮价值数千万融资，此次融资由复星领投，同时也得到了华登国际，红杉宽带等老股东的大力支持。

　　（成都）电子科技有限公司完成A轮价值数千万融资，此次融资由复星领投，同时也得到了华登国际，红杉宽带等老股东的大力支持。

　　完成A轮数千万融资加速EDA研发 /

　　了《云上加速——EDA仿真加速器云平台白皮书》，成都市集成电路行业协会、复星投资、Cadence中国及伊顿公司等代表

　　方法、装置、设备及存储介质（6.4） · 元素集合的获取方法、装置、设备及存储介质（3.X）  更多与自研EDA软件相关的专利还在申请中，此外，

　　EnFortius Low Power Checker（LPC）即将于11月2日

　　将与观众分享低功耗设计的未来趋势，向观众介绍该款产品的基本功能及特色，演示

　　EnFortius Low Power Checker（LPC）即将于本周三（11月2日）

　　——EnFortius® Low Power Checker（简称LPC），该产品大多数都用在低功耗

　　EnFortius®凝锋  Gate-level Power Analyzer （GPA） ，该软件是

　　，将持续在该领域发力 /

　　流程 /

　　，实现云端资源的灵活调度，提高效率。 （2023年8月28日，四川成都）

　　流程 /

　　345.急停按钮的使用方法#零基础学电工 #知识充电站 #shorts