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.