/* Generated by Yosys 0.9+3911 (git sha1 dcd9f0af, gcc 10.2.0-13ubuntu1 -fPIC -Os) */

(* dynports =  1  *)
(* top =  1  *)
(* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:1.1-19.10" *)
module top(clk, led);
  (* unused_bits = "0" *)
  wire _00_;
  (* unused_bits = "0" *)
  wire _01_;
  (* unused_bits = "0" *)
  wire _02_;
  (* unused_bits = "0" *)
  wire _03_;
  wire _04_;
  (* unused_bits = "0" *)
  wire _05_;
  (* unused_bits = "0" *)
  wire _06_;
  (* unused_bits = "0" *)
  wire _07_;
  wire _08_;
  (* unused_bits = "0" *)
  wire _09_;
  (* unused_bits = "0" *)
  wire _10_;
  (* unused_bits = "0" *)
  wire _11_;
  wire _12_;
  (* unused_bits = "0" *)
  wire _13_;
  (* unused_bits = "0" *)
  wire _14_;
  (* unused_bits = "0" *)
  wire _15_;
  wire _16_;
  (* unused_bits = "0" *)
  wire _17_;
  (* unused_bits = "0" *)
  wire _18_;
  (* unused_bits = "0" *)
  wire _19_;
  wire _20_;
  (* unused_bits = "0" *)
  wire _21_;
  (* unused_bits = "0" *)
  wire _22_;
  (* unused_bits = "0" *)
  wire _23_;
  wire _24_;
  (* unused_bits = "0" *)
  wire _25_;
  (* unused_bits = "0" *)
  wire _26_;
  (* unused_bits = "0" *)
  wire _27_;
  (* unused_bits = "0" *)
  wire _28_;
  (* unused_bits = "0" *)
  wire _29_;
  (* unused_bits = "0" *)
  wire _30_;
  (* CLASS = "clock" *)
  (* CLOCK_SIGNAL = "yes" *)
  (* NAME = "\\$abc\\$2028\\$iopadmap\\$clk" *)
  (* PERIOD = "10.000000" *)
  (* SOURCE_PINS = "\\$abc\\$2028\\$iopadmap\\$clk" *)
  (* WAVEFORM = "0.000000 5.000000" *)
  wire _31_;
  (* force_downto = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:15.20-15.31|/usr/local/bin/../share/yosys/xilinx/arith_map.v:112.26-112.27" *)
  wire [25:0] _32_;
  (* CLASS = "clock" *)
  (* CLOCK_SIGNAL = "yes" *)
  (* NAME = "bufg" *)
  (* PERIOD = "10.000000" *)
  (* SOURCE_PINS = "bufg" *)
  (* WAVEFORM = "0.000000 5.000000" *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:9.10-9.14" *)
  wire bufg;
  (* CLASS = "clock" *)
  (* CLOCK_SIGNAL = "yes" *)
  (* NAME = "clk" *)
  (* PERIOD = "10.000000" *)
  (* SOURCE_PINS = "clk" *)
  (* WAVEFORM = "0.000000 5.000000" *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:2.12-2.15" *)
  input clk;
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:12.30-12.37" *)
  wire [25:0] counter;
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:3.18-3.21" *)
  output [3:0] led;
  (* module_not_derived = 32'd1 *)
  (* src = "/usr/local/bin/../share/yosys/xilinx/lut_map.v:36.13-36.48" *)
  INV _33_ (
    .I(counter[0]),
    .O(_32_[0])
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:15.20-15.31|/usr/local/bin/../share/yosys/xilinx/arith_map.v:176.11-184.5" *)
  CARRY4 _34_ (
    .CI(1'h0),
    .CO({ _04_, _03_, _02_, _01_ }),
    .CYINIT(1'h0),
    .DI(4'h1),
    .O({ _32_[3:1], _00_ }),
    .S({ counter[3:1], _32_[0] })
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:15.20-15.31|/usr/local/bin/../share/yosys/xilinx/arith_map.v:186.14-194.8" *)
  CARRY4 _35_ (
    .CI(_04_),
    .CO({ _08_, _07_, _06_, _05_ }),
    .CYINIT(1'h0),
    .DI(4'h0),
    .O(_32_[7:4]),
    .S(counter[7:4])
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:15.20-15.31|/usr/local/bin/../share/yosys/xilinx/arith_map.v:186.14-194.8" *)
  CARRY4 _36_ (
    .CI(_08_),
    .CO({ _12_, _11_, _10_, _09_ }),
    .CYINIT(1'h0),
    .DI(4'h0),
    .O(_32_[11:8]),
    .S(counter[11:8])
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:15.20-15.31|/usr/local/bin/../share/yosys/xilinx/arith_map.v:186.14-194.8" *)
  CARRY4 _37_ (
    .CI(_12_),
    .CO({ _16_, _15_, _14_, _13_ }),
    .CYINIT(1'h0),
    .DI(4'h0),
    .O(_32_[15:12]),
    .S(counter[15:12])
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:15.20-15.31|/usr/local/bin/../share/yosys/xilinx/arith_map.v:186.14-194.8" *)
  CARRY4 _38_ (
    .CI(_16_),
    .CO({ _20_, _19_, _18_, _17_ }),
    .CYINIT(1'h0),
    .DI(4'h0),
    .O(_32_[19:16]),
    .S(counter[19:16])
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:15.20-15.31|/usr/local/bin/../share/yosys/xilinx/arith_map.v:186.14-194.8" *)
  CARRY4 _39_ (
    .CI(_20_),
    .CO({ _24_, _23_, _22_, _21_ }),
    .CYINIT(1'h0),
    .DI(4'h0),
    .O(_32_[23:20]),
    .S(counter[23:20])
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:15.20-15.31|/usr/local/bin/../share/yosys/xilinx/arith_map.v:186.14-194.8" *)
  CARRY4 _40_ (
    .CI(_24_),
    .CO({ _30_, _29_, _28_, _27_ }),
    .CYINIT(1'h0),
    .DI(4'h0),
    .O({ _26_, _25_, _32_[25:24] }),
    .S({ 2'h0, counter[25:24] })
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _41_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[0]),
    .Q(counter[0]),
    .R(1'h0)
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _42_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[1]),
    .Q(counter[1]),
    .R(1'h0)
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _43_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[2]),
    .Q(counter[2]),
    .R(1'h0)
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _44_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[3]),
    .Q(counter[3]),
    .R(1'h0)
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _45_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[4]),
    .Q(counter[4]),
    .R(1'h0)
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _46_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[5]),
    .Q(counter[5]),
    .R(1'h0)
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _47_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[6]),
    .Q(counter[6]),
    .R(1'h0)
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _48_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[7]),
    .Q(counter[7]),
    .R(1'h0)
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _49_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[8]),
    .Q(counter[8]),
    .R(1'h0)
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _50_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[9]),
    .Q(counter[9]),
    .R(1'h0)
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _51_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[10]),
    .Q(counter[10]),
    .R(1'h0)
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _52_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[11]),
    .Q(counter[11]),
    .R(1'h0)
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _53_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[12]),
    .Q(counter[12]),
    .R(1'h0)
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _54_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[13]),
    .Q(counter[13]),
    .R(1'h0)
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _55_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[14]),
    .Q(counter[14]),
    .R(1'h0)
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _56_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[15]),
    .Q(counter[15]),
    .R(1'h0)
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _57_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[16]),
    .Q(counter[16]),
    .R(1'h0)
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _58_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[17]),
    .Q(counter[17]),
    .R(1'h0)
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _59_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[18]),
    .Q(counter[18]),
    .R(1'h0)
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _60_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[19]),
    .Q(counter[19]),
    .R(1'h0)
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _61_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[20]),
    .Q(counter[20]),
    .R(1'h0)
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _62_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[21]),
    .Q(counter[21]),
    .R(1'h0)
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _63_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[22]),
    .Q(counter[22]),
    .R(1'h0)
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _64_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[23]),
    .Q(counter[23]),
    .R(1'h0)
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _65_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[24]),
    .Q(counter[24]),
    .R(1'h0)
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:14.5-16.8|/usr/local/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95" *)
  FDRE #(
    .INIT(1'h0)
  ) _66_ (
    .C(bufg),
    .CE(1'h1),
    .D(_32_[25]),
    .Q(counter[25]),
    .R(1'h0)
  );
  (* keep = 32'd1 *)
  IBUF #(
    .IOSTANDARD("LVCMOS33"),
    .IO_LOC_PAIRS("clk:W5")
  ) _67_ (
    .I(clk),
    .O(_31_)
  );
  (* keep = 32'd1 *)
  OBUF #(
    .IOSTANDARD("LVCMOS33"),
    .IO_LOC_PAIRS("led[0]:U16")
  ) _68_ (
    .I(counter[22]),
    .O(led[0])
  );
  (* keep = 32'd1 *)
  OBUF #(
    .IOSTANDARD("LVCMOS33"),
    .IO_LOC_PAIRS("led[1]:E19")
  ) _69_ (
    .I(counter[23]),
    .O(led[1])
  );
  (* keep = 32'd1 *)
  OBUF #(
    .IOSTANDARD("LVCMOS33"),
    .IO_LOC_PAIRS("led[2]:U19")
  ) _70_ (
    .I(counter[24]),
    .O(led[2])
  );
  (* keep = 32'd1 *)
  OBUF #(
    .IOSTANDARD("LVCMOS33"),
    .IO_LOC_PAIRS("led[3]:V19")
  ) _71_ (
    .I(counter[25]),
    .O(led[3])
  );
  (* module_not_derived = 32'd1 *)
  (* src = "/home/arvindsrinivasan/Documents/GTRI/symbiflow-examples/xc7/counter_test/counter.v:10.10-10.37" *)
  BUFG bufgctrl (
    .I(_31_),
    .O(bufg)
  );
endmodule