今日，国内EDA技术领军企业芯华章与全球集成电路验证技术先锋啄木鸟半导体宣布达成独家战略合作伙伴关系。双方决定共同推进EDA在芯片验证与测试领域的技术合作，致力于为高可靠性处理器芯片，如基于RISC-V的车规芯片，提供完整、完备的验证与测试方案。

合作后，双方将打造完整的验证与测试，调试与诊断的技术闭环，为复杂的系统芯片提供从设计、验证到测试全链条的技术保障。

达摩院RISC-V与生态验证负责人梁中书表示：

“啄木鸟半导体开发了业界第一款基于QED技术、专注于RISC-V CPU全自动验证的解决方案，我们非常高兴看到啄木鸟和芯华章的深度合作。希望透过结合芯华章的验证平台，提供更易用、更完备与高性能的完整RISC-V 验证解决方案，进一步推动RISC-V的发展。”

当前，芯片验证已经不仅仅用于硅前，同步提升硅后验证的质量和有效性，可以为任何集成电路公司带来成本和时间上的竞争优势。

啄木鸟半导体的硅前和硅后验证工具以一种系统性和可扩展的方式，用以提升芯片验证及测试的生产力和质量，且无需额外的专业知识或工程资源，不需要IC设计实施流程或验证环境进行更改。通过自动转换现有的验证测试代码，可以显著增加覆盖范围，且错误变得更容易解决。

芯华章自成立以来，坚定不移地深耕数字验证领域，基于统一底层架构和数据库，成功研发出十余款自主验证工具及行业解决方案。这些工具和方案涵盖了逻辑仿真、静态与形式验证、智能场景验证、硬件仿真、硬件原型与系统调试等完整的全流程数字验证领域，并已拥有超过180件自主专利申请。

双方合作将基于啄木鸟QED（Quick Error Detection）方法学Acuity Formal，Acuity Compiler，Acuity Optimize等系列产品与芯华章全流程 EDA 验证平台的深度融合。QED验证方法学源自大规模并行计算系统，致力于自动、快速、准确、完备地检测出设计中的错误。这种方法结合了先进算法等多项前沿技术，能够迅速定位到复杂处理器设计中的问题，大大提高验证的效率和精确性，为整个芯片设计流程赋予高效和安全性。

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

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

啄木鸟半导体CEO陈志伟表示：

“这次合作不仅仅是两家公司技术的结合，更是业界领先的技术和思维的融合。我们深信，双方在各自领域的领先竞争优势及互补性，将转化为这次独家合作的牢固基石，我们将一起为客户带来前所未有的验证与测试体验。”

芯华章科技董事长兼CEO王礼宾表示：

“芯华章与啄木鸟半导体的全面合作是一个天时地利人和的绝佳契机。结合两家公司的技术和产品，我们相信这次合作将为客户带来更为完善、更为高效的验证与测试垂直解决方案，进一步加速高可靠性RISC-V SOC芯片在各领域的全面产业化进程。”