今天，国内EDA行业迎来一项重大合作动态——芯华章与啄木鸟半导体正式宣布达成独家战略合作伙伴关系。这两家分别代表数字验证与验证测试技术前沿的企业，将携手推动EDA在芯片验证与测试环节的技术融合，致力于高可靠性处理器芯片，尤其是基于RISC-V架构的车规级芯片，为其提供完整、完备的验证与测试解决方案。

本次合作的核心是构建从验证、测试到调试、诊断的完整技术闭环。这使得面对日益复杂的系统级芯片，从设计阶段到最终测试，整个技术流程都能获得更高效、更可靠的保障。

达摩院RISC-V与生态验证负责人梁中书对此给予高度评价。他指出，啄木鸟半导体研发了业界首款基于QED技术、专注于RISC-V CPU全自动验证的解决方案，此次与芯华章的深度合作，有望借助芯华章的验证平台，打造出更易用、更完备、更高性能的完整RISC-V验证方案，从而进一步加速RISC-V生态的落地。

芯片验证已不再局限于硅前阶段。同步提升硅后验证的质量与效率，能为任何集成电路企业带来显著的成本和时间优势。啄木鸟半导体的硅前和硅后验证工具，以系统化、可扩展的方式，帮助提升验证与测试的生产力及质量——无需额外投入专业知识或工程资源，也无需对现有IC设计流程或验证环境做任何改动。通过自动转换现有验证测试代码，覆盖范围大幅扩大，错误定位与解决也变得更加便捷。

芯华章自成立以来，始终深耕数字验证领域。基于统一的底层架构和数据库，已成功研发十余款自主验证工具及行业解决方案，覆盖逻辑仿真、形式验证、智能场景验证、硬件仿真、硬件原型与系统调试等完整的全流程数字验证环节。截至目前，累计申请专利超过180件。

双方合作具体围绕啄木鸟的QED（快速错误检测）方法学展开，涉及Acuity Formal、Acuity Compiler、Acuity Optimize等系列产品，与芯华章全流程EDA验证平台进行深度融合。QED方法学源自大规模并行计算系统，核心目标是自动、快速、准确、完备地检测设计中的错误。它结合先进算法等多项前沿技术，能在复杂处理器设计中迅速定位问题，大幅提升验证效率与精确性，为整个芯片设计流程赋予更高的安全性和效率。

值得注意的是，啄木鸟的Acuity Formal产品与芯华章的GalaxFV形式化验证产品具有巨大的合作潜力。针对处理器设计，形式化完备的验证方式能够自动发现问题，并确定原因和位置，在产品上市前就将错误捕捉出来。更进一步，芯华章系统化的FusionVerify验证平台，从架构、算法、数据、界面等多个维度融合了多种EDA验证工具，为啄木鸟的处理器验证包提供了高性能的EDA计算核心平台。

双方在接口、模型、云计算流程等多个层面深度融合，共同构成了完整的处理器芯片自动化垂直验证方案。

啄木鸟半导体CEO陈志伟表示，这次合作不仅是两家公司技术的结合，更是业界领先技术与思维的一次融合。双方在各自领域的领先优势与互补性，将成为此次独家合作的牢固基石，最终为客户带来前所未有的验证与测试体验。

芯华章科技董事长兼CEO王礼宾用“天时地利人和”来形容这次合作契机。他认为，结合两家公司的技术和产品，将为客户带来更完善、更高效的验证与测试垂直解决方案，从而加速高可靠性RISC-V SoC芯片在各类应用场景中的全面产业化进程。