ID:20020 Physical Netlist Optimization Register retiming is not supported by Formal Verification tool <name>

CAUSE: The Physical Netlist Optimization register retiming is not supported by the specified Formal Verification tool.

ACTION: Turn off register retiming.