// Generated by Cadence Encounter(R) RTL Compiler RC11.22 - v11.20-s017_1

// Verification Directory fv/top

module top(a, b, out);
  input [11:0] a, b;
  output [35:0] out;
  wire [11:0] a, b;
  wire [35:0] out;
  wire n_0, n_1, n_2, n_3, n_4, n_5, n_6, n_7;
  wire n_8, n_9, n_10, n_11, n_12, n_13, n_15, n_16;
  wire n_17, n_18, n_19, n_20, n_21, n_22, n_23, n_24;
  wire n_25, n_26, n_27, n_28, n_29, n_30, n_31, n_32;
  wire n_33, n_34, n_35, n_36, n_37, n_38, n_39, n_40;
  wire n_41, n_42, n_43, n_44, n_45, n_46, n_47, n_48;
  wire n_49, n_50, n_51, n_52, n_53, n_54, n_55, n_56;
  wire n_57, n_58, n_59, n_60, n_61, n_62, n_64, n_65;
  wire n_66, n_69, n_70, n_73, n_75, n_76, n_77, n_80;
  wire n_81, n_84, n_87, n_88, n_89, n_91, n_92, n_93;
  wire n_94, n_97, n_98, n_99, n_101, n_103, n_104, n_105;
  wire n_107, n_108, n_109, n_111, n_112, n_114, n_115, n_116;
  wire n_117, n_118, n_119, n_120, n_125, n_126, n_127, n_128;
  wire n_129, n_130, n_131, n_135, n_136, n_137, n_138, n_139;
  wire n_140, n_141, n_145, n_146, n_147, n_148, n_149, n_150;
  wire n_151, n_153, n_154, n_155, n_158, n_187, n_188;
  buf g0 (out[1], out[2]);
  xnor g1857(out[34], n_154, out[33]);
  xnor g1858(out[35], n_158, n_155);
  xnor g1859(out[33], n_158, n_153);
  xnor g1860(out[31], n_145, out[30]);
  nand g1863(n_155, n_18, n_150);
  nand g1861(n_154, n_146, out[30]);
  nor g1862(n_153, n_148, n_49);
  xnor g1864(out[32], n_151, n_149);
  xnor g1866(out[30], n_151, n_147);
  nand g1868(n_150, n_27, n_149);
  nor g1867(n_148, n_147, n_48);
  not g1869(n_146, n_145);
  xnor g1865(out[28], n_135, out[27]);
  nand g1872(n_149, n_36, n_140);
  nand g1870(n_145, n_136, out[27]);
  nor g1871(n_147, n_138, n_5);
  xnor g1873(out[29], n_141, n_139);
  xnor g1875(out[27], n_141, n_137);
  or g1879(n_140, n_139, n_58);
  and g1876(n_138, n_137, n_4);
  not g1877(n_136, n_135);
  xnor g1874(out[25], n_125, out[24]);
  nand g1878(n_135, n_126, out[24]);
  nor g1881(n_139, n_130, n_54);
  nand g1880(n_137, n_7, n_128);
  xnor g1883(out[26], n_131, n_129);
  xnor g1882(out[24], n_131, n_127);
  nor g1888(n_130, n_129, n_55);
  nand g1885(n_128, n_3, n_127);
  not g1886(n_126, n_125);
  xnor g1884(out[22], n_114, out[21]);
  nand g1887(n_125, n_120, out[21]);
  nor g1891(n_129, n_118, n_42);
  nand g1889(n_127, n_1, n_116);
  xnor g1893(out[23], n_119, n_117);
  nand g1890(out[19], n_112, n_120);
  xnor g1892(out[21], n_119, n_115);
  and g1898(n_118, n_117, n_59);
  or g1894(n_116, n_115, n_6);
  not g1895(n_120, n_114);
  nor g1896(n_114, out[18], n_111);
  nand g1897(n_112, n_111, out[18]);
  nand g1900(n_117, n_32, n_109);
  nor g1899(n_115, n_105, n_39);
  xnor g1903(out[20], n_107, n_108);
  nand g1906(n_109, n_31, n_108);
  xnor g1902(out[18], n_107, n_104);
  nand g1901(out[16], n_103, n_111);
  nor g1904(n_105, n_104, n_38);
  nand g1907(n_103, n_101, out[15]);
  nand g1909(n_108, n_33, n_98);
  or g1905(n_111, out[15], n_101);
  nor g1908(n_104, n_94, n_45);
  xnor g1911(out[17], n_99, n_97);
  xnor g1910(out[15], n_99, n_93);
  nand g1915(n_98, n_20, n_97);
  xnor g1912(out[13], n_92, out[12]);
  nor g1913(n_94, n_93, n_44);
  nor g1914(n_101, n_91, n_92);
  nand g1917(n_97, n_26, n_88);
  nor g1916(n_93, n_84, n_47);
  not g1918(out[12], n_91);
  xnor g1920(out[14], n_89, n_87);
  xnor g1919(n_91, n_89, n_188);
  or g1923(n_88, n_87, n_22);
  xnor g1921(out[10], out[9], n_80);
  nor g1922(n_84, n_188, n_46);
  nand g1924(n_92, out[9], n_81);
  nor g1926(n_87, n_76, n_34);
  xnor g1928(out[11], n_77, n_75);
  not g1931(n_81, n_80);
  xnor g1929(out[7], out[6], n_69);
  xnor g1927(out[9], n_77, n_73);
  nand g1932(n_80, out[6], n_70);
  nor g1933(n_76, n_75, n_16);
  xnor g1934(out[4], out[2], out[3]);
  not g1936(n_70, n_69);
  nor g1938(n_75, n_65, n_29);
  xnor g1939(out[8], n_66, n_64);
  nand g1935(n_73, n_11, n_62);
  nand g1937(n_69, out[0], out[3]);
  xnor g1940(out[6], n_66, n_61);
  and g1942(n_65, n_64, n_35);
  xnor g1944(out[5], n_56, n_60);
  or g1941(n_62, n_61, n_51);
  xnor g1943(out[3], n_40, n_60);
  nand g1946(n_64, n_53, n_57);
  nand g1956(n_119, n_43, n_59);
  nor g1958(n_141, n_58, n_37);
  not g1959(out[0], out[2]);
  nor g1945(n_61, n_41, n_0);
  nand g1954(n_57, n_52, n_56);
  nor g1955(n_131, n_55, n_54);
  nand g1957(n_60, n_53, n_52);
  nor g1960(out[2], n_56, n_10);
  nor g1952(n_66, n_12, n_51);
  nand g1950(n_77, n_13, n_50);
  nor g1953(n_151, n_49, n_48);
  or g1951(n_89, n_47, n_46);
  nor g1949(n_99, n_45, n_44);
  not g1974(n_43, n_42);
  nor g1948(n_41, n_40, n_2);
  nor g1947(n_107, n_39, n_38);
  not g1983(n_37, n_36);
  nand g1980(n_35, b[2], n_28);
  nor g1969(n_34, n_15, b[3]);
  xor g1961(n_158, b[11], a[11]);
  nand g1962(n_33, a[5], n_19);
  nand g1963(n_32, a[6], n_30);
  nor g1965(n_54, n_24, b[8]);
  nand g1984(n_36, a[9], n_23);
  nor g1966(n_56, n_9, b[0]);
  or g1967(n_31, n_30, a[6]);
  nor g1968(n_29, n_28, b[2]);
  nand g1971(n_27, b[10], n_17);
  or g1972(n_53, n_8, b[1]);
  nand g1985(n_59, b[7], n_25);
  nand g1973(n_26, a[4], n_21);
  nor g1975(n_42, n_25, b[7]);
  and g1976(n_55, n_24, b[8]);
  nor g1979(n_58, n_23, a[9]);
  nor g1977(n_22, n_21, a[4]);
  or g1978(n_20, n_19, a[5]);
  or g1981(n_18, n_17, b[10]);
  and g1982(n_16, n_15, b[3]);
  not g1995(n_12, n_11);
  and g1970(n_10, n_9, b[0]);
  nand g1964(n_52, b[1], n_8);
  and g1997(n_39, a[6], b[6]);
  nand g1989(n_7, b[8], a[8]);
  nor g2000(n_48, b[10], a[10]);
  nor g1994(n_51, b[2], a[2]);
  nand g1996(n_11, b[2], a[2]);
  nand g1993(n_13, b[3], a[3]);
  and g2008(n_45, a[5], b[5]);
  nor g1988(n_6, a[7], b[7]);
  and g1990(n_5, a[9], b[9]);
  nor g2006(n_44, b[5], a[5]);
  or g1998(n_4, a[9], b[9]);
  nor g2004(n_46, b[4], a[4]);
  and g2003(n_47, a[4], b[4]);
  and g2002(n_49, a[10], b[10]);
  or g2005(n_3, a[8], b[8]);
  or g1987(n_50, b[3], a[3]);
  nor g2007(n_2, a[1], b[1]);
  nor g1986(n_38, b[6], a[6]);
  nand g2001(n_1, b[7], a[7]);
  and g1999(n_0, a[1], b[1]);
  nand g1991(n_40, a[0], b[0]);
  not g2015(n_21, b[4]);
  not g2018(n_17, a[10]);
  not g2013(n_24, a[8]);
  not g2012(n_25, a[7]);
  not g2019(n_19, b[5]);
  not g2009(n_8, a[1]);
  not g2016(n_30, b[6]);
  not g2014(n_28, a[2]);
  not g2017(n_15, a[3]);
  not g2010(n_23, b[9]);
  not g2011(n_9, a[0]);
  and g2(n_188, n_187, n_13);
  nand g3(n_187, n_73, n_50);
endmodule