编辑概要

文章标题： 芯华章发布全流程等价性验证系统GalaxEC，加速芯片设计验证效率

核心信息点： - GalaxEC：芯华章自主研发的数字全流程等价性验证系统，支持大容量数据处理。 - 功能亮点：一站式覆盖系统级、前端、后端需求，实现近百倍效率提升，提供丰富开放接口。 - 应用场景：贯穿数字芯片设计全流程，确保设计一致性与正确性。 - 技术创新：采用新一代求解算法和并行计算技术，大幅提高验证效率。 - 合作伙伴：矽昌通信等业界伙伴见证，共同推动EDA领域发展。

改写内容：

引言

芯华章科技，作为中国EDA行业的领航者，近期在首届IDAS设计自动化产业峰会上，推出了其首款自主研发的数字全流程等价性验证系统——GalaxEC，旨在为芯片设计及系统级用户提供全面、高效的验证服务。此次发布标志着芯华章在系统级验证EDA解决方案领域的重要里程碑，为加速芯片设计验证进程提供了有力支撑。

主体内容

• 系统概述：GalaxEC集成了当下各类主流等效性验证工具的核心功能，能够覆盖系统级、前端、后端等复杂验证需求，支持一站式处理，显著提升验证效率。该系统采用高效形式验证求解引擎库XSolver，融合新一代求解算法与并行计算技术，较传统工具展现出百倍以上的性能提升，尤其在大规模SoC级验证中表现出色。

• 应用场景与价值：GalaxEC的应用贯穿数字芯片设计的全过程，包括但不限于系统C模型级、RTL级、门级等不同阶段的设计验证，确保不同层次设计之间的一致性和正确性。系统支持大容量数据处理，可直接验证SoC级复杂设计，自动化完成大规模验证建模，适用于动态功耗优化、门控时钟、时序调整等关键验证场景，有效保障设计流程的高效与精确。

• 技术创新与优势：依托自主研发的XSolver引擎库，GalaxEC实现了高性能的验证计算能力。该引擎通过优化算法与并行计算技术，显著缩短了验证时间，提升了验证效率。具体案例显示，相较于传统验证工具，GalaxEC在验证SoC级网表等效性时，分别用时9分钟、60分钟和45分钟完成时钟树综合、布局、布线前后验证，大幅减少了验证周期。

• 合作伙伴与影响力：矽昌通信等多家知名企业与学术机构对GalaxEC给予高度评价。这些合作伙伴在芯片设计、验证等领域拥有深厚的技术积累与实践经验，共同见证了GalaxEC在提升设计效率、确保设计质量方面的卓越表现。此外，芯华章与EDA²合作，积极参与验证标准的制定与推广，为推动中国EDA行业标准化进程贡献了重要力量。

结语

随着GalaxEC的发布，芯华章在EDA数字验证领域迈出了坚实的一步，不仅展示了其在技术创新上的实力，也为芯片设计行业带来了全新的验证解决方案。未来，芯华章将继续深化与业界伙伴的合作，推动EDA技术的迭代升级，加速数字化创新进程，助力中国乃至全球的芯片设计与制造领域实现更高的效率与质量。

关于芯华章

芯华章科技成立于2020年，专注于EDA数字验证领域，致力于打造从芯片到系统的验证解决方案。依托智能调试、智能编译、智能验证座舱与智能云原生四大技术底座，芯华章已推出多款基于平台化、智能化、云化架构的系统级验证产品，覆盖全流程数字验证EDA工具，服务众多头部用户。同时，芯华章正积极研发面向未来的EDA 2.0智能化电子设计平台，以技术革新加速系统创新效率，使芯片设计更为简单、普惠。

关于矽昌通信

矽昌通信成立于2014年，专注于Wi-Fi AP芯片的研发，是国内领先的Wi-Fi AP芯片提供商之一。自成立以来，矽昌通信积累了丰富的链路设计能力、关键IP自研能力、自有算法与软件开发经验，产品广泛应用于头部网通产品厂商，出货量超过数百万颗。公司已通过高新技术企业认证，并于2022年获得ISO9001质量管理体系认证，展现出强大的技术创新与品质保障能力。

关于EDA²

EDA²是一个旨在推动中国集成电路电子设计自动化产业发展的合作平台，由来自科研、教育、产业等多个领域的单位共同组建。EDA²致力于推动电子设计自动化领域的技术创新与标准制定，促进产学研深度融合，为中国集成电路产业的长远竞争力贡献力量。