EsseFormal平台为国内多家不同领域IC设计头部公司提供产品和技术支持，帮助他们解决和验证设计中的问题。如腾汽车电子、AI、GPU、CPU等商业客户以及国内科研院所等。EsseFormal芯天成形式验证平台，作为国内同类工具功能最完善的产品，产品得到国内不同领域头部客户使用和认可，相比国外同类产品，部分点工具的性能和效率可以相媲美，但产品的完善度、成熟度等还需要进一步扩展优化。