data/full_repos/permissive/194847941/demo/2_Buttons&LED/buttons_led_tdrtl.v
data/verilator_xmls/47d33c11-8b55-4e32-af18-e8c9c3442309.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