芯华章科技股份有限公司

芯华章穹瀚GalaxFV是一种面向HDL电路设计的形式化验证工具，能够从数学上完备地证明电路的实现方案是否实现了设计规范所描述的功能。其采用基于模型的数学求解方法，针对用户提供的规范断言和属性，面向目标HDL设计的所有可能输入进行证明，确定

桦敏HuaEmu E1是支持超百亿门大容量的硬件仿真系统，可满足150亿门以上芯片应用系统的验证容量。产品基于自主研发，实现多项国内验证技术突破，具备大规模可扩展验证容量、自动化实现工具、全流程智能编译、高速运行性能以及强大的调试能力，从而

昭晓Fusion Debug是一款基于创新架构的全面调试系统，集成了各种先进和复杂的调试技术，具备创新性、易用性、高性能等特点，能显著提高设计效率，并有效解决难度不断上升的设计和验证挑战。 昭晓Fusion Debug可提供快速源代码解析、

智V验证平台（FusionVerify Platform）是芯华章推出的验证EDA工具，其初衷就是为了解决数字电路验证中碎片化的挑战，满足提高验证效率、易用性，以及点工具无法提供的额外验证功能等需要。智V验证平台（FusionVerify

穹鼎GalaxSim仿真器是芯华章汇聚行业专家经验，并在国内多个知名客户打磨后，推出的一款独立自主、全新构架的高性能仿真器。创新性地使用新的软件框架，提供多平台支持，并且已在多个基于ARM平台的国产构架上测试通过。GalaxSim具有多种使

高性能多功能可编程适配解决方案用于FPGA原型化平台，可一卡替代多种原型验证进口子板，具备强大的功能和适配能力，可进一步加快验证收敛，助力软硬件协同开发，提高芯片设计的研发效率。

仿真技术是保证集成电路设计正确性的关键技术之一，芯片设计公司通过软件仿真数字电路的行为，发现并修复问题。芯华章仿真技术基于LLVM的全新架构，突破传统仿真器仅支持单一X86架构的局限，具备灵活的可移植性，可兼容当前主流架构并有助于支持未来多