ID:20019 Synthesis netlist optimization gate-level register retiming is not supported by Formal Verification tool <name>

CAUSE: The synthesis netlist optimization gate-level register retiming is not supported by the specified Formal Verification tool.

ACTION: Turn off gate-level register retiming.