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.