穹瀚GalaxFV

1、验证生态

依托于FusionVerify Platform(智V验证平台)，拥有融合高效的底层引擎赋能，与平台之上其他验证产品互融互通，形成完整的验证生态。

2、Formal模型

字级建模(Word-Level Modeling)。具有高性能表现、高度可扩展性、友好的拓展接口，同时支持字级(Word-Level)求解器和比特级(Bit-Level)求解器。

3、求解器及调度

（1）高并发高性能求解器。可充分利用算力，支持单机/分布式多机并发。

（2）智能分组和调度预测。自动化程度高，提高并行效率的同时，降低用户使用门槛。

4、断言库

专用高效的应用级断言库。断言模型多，重用性高，降低工具使用门槛。支持Plug-in断言使用。支持定制化。