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.