The EsseFormal platform provides product and technical support to many IC design head companies in different fields in China to help them solve and verify design problems. Ruteng automotive electronics, AI, GPU, CPU and other commercial customers as well as domestic research institutes. EsseFormal core Tiancheng form verification platform, as the most perfect product of similar tools in China, products have been used and recognized by customers in different fields, compared with similar foreign products, the performance and efficiency of some tools can be comparable, but the perfection of the product, maturity and so on need to be further expanded and optimized.