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.