module jkff( output reg Q, input ck, input J, input K );

/* verilator lint_off UNOPTFLAT */
   reg Qi;
/* verilator lint_on UNOPTFLAT */

always_comb
  begin
  if (!ck)
    case({J,K})
    2'b10 : Qi = 1'b1;
    2'b01 : Qi = 1'b0;
    2'b11 : Qi = ~Q;
    default : Qi = Qi; // no change
    endcase
  else
    begin
/* verilator lint_off ALWCOMBORDER */
/* verilator lint_off COMBDLY */
    Q <= Qi;
/* verilator lint_on COMBDLY */
/* verilator lint_on ALWCOMBORDER */
    end
  end

endmodule