data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v
1: b"%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:69: Cannot find file containing module: 'NOT'\n  NOT _41_ (\n  ^~~\n        ... Looked in:\n             data/full_repos/permissive/146618947/valid_tarea6,data/full_repos/permissive/146618947/NOT\n             data/full_repos/permissive/146618947/valid_tarea6,data/full_repos/permissive/146618947/NOT.v\n             data/full_repos/permissive/146618947/valid_tarea6,data/full_repos/permissive/146618947/NOT.sv\n             NOT\n             NOT.v\n             NOT.sv\n             obj_dir/NOT\n             obj_dir/NOT.v\n             obj_dir/NOT.sv\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:73: Cannot find file containing module: 'NOT'\n  NOT _42_ (\n  ^~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:77: Cannot find file containing module: 'NOT'\n  NOT _43_ (\n  ^~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:81: Cannot find file containing module: 'NOT'\n  NOT _44_ (\n  ^~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:85: Cannot find file containing module: 'NOR'\n  NOR _45_ (\n  ^~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:90: Cannot find file containing module: 'NAND'\n  NAND _46_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:95: Cannot find file containing module: 'NAND'\n  NAND _47_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:100: Cannot find file containing module: 'NAND'\n  NAND _48_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:105: Cannot find file containing module: 'NAND'\n  NAND _49_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:110: Cannot find file containing module: 'NOR'\n  NOR _50_ (\n  ^~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:115: Cannot find file containing module: 'NOR'\n  NOR _51_ (\n  ^~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:120: Cannot find file containing module: 'NOR'\n  NOR _52_ (\n  ^~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:125: Cannot find file containing module: 'NOR'\n  NOR _53_ (\n  ^~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:130: Cannot find file containing module: 'NAND'\n  NAND _54_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:135: Cannot find file containing module: 'NAND'\n  NAND _55_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:140: Cannot find file containing module: 'NAND'\n  NAND _56_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:145: Cannot find file containing module: 'NAND'\n  NAND _57_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:150: Cannot find file containing module: 'NAND'\n  NAND _58_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:155: Cannot find file containing module: 'NAND'\n  NAND _59_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:160: Cannot find file containing module: 'NAND'\n  NAND _60_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:165: Cannot find file containing module: 'NAND'\n  NAND _61_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:170: Cannot find file containing module: 'NAND'\n  NAND _62_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:175: Cannot find file containing module: 'NAND'\n  NAND _63_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:180: Cannot find file containing module: 'NAND'\n  NAND _64_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:185: Cannot find file containing module: 'NAND'\n  NAND _65_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:190: Cannot find file containing module: 'NAND'\n  NAND _66_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:195: Cannot find file containing module: 'NAND'\n  NAND _67_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:200: Cannot find file containing module: 'NAND'\n  NAND _68_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:205: Cannot find file containing module: 'NAND'\n  NAND _69_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:210: Cannot find file containing module: 'NAND'\n  NAND _70_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:215: Cannot find file containing module: 'NAND'\n  NAND _71_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:220: Cannot find file containing module: 'NAND'\n  NAND _72_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:225: Cannot find file containing module: 'NAND'\n  NAND _73_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:230: Cannot find file containing module: 'NAND'\n  NAND _74_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:235: Cannot find file containing module: 'NAND'\n  NAND _75_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:240: Cannot find file containing module: 'NAND'\n  NAND _76_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:245: Cannot find file containing module: 'NAND'\n  NAND _77_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:250: Cannot find file containing module: 'NAND'\n  NAND _78_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:255: Cannot find file containing module: 'NAND'\n  NAND _79_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:260: Cannot find file containing module: 'NAND'\n  NAND _80_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:265: Cannot find file containing module: 'NAND'\n  NAND _81_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:270: Cannot find file containing module: 'NAND'\n  NAND _82_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:275: Cannot find file containing module: 'NAND'\n  NAND _83_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:280: Cannot find file containing module: 'NAND'\n  NAND _84_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:285: Cannot find file containing module: 'NAND'\n  NAND _85_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:291: Cannot find file containing module: 'DFF'\n  DFF _86_ (\n  ^~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:297: Cannot find file containing module: 'DFF'\n  DFF _87_ (\n  ^~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:303: Cannot find file containing module: 'DFF'\n  DFF _88_ (\n  ^~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:309: Cannot find file containing module: 'DFF'\n  DFF _89_ (\n  ^~~\n%Error: data/full_repos/permissive/146618947/valid_tarea6/mux_estructural.v:315: Cannot find file containing module: 'DFF'\n  DFF _90_ (\n  ^~~\n%Error: Exiting due to too many errors encountered; --error-limit=50\n"
module mux_estructural(clk, reset_L, data_0, data_1, valid_0, valid_1, valid_out, data_out);
  (* src = "mux.v:35" *)
  wire [3:0] _00_;
  (* src = "mux.v:35" *)
  wire _01_;
  wire _02_;
  wire _03_;
  wire _04_;
  wire _05_;
  wire _06_;
  wire _07_;
  wire _08_;
  wire _09_;
  wire _10_;
  wire _11_;
  wire _12_;
  wire _13_;
  wire _14_;
  wire _15_;
  wire _16_;
  wire _17_;
  wire _18_;
  wire _19_;
  wire _20_;
  wire _21_;
  wire _22_;
  wire _23_;
  wire _24_;
  wire _25_;
  wire _26_;
  wire _27_;
  wire _28_;
  wire _29_;
  wire _30_;
  wire _31_;
  wire _32_;
  wire _33_;
  wire _34_;
  wire _35_;
  wire _36_;
  wire _37_;
  wire _38_;
  wire _39_;
  wire _40_;
  (* src = "mux.v:3" *)
  input clk;
  (* src = "mux.v:5" *)
  input [3:0] data_0;
  (* src = "mux.v:6" *)
  input [3:0] data_1;
  (* init = 4'h0 *)
  (* src = "mux.v:10" *)
  output [3:0] data_out;
  (* src = "mux.v:4" *)
  input reset_L;
  (* init = 1'h0 *)
  (* src = "mux.v:13" *)
  wire selector;
  (* src = "mux.v:7" *)
  input valid_0;
  (* src = "mux.v:8" *)
  input valid_1;
  (* src = "mux.v:9" *)
  output valid_out;
  NOT _41_ (
    .A(reset_L),
    .Y(_02_)
  );
  NOT _42_ (
    .A(valid_1),
    .Y(_03_)
  );
  NOT _43_ (
    .A(valid_0),
    .Y(_04_)
  );
  NOT _44_ (
    .A(selector),
    .Y(_05_)
  );
  NOR _45_ (
    .A(_02_),
    .B(selector),
    .Y(_01_)
  );
  NAND _46_ (
    .A(valid_1),
    .B(data_1[1]),
    .Y(_06_)
  );
  NAND _47_ (
    .A(_03_),
    .B(data_out[1]),
    .Y(_07_)
  );
  NAND _48_ (
    .A(_06_),
    .B(_07_),
    .Y(_08_)
  );
  NAND _49_ (
    .A(_01_),
    .B(_08_),
    .Y(_09_)
  );
  NOR _50_ (
    .A(_02_),
    .B(_05_),
    .Y(_10_)
  );
  NOR _51_ (
    .A(valid_0),
    .B(data_out[1]),
    .Y(_11_)
  );
  NOR _52_ (
    .A(_04_),
    .B(data_0[1]),
    .Y(_12_)
  );
  NOR _53_ (
    .A(_11_),
    .B(_12_),
    .Y(_13_)
  );
  NAND _54_ (
    .A(_10_),
    .B(_13_),
    .Y(_14_)
  );
  NAND _55_ (
    .A(_09_),
    .B(_14_),
    .Y(_00_[1])
  );
  NAND _56_ (
    .A(valid_0),
    .B(data_0[2]),
    .Y(_15_)
  );
  NAND _57_ (
    .A(_04_),
    .B(data_out[2]),
    .Y(_16_)
  );
  NAND _58_ (
    .A(_15_),
    .B(_16_),
    .Y(_17_)
  );
  NAND _59_ (
    .A(_10_),
    .B(_17_),
    .Y(_18_)
  );
  NAND _60_ (
    .A(_03_),
    .B(data_out[2]),
    .Y(_19_)
  );
  NAND _61_ (
    .A(valid_1),
    .B(data_1[2]),
    .Y(_20_)
  );
  NAND _62_ (
    .A(_19_),
    .B(_20_),
    .Y(_21_)
  );
  NAND _63_ (
    .A(_01_),
    .B(_21_),
    .Y(_22_)
  );
  NAND _64_ (
    .A(_18_),
    .B(_22_),
    .Y(_00_[2])
  );
  NAND _65_ (
    .A(_03_),
    .B(data_out[3]),
    .Y(_23_)
  );
  NAND _66_ (
    .A(valid_1),
    .B(data_1[3]),
    .Y(_24_)
  );
  NAND _67_ (
    .A(_23_),
    .B(_24_),
    .Y(_25_)
  );
  NAND _68_ (
    .A(_01_),
    .B(_25_),
    .Y(_26_)
  );
  NAND _69_ (
    .A(_04_),
    .B(data_out[3]),
    .Y(_27_)
  );
  NAND _70_ (
    .A(valid_0),
    .B(data_0[3]),
    .Y(_28_)
  );
  NAND _71_ (
    .A(_27_),
    .B(_28_),
    .Y(_29_)
  );
  NAND _72_ (
    .A(_10_),
    .B(_29_),
    .Y(_30_)
  );
  NAND _73_ (
    .A(_26_),
    .B(_30_),
    .Y(_00_[3])
  );
  NAND _74_ (
    .A(valid_1),
    .B(_01_),
    .Y(_31_)
  );
  NAND _75_ (
    .A(valid_0),
    .B(_10_),
    .Y(_32_)
  );
  NAND _76_ (
    .A(_31_),
    .B(_32_),
    .Y(valid_out)
  );
  NAND _77_ (
    .A(valid_0),
    .B(data_0[0]),
    .Y(_33_)
  );
  NAND _78_ (
    .A(_04_),
    .B(data_out[0]),
    .Y(_34_)
  );
  NAND _79_ (
    .A(_33_),
    .B(_34_),
    .Y(_35_)
  );
  NAND _80_ (
    .A(_10_),
    .B(_35_),
    .Y(_36_)
  );
  NAND _81_ (
    .A(_03_),
    .B(data_out[0]),
    .Y(_37_)
  );
  NAND _82_ (
    .A(valid_1),
    .B(data_1[0]),
    .Y(_38_)
  );
  NAND _83_ (
    .A(_37_),
    .B(_38_),
    .Y(_39_)
  );
  NAND _84_ (
    .A(_01_),
    .B(_39_),
    .Y(_40_)
  );
  NAND _85_ (
    .A(_36_),
    .B(_40_),
    .Y(_00_[0])
  );
  (* src = "mux.v:35" *)
  DFF _86_ (
    .C(clk),
    .D(_00_[0]),
    .Q(data_out[0])
  );
  (* src = "mux.v:35" *)
  DFF _87_ (
    .C(clk),
    .D(_00_[1]),
    .Q(data_out[1])
  );
  (* src = "mux.v:35" *)
  DFF _88_ (
    .C(clk),
    .D(_00_[2]),
    .Q(data_out[2])
  );
  (* src = "mux.v:35" *)
  DFF _89_ (
    .C(clk),
    .D(_00_[3]),
    .Q(data_out[3])
  );
  (* src = "mux.v:35" *)
  DFF _90_ (
    .C(clk),
    .D(_01_),
    .Q(selector)
  );
endmodule
module mux_estructural(clk, reset_L, data_0, data_1, valid_0, valid_1, valid_out, data_out);

  (* src = "mux.v:35" *)
  wire [3:0] _00_;
  (* src = "mux.v:35" *)
  wire _01_;
  wire _02_;
  wire _03_;
  wire _04_;
  wire _05_;
  wire _06_;
  wire _07_;
  wire _08_;
  wire _09_;
  wire _10_;
  wire _11_;
  wire _12_;
  wire _13_;
  wire _14_;
  wire _15_;
  wire _16_;
  wire _17_;
  wire _18_;
  wire _19_;
  wire _20_;
  wire _21_;
  wire _22_;
  wire _23_;
  wire _24_;
  wire _25_;
  wire _26_;
  wire _27_;
  wire _28_;
  wire _29_;
  wire _30_;
  wire _31_;
  wire _32_;
  wire _33_;
  wire _34_;
  wire _35_;
  wire _36_;
  wire _37_;
  wire _38_;
  wire _39_;
  wire _40_;
  (* src = "mux.v:3" *)
  input clk;
  (* src = "mux.v:5" *)
  input [3:0] data_0;
  (* src = "mux.v:6" *)
  input [3:0] data_1;
  (* init = 4'h0 *)
  (* src = "mux.v:10" *)
  output [3:0] data_out;
  (* src = "mux.v:4" *)
  input reset_L;
  (* init = 1'h0 *)
  (* src = "mux.v:13" *)
  wire selector;
  (* src = "mux.v:7" *)
  input valid_0;
  (* src = "mux.v:8" *)
  input valid_1;
  (* src = "mux.v:9" *)
  output valid_out;
  NOT _41_ (
    .A(reset_L),
    .Y(_02_)
  );
  NOT _42_ (
    .A(valid_1),
    .Y(_03_)
  );
  NOT _43_ (
    .A(valid_0),
    .Y(_04_)
  );
  NOT _44_ (
    .A(selector),
    .Y(_05_)
  );
  NOR _45_ (
    .A(_02_),
    .B(selector),
    .Y(_01_)
  );
  NAND _46_ (
    .A(valid_1),
    .B(data_1[1]),
    .Y(_06_)
  );
  NAND _47_ (
    .A(_03_),
    .B(data_out[1]),
    .Y(_07_)
  );
  NAND _48_ (
    .A(_06_),
    .B(_07_),
    .Y(_08_)
  );
  NAND _49_ (
    .A(_01_),
    .B(_08_),
    .Y(_09_)
  );
  NOR _50_ (
    .A(_02_),
    .B(_05_),
    .Y(_10_)
  );
  NOR _51_ (
    .A(valid_0),
    .B(data_out[1]),
    .Y(_11_)
  );
  NOR _52_ (
    .A(_04_),
    .B(data_0[1]),
    .Y(_12_)
  );
  NOR _53_ (
    .A(_11_),
    .B(_12_),
    .Y(_13_)
  );
  NAND _54_ (
    .A(_10_),
    .B(_13_),
    .Y(_14_)
  );
  NAND _55_ (
    .A(_09_),
    .B(_14_),
    .Y(_00_[1])
  );
  NAND _56_ (
    .A(valid_0),
    .B(data_0[2]),
    .Y(_15_)
  );
  NAND _57_ (
    .A(_04_),
    .B(data_out[2]),
    .Y(_16_)
  );
  NAND _58_ (
    .A(_15_),
    .B(_16_),
    .Y(_17_)
  );
  NAND _59_ (
    .A(_10_),
    .B(_17_),
    .Y(_18_)
  );
  NAND _60_ (
    .A(_03_),
    .B(data_out[2]),
    .Y(_19_)
  );
  NAND _61_ (
    .A(valid_1),
    .B(data_1[2]),
    .Y(_20_)
  );
  NAND _62_ (
    .A(_19_),
    .B(_20_),
    .Y(_21_)
  );
  NAND _63_ (
    .A(_01_),
    .B(_21_),
    .Y(_22_)
  );
  NAND _64_ (
    .A(_18_),
    .B(_22_),
    .Y(_00_[2])
  );
  NAND _65_ (
    .A(_03_),
    .B(data_out[3]),
    .Y(_23_)
  );
  NAND _66_ (
    .A(valid_1),
    .B(data_1[3]),
    .Y(_24_)
  );
  NAND _67_ (
    .A(_23_),
    .B(_24_),
    .Y(_25_)
  );
  NAND _68_ (
    .A(_01_),
    .B(_25_),
    .Y(_26_)
  );
  NAND _69_ (
    .A(_04_),
    .B(data_out[3]),
    .Y(_27_)
  );
  NAND _70_ (
    .A(valid_0),
    .B(data_0[3]),
    .Y(_28_)
  );
  NAND _71_ (
    .A(_27_),
    .B(_28_),
    .Y(_29_)
  );
  NAND _72_ (
    .A(_10_),
    .B(_29_),
    .Y(_30_)
  );
  NAND _73_ (
    .A(_26_),
    .B(_30_),
    .Y(_00_[3])
  );
  NAND _74_ (
    .A(valid_1),
    .B(_01_),
    .Y(_31_)
  );
  NAND _75_ (
    .A(valid_0),
    .B(_10_),
    .Y(_32_)
  );
  NAND _76_ (
    .A(_31_),
    .B(_32_),
    .Y(valid_out)
  );
  NAND _77_ (
    .A(valid_0),
    .B(data_0[0]),
    .Y(_33_)
  );
  NAND _78_ (
    .A(_04_),
    .B(data_out[0]),
    .Y(_34_)
  );
  NAND _79_ (
    .A(_33_),
    .B(_34_),
    .Y(_35_)
  );
  NAND _80_ (
    .A(_10_),
    .B(_35_),
    .Y(_36_)
  );
  NAND _81_ (
    .A(_03_),
    .B(data_out[0]),
    .Y(_37_)
  );
  NAND _82_ (
    .A(valid_1),
    .B(data_1[0]),
    .Y(_38_)
  );
  NAND _83_ (
    .A(_37_),
    .B(_38_),
    .Y(_39_)
  );
  NAND _84_ (
    .A(_01_),
    .B(_39_),
    .Y(_40_)
  );
  NAND _85_ (
    .A(_36_),
    .B(_40_),
    .Y(_00_[0])
  );
  (* src = "mux.v:35" *)
  DFF _86_ (
    .C(clk),
    .D(_00_[0]),
    .Q(data_out[0])
  );
  (* src = "mux.v:35" *)
  DFF _87_ (
    .C(clk),
    .D(_00_[1]),
    .Q(data_out[1])
  );
  (* src = "mux.v:35" *)
  DFF _88_ (
    .C(clk),
    .D(_00_[2]),
    .Q(data_out[2])
  );
  (* src = "mux.v:35" *)
  DFF _89_ (
    .C(clk),
    .D(_00_[3]),
    .Q(data_out[3])
  );
  (* src = "mux.v:35" *)
  DFF _90_ (
    .C(clk),
    .D(_01_),
    .Q(selector)
  );
endmodule