data/full_repos/permissive/194847941/demo/4_Running_LED/Running_led_tdrtl.v
data/verilator_xmls/263793f4-1f97-4e93-a0d9-face4da97195.xml
module binary_mux_s1_w1
  (
  i0,
  i1,
  sel,
  o
  );

  input i0;
  input i1;
  input sel;
  output o;


  AL_MUX al_mux_b0_0_0 (
    .i0(i0),
    .i1(i1),
    .sel(sel),
    .o(o));

endmodule
module binary_mux_s1_w1
  (
  i0,
  i1,
  sel,
  o
  );


  input i0;
  input i1;
  input sel;
  output o;


  AL_MUX al_mux_b0_0_0 (
    .i0(i0),
    .i1(i1),
    .sel(sel),
    .o(o));

endmodule