ID:17001 Latch "<name>" detected. Mismatch may occur during formal verification

CAUSE: The design contains a latch, which the Quartus Prime software may implement differently from the formal verification tool. This implementation can lead to a mismatch when comparing the golden netlist and the revised netlist.

ACTION: To verify the design correctly with the formal verification tool, change the design so that it does not contain a latch. Alternatively, you can leave the latch in the design and manually verify the part with the mismatch. If you do not want to use the formal verification tool to verify the design, select None for the Tool Name in the Formal Verification page of the Settings dialog box.