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

  wire not_sel, sel_i0, sel_i1;
  not u0 (not_sel, sel);
  and u1 (sel_i1, sel, i1);
  and u2 (sel_i0, not_sel, i0);
  or u3 (o, sel_i1, sel_i0);

endmodule
module AL_MUX
  (
  input i0,
  input i1,
  input sel,
  output o
  );


  wire not_sel, sel_i0, sel_i1;
  not u0 (not_sel, sel);
  and u1 (sel_i1, sel, i1);
  and u2 (sel_i0, not_sel, i0);
  or u3 (o, sel_i1, sel_i0);

endmodule