国产EDA工具有做关于一致性等效性方面的吗？

如题，国内有没有做FPGA的一致性、等效性检测方面的工具，或是集成的工具？