fix linter issue

Author: stevej

src/jtag.v

@@ -17,9 +17,9 @@ module jtag (
     input  wire tck,
     /* verilator lint_off UNUSED */
     input  wire tdi,
-    output wire tdo,
     input  wire tms,
-    input  wire trst_n
+    input  wire trst_n,
+    output wire tdo
 );
 
   wire trst;
@@ -69,14 +69,13 @@ module jtag (
   reg byte_transmitter_enable;
   reg reset_byte_transmitter;
   wire transmitter_channel;  // for byte_transmitter to write to TDO
-  reg r_transmitter_channel;
 
   byte_transmitter id_byte_transmitter (
       .clk(tck),
       .reset(trst | reset_byte_transmitter),  // TODO: We need to be able to reset the byte_counter?
       .enable(byte_transmitter_enable),
       .in(IdCodeDrRegister),
-      .out(r_transmitter_channel),  // make this another wire.
+      .out(transmitter_channel),  // make this another wire.
       .done(idcode_out_done)
   );
 
@@ -110,7 +109,6 @@ module jtag (
       current_ir_instruction <= 4'b1110;  // IDCODE is the default instruction.
       r_output_selector_transmitter <= 1;  // by default the tap controller writes
       tap_channel <= 0;  // How can an X sneak in here?
-      r_transmitter_channel <= 0;
       byte_transmitter_enable <= 0;
       reset_byte_transmitter <= 0;
     end else begin
@@ -285,6 +283,7 @@ module jtag (
       assume (trst);
       assert (current_state != 5'bX_XXXX);
       assert (r_output_selector_transmitter != 1'bX);
+      assert (transmitter_channel != 1'bX);
       assert (tdo != 1'bX);
     end
   end