EDA工具，提供全面覆盖数字芯片验证需求的七大产品系列，涵盖硬件仿真系统、FPGA原型验证系统、智能场景验证、静态与形式验证、逻辑仿真、系统调试以及验证云等领域。 高精度的数字仿真器创新性地使用新的软件构架提供多平台支持，支持不同的处理器计算平台，支持IEEE1800 SystemVerilog 语法、IEEE1364 Verilog语法，以及 IEEE1800.2 UVM 方法学。 穹瀚 GalaxFV国内EDA领域率先基于字级建模的可扩展形式化验证工具采用高性能字级建模(Word-Level Modeling)方法构建，具备高性能表现、高度可扩展性、友好的拓展接口，在模型上已达到国际先进水平 穹景 GalaxPSS智能场景验证系统基于Accellera PSS标准和高级验证方法学的融合，针对目前和将来复杂验证场景，自动生成场景激励，为芯片产生更多高效的测试场景和测试激励，提高验证的场景覆盖率和完备性