When using Formal Verification, the supported flow is listed in the following Application Note on the Synopsys Web site:
https://solvnet.synopsys.com/retrieve/027370.html
NOTE: You must have a Solvnet user name and password to access this document. Contact Synopsys to obtain a Solvnet account.