ID:20023 Physical Synthesis for combinational logic is not supported by Formal Verification tool <name>

CAUSE: Physical Synthesis for combinational logic is not supported by the specified Formal Verification tool for the current family.

ACTION: Turn off physical synthesis or formal verification.