穹瀚GalaxFV有什么区别

芯华章穹瀚GalaxFV是一种面向HDL电路设计的形式化验证工具，能够从数学上完备地证明电路的实现方案是否实现了设计规范所描述的功能。其采用基于模型的数学求解方法，针对用户提供的规范断言和属性，面向目标HDL设计的所有可能输入进行证明，确定该设计是否与给定的规范功能一致，从而极大地提升验证效率。穹瀚GalaxFV是国内率先采用高性能字级建模（Word-Level Modeling）方法构建的形式化验证工具。相比于传统比特级建模（Bit-Level Modeling）方法,，字级建模（Word-Level Modeling）方法建模颗粒度大、性能表现好，并可同时调用字级求解器和比特级求解器，可扩展性能力强。在模型结构上已达到国际先进水平。