data/full_repos/permissive/146618947/clase4_yosys/synth.v
1: b"%Error: data/full_repos/permissive/146618947/clase4_yosys/synth.v:20: Cannot find file containing module: 'NAND'\n  NAND _05_ (\n  ^~~~\n        ... Looked in:\n             data/full_repos/permissive/146618947/clase4_yosys,data/full_repos/permissive/146618947/NAND\n             data/full_repos/permissive/146618947/clase4_yosys,data/full_repos/permissive/146618947/NAND.v\n             data/full_repos/permissive/146618947/clase4_yosys,data/full_repos/permissive/146618947/NAND.sv\n             NAND\n             NAND.v\n             NAND.sv\n             obj_dir/NAND\n             obj_dir/NAND.v\n             obj_dir/NAND.sv\n%Error: data/full_repos/permissive/146618947/clase4_yosys/synth.v:25: Cannot find file containing module: 'NOR'\n  NOR _06_ (\n  ^~~\n%Error: data/full_repos/permissive/146618947/clase4_yosys/synth.v:30: Cannot find file containing module: 'NOR'\n  NOR _07_ (\n  ^~~\n%Error: data/full_repos/permissive/146618947/clase4_yosys/synth.v:35: Cannot find file containing module: 'NAND'\n  NAND _08_ (\n  ^~~~\n%Error: data/full_repos/permissive/146618947/clase4_yosys/synth.v:40: Cannot find file containing module: 'NOT'\n  NOT _09_ (\n  ^~~\n%Error: data/full_repos/permissive/146618947/clase4_yosys/synth.v:45: Cannot find file containing module: 'DFF'\n  DFF _10_ (\n  ^~~\n%Error: Exiting due to 6 error(s)\n"
module switch(sLuz, sButton, sReset, sClk);
  (* src = "switch.v:7" *)
  wire _00_;
  wire _01_;
  wire _02_;
  wire _03_;
  wire _04_;
  (* src = "switch.v:3" *)
  input sButton;
  (* src = "switch.v:5" *)
  input sClk;
  (* src = "switch.v:2" *)
  output sLuz;
  (* src = "switch.v:4" *)
  input sReset;
  NAND _05_ (
    .A(sLuz),
    .B(sButton),
    .Y(_01_)
  );
  NOR _06_ (
    .A(sLuz),
    .B(sButton),
    .Y(_02_)
  );
  NOR _07_ (
    .A(sReset),
    .B(_02_),
    .Y(_03_)
  );
  NAND _08_ (
    .A(_01_),
    .B(_03_),
    .Y(_04_)
  );
  NOT _09_ (
    .A(_04_),
    .Y(_00_)
  );
  (* src = "switch.v:7" *)
  DFF _10_ (
    .C(sClk),
    .D(_00_),
    .Q(sLuz)
  );
endmodule
module switch(sLuz, sButton, sReset, sClk);

  (* src = "switch.v:7" *)
  wire _00_;
  wire _01_;
  wire _02_;
  wire _03_;
  wire _04_;
  (* src = "switch.v:3" *)
  input sButton;
  (* src = "switch.v:5" *)
  input sClk;
  (* src = "switch.v:2" *)
  output sLuz;
  (* src = "switch.v:4" *)
  input sReset;
  NAND _05_ (
    .A(sLuz),
    .B(sButton),
    .Y(_01_)
  );
  NOR _06_ (
    .A(sLuz),
    .B(sButton),
    .Y(_02_)
  );
  NOR _07_ (
    .A(sReset),
    .B(_02_),
    .Y(_03_)
  );
  NAND _08_ (
    .A(_01_),
    .B(_03_),
    .Y(_04_)
  );
  NOT _09_ (
    .A(_04_),
    .Y(_00_)
  );
  (* src = "switch.v:7" *)
  DFF _10_ (
    .C(sClk),
    .D(_00_),
    .Q(sLuz)
  );
endmodule