always @(posedge Clk or negedge Rst_l) begin : Flops
    if (~Rst_l) begin
        FlopA <= 1'b0;
        FlopB <= 1'b1;
    end else begin
        FlopA <= da;
        FlopB <= db;
    end
end // Flops