data/full_repos/permissive/129155059/06-fsm/synth.v
1: b'%Error: data/full_repos/permissive/129155059/06-fsm/synth.v:1: Cannot find include file: cmos_cells.v\n`include "cmos_cells.v" \n         ^~~~~~~~~~~~~~\n        ... Looked in:\n             data/full_repos/permissive/129155059/06-fsm,data/full_repos/permissive/129155059/cmos_cells.v\n             data/full_repos/permissive/129155059/06-fsm,data/full_repos/permissive/129155059/cmos_cells.v.v\n             data/full_repos/permissive/129155059/06-fsm,data/full_repos/permissive/129155059/cmos_cells.v.sv\n             cmos_cells.v\n             cmos_cells.v.v\n             cmos_cells.v.sv\n             obj_dir/cmos_cells.v\n             obj_dir/cmos_cells.v.v\n             obj_dir/cmos_cells.v.sv\n%Error: Exiting due to 1 error(s)\n'
module ascensor_synth(CLK, go_down, go_up, halt, reset, top_lim, bott_lim, estado, prox_estado);
  wire [4:0] _000_;
  wire _001_;
  wire _002_;
  wire _003_;
  wire _004_;
  wire _005_;
  wire _006_;
  wire _007_;
  wire _008_;
  wire _009_;
  wire _010_;
  wire _011_;
  wire _012_;
  wire _013_;
  wire _014_;
  wire _015_;
  wire _016_;
  wire _017_;
  wire _018_;
  wire _019_;
  wire _020_;
  wire _021_;
  wire _022_;
  wire _023_;
  wire _024_;
  wire _025_;
  wire _026_;
  wire _027_;
  wire _028_;
  wire _029_;
  wire _030_;
  wire _031_;
  wire _032_;
  wire _033_;
  wire _034_;
  wire _035_;
  wire _036_;
  wire _037_;
  wire _038_;
  wire _039_;
  wire _040_;
  wire _041_;
  wire _042_;
  wire _043_;
  wire _044_;
  wire _045_;
  wire _046_;
  wire _047_;
  wire _048_;
  wire _049_;
  wire _050_;
  wire _051_;
  wire _052_;
  wire _053_;
  wire _054_;
  wire _055_;
  wire _056_;
  wire _057_;
  wire _058_;
  wire _059_;
  wire _060_;
  wire _061_;
  wire _062_;
  wire _063_;
  wire _064_;
  wire _065_;
  wire _066_;
  wire _067_;
  wire _068_;
  wire _069_;
  wire _070_;
  wire _071_;
  wire _072_;
  wire _073_;
  wire _074_;
  wire _075_;
  wire _076_;
  wire _077_;
  wire _078_;
  wire _079_;
  wire _080_;
  wire _081_;
  wire _082_;
  wire _083_;
  wire _084_;
  wire _085_;
  wire _086_;
  wire _087_;
  wire _088_;
  wire _089_;
  wire _090_;
  wire _091_;
  wire _092_;
  wire _093_;
  wire _094_;
  wire _095_;
  wire _096_;
  wire _097_;
  wire _098_;
  wire _099_;
  wire _100_;
  wire _101_;
  wire _102_;
  wire _103_;
  input CLK;
  output bott_lim;
  output [4:0] estado;
  reg [4:0] estado;
  input go_down;
  input go_up;
  input halt;
  output [4:0] prox_estado;
  input reset;
  output top_lim;
  NOT _104_ (
    .A(estado[4]),
    .Y(_032_)
  );
  NOT _105_ (
    .A(estado[0]),
    .Y(_033_)
  );
  NOT _106_ (
    .A(estado[1]),
    .Y(_034_)
  );
  NAND _107_ (
    .A(_034_),
    .B(_033_),
    .Y(_035_)
  );
  NOT _108_ (
    .A(estado[3]),
    .Y(_036_)
  );
  NAND _109_ (
    .A(_036_),
    .B(estado[2]),
    .Y(_037_)
  );
  NOR _110_ (
    .A(_037_),
    .B(_035_),
    .Y(_038_)
  );
  NAND _111_ (
    .A(_038_),
    .B(_032_),
    .Y(_039_)
  );
  NOR _112_ (
    .A(estado[4]),
    .B(estado[2]),
    .Y(_040_)
  );
  NAND _113_ (
    .A(_040_),
    .B(_036_),
    .Y(_041_)
  );
  NAND _114_ (
    .A(_034_),
    .B(estado[0]),
    .Y(_042_)
  );
  NOR _115_ (
    .A(_042_),
    .B(_041_),
    .Y(_043_)
  );
  NOT _116_ (
    .A(estado[2]),
    .Y(_044_)
  );
  NAND _117_ (
    .A(_036_),
    .B(_044_),
    .Y(_045_)
  );
  NOR _118_ (
    .A(estado[1]),
    .B(estado[0]),
    .Y(_046_)
  );
  NAND _119_ (
    .A(_046_),
    .B(estado[4]),
    .Y(_047_)
  );
  NOR _120_ (
    .A(_047_),
    .B(_045_),
    .Y(_048_)
  );
  NOR _121_ (
    .A(_048_),
    .B(_043_),
    .Y(_049_)
  );
  NAND _122_ (
    .A(_049_),
    .B(_039_),
    .Y(_050_)
  );
  NOT _123_ (
    .A(go_up),
    .Y(_051_)
  );
  NAND _124_ (
    .A(_051_),
    .B(estado[0]),
    .Y(_052_)
  );
  NOR _125_ (
    .A(_052_),
    .B(go_down),
    .Y(_053_)
  );
  NAND _126_ (
    .A(_053_),
    .B(_050_),
    .Y(_054_)
  );
  NAND _127_ (
    .A(_032_),
    .B(_044_),
    .Y(_055_)
  );
  NOR _128_ (
    .A(_055_),
    .B(estado[3]),
    .Y(_056_)
  );
  NOR _129_ (
    .A(_034_),
    .B(estado[0]),
    .Y(_057_)
  );
  NAND _130_ (
    .A(_057_),
    .B(_056_),
    .Y(_058_)
  );
  NOR _131_ (
    .A(_055_),
    .B(_036_),
    .Y(_059_)
  );
  NAND _132_ (
    .A(_059_),
    .B(_046_),
    .Y(_060_)
  );
  NAND _133_ (
    .A(_060_),
    .B(_058_),
    .Y(_061_)
  );
  NOR _134_ (
    .A(_061_),
    .B(_050_),
    .Y(_062_)
  );
  NOR _135_ (
    .A(estado[1]),
    .B(_033_),
    .Y(_063_)
  );
  NAND _136_ (
    .A(_063_),
    .B(_056_),
    .Y(_064_)
  );
  NAND _137_ (
    .A(_060_),
    .B(_064_),
    .Y(_065_)
  );
  NAND _138_ (
    .A(_065_),
    .B(halt),
    .Y(_066_)
  );
  NOT _139_ (
    .A(_057_),
    .Y(_067_)
  );
  NOR _140_ (
    .A(_067_),
    .B(_041_),
    .Y(_068_)
  );
  NAND _141_ (
    .A(_068_),
    .B(halt),
    .Y(_069_)
  );
  NAND _142_ (
    .A(_069_),
    .B(_066_),
    .Y(_070_)
  );
  NOR _143_ (
    .A(_070_),
    .B(_062_),
    .Y(_071_)
  );
  NAND _144_ (
    .A(_071_),
    .B(_054_),
    .Y(prox_estado[0])
  );
  NOT _145_ (
    .A(halt),
    .Y(_072_)
  );
  NAND _146_ (
    .A(_040_),
    .B(estado[3]),
    .Y(_073_)
  );
  NOR _147_ (
    .A(_073_),
    .B(_035_),
    .Y(_074_)
  );
  NOR _148_ (
    .A(_074_),
    .B(_043_),
    .Y(_075_)
  );
  NOR _149_ (
    .A(_075_),
    .B(_072_),
    .Y(_076_)
  );
  NOR _150_ (
    .A(_058_),
    .B(_072_),
    .Y(_077_)
  );
  NOR _151_ (
    .A(_077_),
    .B(_076_),
    .Y(_078_)
  );
  NAND _152_ (
    .A(_078_),
    .B(_054_),
    .Y(_079_)
  );
  NOR _153_ (
    .A(_079_),
    .B(_062_),
    .Y(_080_)
  );
  NAND _154_ (
    .A(_080_),
    .B(reset),
    .Y(_000_[0])
  );
  NAND _155_ (
    .A(_043_),
    .B(_072_),
    .Y(_081_)
  );
  NAND _156_ (
    .A(_046_),
    .B(_032_),
    .Y(_082_)
  );
  NOR _157_ (
    .A(_082_),
    .B(_037_),
    .Y(_083_)
  );
  NAND _158_ (
    .A(_083_),
    .B(_051_),
    .Y(_084_)
  );
  NAND _159_ (
    .A(_084_),
    .B(_081_),
    .Y(_085_)
  );
  NOR _160_ (
    .A(_085_),
    .B(_048_),
    .Y(_086_)
  );
  NOR _161_ (
    .A(go_up),
    .B(estado[1]),
    .Y(_087_)
  );
  NOR _162_ (
    .A(_087_),
    .B(go_down),
    .Y(_088_)
  );
  NOT _163_ (
    .A(_088_),
    .Y(_089_)
  );
  NOR _164_ (
    .A(_089_),
    .B(_086_),
    .Y(prox_estado[1])
  );
  NOT _165_ (
    .A(reset),
    .Y(_090_)
  );
  NOR _166_ (
    .A(estado[3]),
    .B(estado[2]),
    .Y(_091_)
  );
  NOR _167_ (
    .A(_035_),
    .B(_032_),
    .Y(_092_)
  );
  NAND _168_ (
    .A(_092_),
    .B(_091_),
    .Y(_093_)
  );
  NOR _169_ (
    .A(_064_),
    .B(halt),
    .Y(_094_)
  );
  NOR _170_ (
    .A(_039_),
    .B(go_up),
    .Y(_095_)
  );
  NOR _171_ (
    .A(_095_),
    .B(_094_),
    .Y(_096_)
  );
  NAND _172_ (
    .A(_096_),
    .B(_093_),
    .Y(_097_)
  );
  NAND _173_ (
    .A(_088_),
    .B(_097_),
    .Y(_098_)
  );
  NOR _174_ (
    .A(_098_),
    .B(_090_),
    .Y(_000_[1])
  );
  NAND _175_ (
    .A(_068_),
    .B(_072_),
    .Y(_099_)
  );
  NAND _176_ (
    .A(_083_),
    .B(go_up),
    .Y(_100_)
  );
  NAND _177_ (
    .A(_100_),
    .B(_099_),
    .Y(_101_)
  );
  NOR _178_ (
    .A(_084_),
    .B(go_down),
    .Y(_102_)
  );
  NOR _179_ (
    .A(_102_),
    .B(_101_),
    .Y(_103_)
  );
  NOT _180_ (
    .A(_103_),
    .Y(prox_estado[2])
  );
  NOR _181_ (
    .A(_103_),
    .B(_090_),
    .Y(_000_[2])
  );
  NOT _182_ (
    .A(go_down),
    .Y(_001_)
  );
  NAND _183_ (
    .A(_048_),
    .B(_001_),
    .Y(_002_)
  );
  NOT _184_ (
    .A(_002_),
    .Y(_003_)
  );
  NOR _185_ (
    .A(_003_),
    .B(_085_),
    .Y(_004_)
  );
  NAND _186_ (
    .A(_093_),
    .B(_064_),
    .Y(_005_)
  );
  NOR _187_ (
    .A(_005_),
    .B(_083_),
    .Y(_006_)
  );
  NOR _188_ (
    .A(_074_),
    .B(_068_),
    .Y(_007_)
  );
  NAND _189_ (
    .A(_007_),
    .B(_006_),
    .Y(_008_)
  );
  NOR _190_ (
    .A(go_up),
    .B(_036_),
    .Y(_009_)
  );
  NOR _191_ (
    .A(_009_),
    .B(go_down),
    .Y(_010_)
  );
  NOT _192_ (
    .A(_010_),
    .Y(_011_)
  );
  NAND _193_ (
    .A(_011_),
    .B(_008_),
    .Y(_012_)
  );
  NOR _194_ (
    .A(_012_),
    .B(_004_),
    .Y(prox_estado[3])
  );
  NAND _195_ (
    .A(_002_),
    .B(_096_),
    .Y(_013_)
  );
  NOR _196_ (
    .A(_010_),
    .B(_062_),
    .Y(_014_)
  );
  NAND _197_ (
    .A(_014_),
    .B(_013_),
    .Y(_015_)
  );
  NOR _198_ (
    .A(_015_),
    .B(_090_),
    .Y(_000_[3])
  );
  NOR _199_ (
    .A(_060_),
    .B(halt),
    .Y(_016_)
  );
  NOT _200_ (
    .A(_016_),
    .Y(_017_)
  );
  NAND _201_ (
    .A(_094_),
    .B(_001_),
    .Y(_018_)
  );
  NAND _202_ (
    .A(_018_),
    .B(_093_),
    .Y(_019_)
  );
  NOR _203_ (
    .A(go_up),
    .B(_032_),
    .Y(_020_)
  );
  NOR _204_ (
    .A(_020_),
    .B(go_down),
    .Y(_021_)
  );
  NOT _205_ (
    .A(_021_),
    .Y(_022_)
  );
  NAND _206_ (
    .A(_022_),
    .B(_019_),
    .Y(_023_)
  );
  NAND _207_ (
    .A(_023_),
    .B(_017_),
    .Y(prox_estado[4])
  );
  NOR _208_ (
    .A(_081_),
    .B(go_down),
    .Y(_024_)
  );
  NOR _209_ (
    .A(_024_),
    .B(_048_),
    .Y(_025_)
  );
  NOR _210_ (
    .A(_021_),
    .B(_025_),
    .Y(_026_)
  );
  NOR _211_ (
    .A(_026_),
    .B(_016_),
    .Y(_027_)
  );
  NOR _212_ (
    .A(_027_),
    .B(_090_),
    .Y(_000_[4])
  );
  NAND _213_ (
    .A(_048_),
    .B(go_down),
    .Y(_028_)
  );
  NOR _214_ (
    .A(_016_),
    .B(_077_),
    .Y(_029_)
  );
  NAND _215_ (
    .A(_029_),
    .B(_028_),
    .Y(bott_lim)
  );
  NAND _216_ (
    .A(_074_),
    .B(halt),
    .Y(_030_)
  );
  NOT _217_ (
    .A(_101_),
    .Y(_031_)
  );
  NAND _218_ (
    .A(_031_),
    .B(_030_),
    .Y(top_lim)
  );
  always @(posedge CLK)
      estado[0] <= _000_[0];
  always @(posedge CLK)
      estado[1] <= _000_[1];
  always @(posedge CLK)
      estado[2] <= _000_[2];
  always @(posedge CLK)
      estado[3] <= _000_[3];
  always @(posedge CLK)
      estado[4] <= _000_[4];
endmodule
module ascensor_synth(CLK, go_down, go_up, halt, reset, top_lim, bott_lim, estado, prox_estado);

  wire [4:0] _000_;
  wire _001_;
  wire _002_;
  wire _003_;
  wire _004_;
  wire _005_;
  wire _006_;
  wire _007_;
  wire _008_;
  wire _009_;
  wire _010_;
  wire _011_;
  wire _012_;
  wire _013_;
  wire _014_;
  wire _015_;
  wire _016_;
  wire _017_;
  wire _018_;
  wire _019_;
  wire _020_;
  wire _021_;
  wire _022_;
  wire _023_;
  wire _024_;
  wire _025_;
  wire _026_;
  wire _027_;
  wire _028_;
  wire _029_;
  wire _030_;
  wire _031_;
  wire _032_;
  wire _033_;
  wire _034_;
  wire _035_;
  wire _036_;
  wire _037_;
  wire _038_;
  wire _039_;
  wire _040_;
  wire _041_;
  wire _042_;
  wire _043_;
  wire _044_;
  wire _045_;
  wire _046_;
  wire _047_;
  wire _048_;
  wire _049_;
  wire _050_;
  wire _051_;
  wire _052_;
  wire _053_;
  wire _054_;
  wire _055_;
  wire _056_;
  wire _057_;
  wire _058_;
  wire _059_;
  wire _060_;
  wire _061_;
  wire _062_;
  wire _063_;
  wire _064_;
  wire _065_;
  wire _066_;
  wire _067_;
  wire _068_;
  wire _069_;
  wire _070_;
  wire _071_;
  wire _072_;
  wire _073_;
  wire _074_;
  wire _075_;
  wire _076_;
  wire _077_;
  wire _078_;
  wire _079_;
  wire _080_;
  wire _081_;
  wire _082_;
  wire _083_;
  wire _084_;
  wire _085_;
  wire _086_;
  wire _087_;
  wire _088_;
  wire _089_;
  wire _090_;
  wire _091_;
  wire _092_;
  wire _093_;
  wire _094_;
  wire _095_;
  wire _096_;
  wire _097_;
  wire _098_;
  wire _099_;
  wire _100_;
  wire _101_;
  wire _102_;
  wire _103_;
  input CLK;
  output bott_lim;
  output [4:0] estado;
  reg [4:0] estado;
  input go_down;
  input go_up;
  input halt;
  output [4:0] prox_estado;
  input reset;
  output top_lim;
  NOT _104_ (
    .A(estado[4]),
    .Y(_032_)
  );
  NOT _105_ (
    .A(estado[0]),
    .Y(_033_)
  );
  NOT _106_ (
    .A(estado[1]),
    .Y(_034_)
  );
  NAND _107_ (
    .A(_034_),
    .B(_033_),
    .Y(_035_)
  );
  NOT _108_ (
    .A(estado[3]),
    .Y(_036_)
  );
  NAND _109_ (
    .A(_036_),
    .B(estado[2]),
    .Y(_037_)
  );
  NOR _110_ (
    .A(_037_),
    .B(_035_),
    .Y(_038_)
  );
  NAND _111_ (
    .A(_038_),
    .B(_032_),
    .Y(_039_)
  );
  NOR _112_ (
    .A(estado[4]),
    .B(estado[2]),
    .Y(_040_)
  );
  NAND _113_ (
    .A(_040_),
    .B(_036_),
    .Y(_041_)
  );
  NAND _114_ (
    .A(_034_),
    .B(estado[0]),
    .Y(_042_)
  );
  NOR _115_ (
    .A(_042_),
    .B(_041_),
    .Y(_043_)
  );
  NOT _116_ (
    .A(estado[2]),
    .Y(_044_)
  );
  NAND _117_ (
    .A(_036_),
    .B(_044_),
    .Y(_045_)
  );
  NOR _118_ (
    .A(estado[1]),
    .B(estado[0]),
    .Y(_046_)
  );
  NAND _119_ (
    .A(_046_),
    .B(estado[4]),
    .Y(_047_)
  );
  NOR _120_ (
    .A(_047_),
    .B(_045_),
    .Y(_048_)
  );
  NOR _121_ (
    .A(_048_),
    .B(_043_),
    .Y(_049_)
  );
  NAND _122_ (
    .A(_049_),
    .B(_039_),
    .Y(_050_)
  );
  NOT _123_ (
    .A(go_up),
    .Y(_051_)
  );
  NAND _124_ (
    .A(_051_),
    .B(estado[0]),
    .Y(_052_)
  );
  NOR _125_ (
    .A(_052_),
    .B(go_down),
    .Y(_053_)
  );
  NAND _126_ (
    .A(_053_),
    .B(_050_),
    .Y(_054_)
  );
  NAND _127_ (
    .A(_032_),
    .B(_044_),
    .Y(_055_)
  );
  NOR _128_ (
    .A(_055_),
    .B(estado[3]),
    .Y(_056_)
  );
  NOR _129_ (
    .A(_034_),
    .B(estado[0]),
    .Y(_057_)
  );
  NAND _130_ (
    .A(_057_),
    .B(_056_),
    .Y(_058_)
  );
  NOR _131_ (
    .A(_055_),
    .B(_036_),
    .Y(_059_)
  );
  NAND _132_ (
    .A(_059_),
    .B(_046_),
    .Y(_060_)
  );
  NAND _133_ (
    .A(_060_),
    .B(_058_),
    .Y(_061_)
  );
  NOR _134_ (
    .A(_061_),
    .B(_050_),
    .Y(_062_)
  );
  NOR _135_ (
    .A(estado[1]),
    .B(_033_),
    .Y(_063_)
  );
  NAND _136_ (
    .A(_063_),
    .B(_056_),
    .Y(_064_)
  );
  NAND _137_ (
    .A(_060_),
    .B(_064_),
    .Y(_065_)
  );
  NAND _138_ (
    .A(_065_),
    .B(halt),
    .Y(_066_)
  );
  NOT _139_ (
    .A(_057_),
    .Y(_067_)
  );
  NOR _140_ (
    .A(_067_),
    .B(_041_),
    .Y(_068_)
  );
  NAND _141_ (
    .A(_068_),
    .B(halt),
    .Y(_069_)
  );
  NAND _142_ (
    .A(_069_),
    .B(_066_),
    .Y(_070_)
  );
  NOR _143_ (
    .A(_070_),
    .B(_062_),
    .Y(_071_)
  );
  NAND _144_ (
    .A(_071_),
    .B(_054_),
    .Y(prox_estado[0])
  );
  NOT _145_ (
    .A(halt),
    .Y(_072_)
  );
  NAND _146_ (
    .A(_040_),
    .B(estado[3]),
    .Y(_073_)
  );
  NOR _147_ (
    .A(_073_),
    .B(_035_),
    .Y(_074_)
  );
  NOR _148_ (
    .A(_074_),
    .B(_043_),
    .Y(_075_)
  );
  NOR _149_ (
    .A(_075_),
    .B(_072_),
    .Y(_076_)
  );
  NOR _150_ (
    .A(_058_),
    .B(_072_),
    .Y(_077_)
  );
  NOR _151_ (
    .A(_077_),
    .B(_076_),
    .Y(_078_)
  );
  NAND _152_ (
    .A(_078_),
    .B(_054_),
    .Y(_079_)
  );
  NOR _153_ (
    .A(_079_),
    .B(_062_),
    .Y(_080_)
  );
  NAND _154_ (
    .A(_080_),
    .B(reset),
    .Y(_000_[0])
  );
  NAND _155_ (
    .A(_043_),
    .B(_072_),
    .Y(_081_)
  );
  NAND _156_ (
    .A(_046_),
    .B(_032_),
    .Y(_082_)
  );
  NOR _157_ (
    .A(_082_),
    .B(_037_),
    .Y(_083_)
  );
  NAND _158_ (
    .A(_083_),
    .B(_051_),
    .Y(_084_)
  );
  NAND _159_ (
    .A(_084_),
    .B(_081_),
    .Y(_085_)
  );
  NOR _160_ (
    .A(_085_),
    .B(_048_),
    .Y(_086_)
  );
  NOR _161_ (
    .A(go_up),
    .B(estado[1]),
    .Y(_087_)
  );
  NOR _162_ (
    .A(_087_),
    .B(go_down),
    .Y(_088_)
  );
  NOT _163_ (
    .A(_088_),
    .Y(_089_)
  );
  NOR _164_ (
    .A(_089_),
    .B(_086_),
    .Y(prox_estado[1])
  );
  NOT _165_ (
    .A(reset),
    .Y(_090_)
  );
  NOR _166_ (
    .A(estado[3]),
    .B(estado[2]),
    .Y(_091_)
  );
  NOR _167_ (
    .A(_035_),
    .B(_032_),
    .Y(_092_)
  );
  NAND _168_ (
    .A(_092_),
    .B(_091_),
    .Y(_093_)
  );
  NOR _169_ (
    .A(_064_),
    .B(halt),
    .Y(_094_)
  );
  NOR _170_ (
    .A(_039_),
    .B(go_up),
    .Y(_095_)
  );
  NOR _171_ (
    .A(_095_),
    .B(_094_),
    .Y(_096_)
  );
  NAND _172_ (
    .A(_096_),
    .B(_093_),
    .Y(_097_)
  );
  NAND _173_ (
    .A(_088_),
    .B(_097_),
    .Y(_098_)
  );
  NOR _174_ (
    .A(_098_),
    .B(_090_),
    .Y(_000_[1])
  );
  NAND _175_ (
    .A(_068_),
    .B(_072_),
    .Y(_099_)
  );
  NAND _176_ (
    .A(_083_),
    .B(go_up),
    .Y(_100_)
  );
  NAND _177_ (
    .A(_100_),
    .B(_099_),
    .Y(_101_)
  );
  NOR _178_ (
    .A(_084_),
    .B(go_down),
    .Y(_102_)
  );
  NOR _179_ (
    .A(_102_),
    .B(_101_),
    .Y(_103_)
  );
  NOT _180_ (
    .A(_103_),
    .Y(prox_estado[2])
  );
  NOR _181_ (
    .A(_103_),
    .B(_090_),
    .Y(_000_[2])
  );
  NOT _182_ (
    .A(go_down),
    .Y(_001_)
  );
  NAND _183_ (
    .A(_048_),
    .B(_001_),
    .Y(_002_)
  );
  NOT _184_ (
    .A(_002_),
    .Y(_003_)
  );
  NOR _185_ (
    .A(_003_),
    .B(_085_),
    .Y(_004_)
  );
  NAND _186_ (
    .A(_093_),
    .B(_064_),
    .Y(_005_)
  );
  NOR _187_ (
    .A(_005_),
    .B(_083_),
    .Y(_006_)
  );
  NOR _188_ (
    .A(_074_),
    .B(_068_),
    .Y(_007_)
  );
  NAND _189_ (
    .A(_007_),
    .B(_006_),
    .Y(_008_)
  );
  NOR _190_ (
    .A(go_up),
    .B(_036_),
    .Y(_009_)
  );
  NOR _191_ (
    .A(_009_),
    .B(go_down),
    .Y(_010_)
  );
  NOT _192_ (
    .A(_010_),
    .Y(_011_)
  );
  NAND _193_ (
    .A(_011_),
    .B(_008_),
    .Y(_012_)
  );
  NOR _194_ (
    .A(_012_),
    .B(_004_),
    .Y(prox_estado[3])
  );
  NAND _195_ (
    .A(_002_),
    .B(_096_),
    .Y(_013_)
  );
  NOR _196_ (
    .A(_010_),
    .B(_062_),
    .Y(_014_)
  );
  NAND _197_ (
    .A(_014_),
    .B(_013_),
    .Y(_015_)
  );
  NOR _198_ (
    .A(_015_),
    .B(_090_),
    .Y(_000_[3])
  );
  NOR _199_ (
    .A(_060_),
    .B(halt),
    .Y(_016_)
  );
  NOT _200_ (
    .A(_016_),
    .Y(_017_)
  );
  NAND _201_ (
    .A(_094_),
    .B(_001_),
    .Y(_018_)
  );
  NAND _202_ (
    .A(_018_),
    .B(_093_),
    .Y(_019_)
  );
  NOR _203_ (
    .A(go_up),
    .B(_032_),
    .Y(_020_)
  );
  NOR _204_ (
    .A(_020_),
    .B(go_down),
    .Y(_021_)
  );
  NOT _205_ (
    .A(_021_),
    .Y(_022_)
  );
  NAND _206_ (
    .A(_022_),
    .B(_019_),
    .Y(_023_)
  );
  NAND _207_ (
    .A(_023_),
    .B(_017_),
    .Y(prox_estado[4])
  );
  NOR _208_ (
    .A(_081_),
    .B(go_down),
    .Y(_024_)
  );
  NOR _209_ (
    .A(_024_),
    .B(_048_),
    .Y(_025_)
  );
  NOR _210_ (
    .A(_021_),
    .B(_025_),
    .Y(_026_)
  );
  NOR _211_ (
    .A(_026_),
    .B(_016_),
    .Y(_027_)
  );
  NOR _212_ (
    .A(_027_),
    .B(_090_),
    .Y(_000_[4])
  );
  NAND _213_ (
    .A(_048_),
    .B(go_down),
    .Y(_028_)
  );
  NOR _214_ (
    .A(_016_),
    .B(_077_),
    .Y(_029_)
  );
  NAND _215_ (
    .A(_029_),
    .B(_028_),
    .Y(bott_lim)
  );
  NAND _216_ (
    .A(_074_),
    .B(halt),
    .Y(_030_)
  );
  NOT _217_ (
    .A(_101_),
    .Y(_031_)
  );
  NAND _218_ (
    .A(_031_),
    .B(_030_),
    .Y(top_lim)
  );
  always @(posedge CLK)
      estado[0] <= _000_[0];
  always @(posedge CLK)
      estado[1] <= _000_[1];
  always @(posedge CLK)
      estado[2] <= _000_[2];
  always @(posedge CLK)
      estado[3] <= _000_[3];
  always @(posedge CLK)
      estado[4] <= _000_[4];
endmodule