ID:20022 SDC constraint protection is not supported by Formal Verification tool <name>

CAUSE: The logic option SDC constraint protection is not supported by the specified Formal Verification tool.

ACTION: Turn off timing-driven synthesis or formal verification.