Verilog HDL Example Instantiation

jkff <instance_name> (.j(<input_wire>), .k(<input_wire>),
   .clk(<input_wire>), .clrn(<input_wire>), .prn(<input_wire>),
   .q(<output_wire>));

Important: To successfully perform RTL simulation and formal verification, use lowercase primitive name in instantiation.