在使用case语句时，不完备的case语句会导致Vivado综合时推断出锁存器。下面通过实例来详细看看各种情况下的综合结果：

1.完备的case语句

下述的verilog对应的电路结构是一个8选一的多路复用器：

module case_test(
    input [2:0]sel,
    input data0,
    input data1,
    input data2,
    input data3,
    input data4,
    input data5,
    input data6,
    input data7,
    output reg data_out
    );

always@(*)
begin
    case(sel)
        3'b000:data_out<=data0;
        3'b001:data_out<=data1;
        3'b010:data_out<=data2;
        3'b011:data_out<=data3;
        3'b100:data_out<=data4;
        3'b101:data_out<=data5;
        3'b110:data_out<=data6;
        3'b111:data_out<=data7;
        default:data_out<=data_out;
    endcase
end

endmodule

综合结果如下：

对于上述的综合结果，每四个输入数据以及sel对应到一个LUT6，之后将二者的输出通过sel[2]控制的选择器进行选择，在完备描述的情况下电路中不会有锁存器。

2.不完备case语句

下面是一个不完备的case语句，只对四种情况进行描述，其余用default描述：

module case_test(
    input [2:0]sel,
    input data0,
    input data1,
    input data2,
    input data3,
    input data4,
    input data5,
    input data6,
    input data7,
    output reg data_out
    );

always@(*)
begin
    case(sel)
        3'b000:data_out<=data0;
        3'b001:data_out<=data1;
        3'b010:data_out<=data2;
        3'b011:data_out<=data3;
        default:data_out<=data_out;
    endcase
end

endmodule

对应的电路结构和综合结果如下图：

我们可以发现，对于default的四种情况，四个输入数据线未连接，将其余四种情况的数据线接入LUT，之后将LUT的输出连接到锁存器的数据输入端D，而将sel[2]连接到使能端，因为G为低电平有效，所以只有到sel[2]为0时锁存器才能将输入端的数据送到输出端，而在sel[2]为1时，Q端保持不变，锁存数据。