芯华章与啄木鸟半导体建立EDA深度合作 打造完备RISC-V芯片验证与测试解决方案

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

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

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