ID:17002 Combinational loop detected. Provide cut point information to the formal verification tool. Insert cut buffer "<name>"

CAUSE: The design contains a combinational loop. For a successful verification of the design, the formal verification tool requires identical cut points to be specified in the golden and in the revised netlist for each combinational loop.

ACTION: If you want the design to be correctly verified by the formal verification tool, you need to provide information about cut points in the golden and in the revised netlist. For example, if the name of the net with the cut point in the golden netlist is cut_point_net and in the revised netlist it is cut_point_net_a0_I, you can add this information to the script in <project_dir>/fv/conformal/<proj_name>.ctc in the form add cut point cut_point_net -net -golden and add cut point cut_point_net_a0_I/comb -net -revised. Alternatively you can change the design so that it no longer contains a combinational loop. If you don't want to use the formal verification tool to formally verify the design, change the settings in the Assignments->Settings->EDA Tool Settings->Formal Verification dialog box to NONE.