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.