ID:20024 Physical Synthesis tool <name> is not supported by Formal Verification tool <name>

CAUSE: EDA physical synthesis tools are currently not supported by the specified Formal Verification tool.

ACTION: Turn off the physical synthesis EDA tool.