芯华章科技股份有限公司 聚焦EDA数字验证领域，打造从芯片到系统的敏捷验证解决方案，拥有超过190件自主研发专利申请，已发布十数款基于平台化、智能化、云化底层构架的商用级验证产品，可提供完整数字验证全流程EDA工具，提供全面覆盖数字芯片验证需求的七大产品系列，涵盖硬件仿真系统、FPGA原型验证系统、智能场景验证、静态与形式验证、逻辑仿真、系统调试以及验证云等领域。
产品和技术
芯华章以智能调试、智能编译、智能验证座舱、智能云原生等技术支柱，构建芯华章平台底座，提供全面覆盖数字芯片验证需求的七大产品系列，包括：硬件仿真系统、FPGA原型验证系统、智能场景验证、形式验证、逻辑仿真、系统调试以及验证云，为合作伙伴提供自主研发、安全可靠的芯片产业解决方案与专家级顾问服务。同时，芯华章致力于面向未来的EDA 2.0 软件和智能化电子设计平台的研究与开发，以技术革新加速芯片创新效率，让芯片设计更简单、更普惠。
智V验证平台
FusionVerify Platform
智V验证平台具备统一的调试系统、编译系统、覆盖率数据库、云原生软件架构，以及丰富的场景激励源，能融合不同的工具技术，对各类设计与不同的场景需求提供定制化的全面验证解决方案，解决当前产业面临的点工具各自为政的兼容性挑战，以及数据碎片化导致的验证效率挑战。智V验证平台能有效提高验证效率与方案的易用性，并带来点工具无法提供的验证效益。
昭晓 Fusion Debug
提升设计和验证效率的完整调试解决方案
基于创新架构的全面调试系统，集成了各种先进和复杂的调试技术，具备创新性、易用性、高性能等特点，能显著提高设计效率，并有效解决难度不断上升的设计和验证挑战。
桦敏 HuaEmu E1
高性能硬件仿真系统
国内首台设计上支持百亿门以上大容量的硬件仿真器产品，为系统验证和软件开发提供大容量、高性能、调试能力强的新一代智能硅前验证系统。
穹鼎 GalaxSim
高性能、高精度的数字仿真器
创新性地使用新的软件构架提供多平台支持，支持不同的处理器计算平台，支持IEEE1800 SystemVerilog 语法、IEEE1364 Verilog语法，以及 IEEE1800.2 UVM方法学。
穹瀚 GalaxFV
国内EDA领域率先基于字级建模的可扩展形式化验证工具
采用高性能字级建模(Word-Level Modeling)方法构建，具备高性能表现、高度可扩展性、友好的拓展接
口，在模型上已达到国际先进水平。
桦捷 HuaPro产品线
高性能FPGA硬件验证系统
基于FPGA硬件和拥有自主知识产权的全流程软件，支持原型验证和硬件仿真多场景，自动化实现智能设计流程。
穹景 GalaxPSS
智能场景验证系统
基于Accellera PSS标准和高级验证方法学的融合，针对目前和将来复杂验证场景，自动生成场景激励，为芯片产生更多高效的测试场景和测试激励，提高验证的场景覆盖率和完备性。
