data/full_repos/permissive/208636171/fpga/usb/usb_fs_tx_mux.v
data/verilator_xmls/bd334751-66d3-47c5-9625-5659017613b1.xml
module usb_fs_tx_mux (

  input in_tx_pkt_start,
  input [3:0] in_tx_pid,


  input out_tx_pkt_start,
  input [3:0] out_tx_pid,


  output tx_pkt_start,
  output [3:0] tx_pid
);
  assign tx_pkt_start = in_tx_pkt_start | out_tx_pkt_start;
  assign tx_pid = out_tx_pkt_start ? out_tx_pid : in_tx_pid;
endmodule
module usb_fs_tx_mux (

  input in_tx_pkt_start,
  input [3:0] in_tx_pid,


  input out_tx_pkt_start,
  input [3:0] out_tx_pid,


  output tx_pkt_start,
  output [3:0] tx_pid
);

  assign tx_pkt_start = in_tx_pkt_start | out_tx_pkt_start;
  assign tx_pid = out_tx_pkt_start ? out_tx_pid : in_tx_pid;
endmodule