Схема ut5 (Задание 1 - Структурный анализ схем)

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

// Verification Directory fv/top

module top(a, b, c, out);

input [7:0] a, b;

input c;

output [15:0] out;

wire [7:0] a, b;

wire c;

wire [15:0] out;

wire [15:0] w1;

wire mn_0, mn_1, mn_2, mn_3, mn_4, mn_5, mn_22, mn_23;

wire mn_24, mn_25, mn_26, mn_27, mn_28, mn_29, mn_30, mn_31;

wire mn_32, mn_33, mn_34, mn_35, mn_36, mn_37, mn_38, mn_39;

wire mn_40, mn_41, mn_42, mn_43, mn_44, mn_45, mn_46, mn_47;

wire mn_48, mn_49, mn_50, mn_51, mn_52, mn_53, mn_54, mn_55;

wire mn_56, mn_57, mn_58, mn_59, mn_60, mn_61, mn_62, mn_63;

wire mn_64, mn_65, mn_66, mn_68, mn_69, mn_70, mn_71, mn_72;

wire mn_73, mn_74, mn_75, mn_76, mn_77, mn_78, mn_79, mn_80;

wire mn_81, mn_82, mn_83, mn_84, mn_85, mn_86, mn_87, mn_88;

wire mn_89, mn_90, mn_91, mn_92, mn_93, mn_94, mn_95, mn_96;

wire mn_97, mn_98, mn_99, mn_100, mn_101, mn_102, mn_103, mn_104;

wire mn_105, mn_106, mn_107, mn_108, mn_109, mn_110, mn_111, mn_112;

wire mn_113, mn_114, mn_115, mn_116, mn_117, mn_118, mn_119, mn_120;

wire mn_121, mn_122, mn_123, mn_124, mn_125, mn_126, mn_127, mn_128;

wire mn_129, mn_130, mn_131, mn_132, mn_133, mn_134, mn_135, mn_136;

wire mn_137, mn_138, mn_139, mn_140, mn_141, mn_142, mn_143, mn_144;

wire mn_145, mn_146, mn_147, mn_148, mn_149, mn_150, mn_151, mn_152;

wire mn_153, mn_154, mn_155, mn_156, mn_157, mn_158, mn_159, mn_160;

wire mn_161, mn_162, mn_163, mn_164, mn_165, mn_167, mn_168, mn_169;

wire mn_170, mn_171, mn_172, mn_173, mn_174, mn_175, mn_176, mn_177;

wire mn_178, mn_179, mn_180, mn_181, mn_182, mn_183, mn_184, mn_185;

wire mn_186, mn_187, mn_188, mn_189, mn_190, mn_191, mn_192, mn_193;

wire mn_194, mn_195, mn_196, mn_197, mn_198, mn_199, mn_200, mn_201;

wire mn_202, mn_203, mn_204, mn_205, mn_206, mn_207, mn_208, mn_209;

wire mn_210, mn_211, mn_212, mn_213, mn_214, mn_215, mn_216, mn_217;

wire mn_218, mn_219, mn_220, mn_221, mn_222, mn_223, mn_224, mn_225;

wire mn_226, mn_227, mn_228, mn_229, mn_230, mn_231, mn_232, mn_233;

wire mn_234, mn_235, mn_236, mn_237, mn_238, mn_239, mn_240, mn_241;

wire mn_242, mn_243, mn_244, mn_245, mn_246, mn_247, mn_248, mn_249;

wire mn_250, mn_251, mn_252, mn_253, mn_255, mn_256, mn_257, mn_258;

wire mn_259, mn_260, mn_261, mn_262, mn_263, mn_264, mn_266, mn_267;

wire mn_268, mn_269, mn_270, mn_271, mn_272, mn_273, mn_274, mn_275;

wire mn_276, mn_277, mn_278, mn_279, mn_280, mn_281, mn_282, mn_283;

wire mn_284, mn_285, mn_286, mn_287, mn_288, mn_289, mn_291, mn_292;

wire mn_293, mn_294, mn_295, mn_296, mn_297, mn_298, mn_299, mn_300;

wire mn_301, mn_302, mn_303, mn_304, mn_305, mn_306, mn_307, mn_308;

wire mn_309, mn_310, mn_311, mn_312, mn_313, mn_314, mn_315, mn_316;

wire mn_317, mn_318, mn_319, mn_321, mn_322, mn_323, mn_324, mn_325;

wire mn_326, mn_327, mn_328, mn_329, mn_330, mn_331, mn_332, mn_333;

wire mn_334, mn_335, mn_336, mn_337, mn_338, mn_339, mn_340, mn_342;

wire mn_343, mn_344, mn_345, mn_346, mn_347, mn_349, mn_350, mn_351;

wire mn_352, mn_353, mn_354, mn_355, mn_356, mn_357, mn_359, mn_360;

wire mn_361, mn_362, mn_363, mn_364, mn_365, mn_366, mn_367, mn_368;

wire mn_369, mn_370, mn_372, mn_373, mn_375, mn_376, mn_378, mn_379;

wire mn_381, mn_382, mn_384, mn_388, mn_390, mn_410, mn_412, mn_413;

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_14, n_15;

wire n_16, n_17, n_18, n_19, n_20, n_21, n_22, n_23;

wire n_24, n_25, n_26, n_27, n_28, n_29, n_30, n_31;

wire n_32, n_33, n_34, n_35, n_36, n_37, n_38, n_39;

wire n_40, n_64, n_65, n_66, n_67, n_68, n_69, n_70;

wire n_71, n_72, n_73, n_74, n_75, n_76, n_77, n_78;

wire n_79, n_81, n_82, n_83, n_84, n_85, n_86, n_87;

wire n_88, n_89, n_90, n_91, n_92, n_93, n_94, n_95;

wire n_96;

or g267(n_76, n_0, n_95);

or g268(n_77, n_0, n_93);

or g269(n_64, n_0, n_89);

nor g270(n_79, n_0, n_81);

or g271(n_75, n_0, n_82);

nor g272(n_69, n_0, n_96);

or g273(n_65, n_0, n_87);

nor g274(n_70, n_0, n_94);

nor g275(n_71, n_0, n_92);

nor g276(n_78, n_0, n_91);

or g277(n_66, n_0, n_85);

nor g278(n_72, n_0, n_90);

or g279(n_73, n_0, n_88);

nor g280(n_67, n_0, n_83);

nor g281(n_74, n_0, n_86);

nor g282(n_68, n_0, n_84);

not g283(n_96, b[7]);

not g284(n_89, a[4]);

not g285(n_81, a[0]);

not g286(n_87, a[3]);

not g287(n_92, b[5]);

not g288(n_90, b[4]);

not g289(n_85, a[2]);

not g290(n_86, b[2]);

not g291(n_83, a[1]);

not g292(n_95, a[7]);

not g293(n_82, b[0]);

not g294(n_94, b[6]);

not g295(n_0, c);

not g296(n_91, a[5]);

not g297(n_84, b[1]);

not g298(n_93, a[6]);

not g299(n_88, b[3]);

nand g515(out[15], n_32, n_10);

nand g516(out[14], n_25, n_14);

nand g517(out[13], n_30, n_21);

nand g518(out[5], n_39, n_4);

nand g519(out[10], n_29, n_17);

nand g520(out[4], n_38, n_18);

nand g521(out[3], n_37, n_15);

nand g522(out[12], n_27, n_6);

nand g523(out[2], n_36, n_12);

nand g524(out[9], n_28, n_8);

nand g525(out[1], n_35, n_9);

nand g526(out[0], n_34, n_7);

nand g527(out[11], n_31, n_2);

nand g528(out[8], n_26, n_5);

nand g529(out[7], n_33, n_3);

nand g530(out[6], n_40, n_23);

nand g531(n_40, n_22, n_0);

nand g532(n_39, n_19, n_0);

nand g533(n_38, n_16, n_0);

nand g534(n_37, n_24, n_0);

nand g535(n_36, n_11, n_0);

nand g536(n_35, n_13, n_0);

nand g537(n_34, n_20, n_0);

nand g538(n_33, n_1, n_0);

or g539(n_32, n_96, n_95, c);

or g540(n_31, n_88, n_87, c);

or g541(n_30, n_92, n_91, c);

or g542(n_29, n_86, n_85, c);

or g543(n_28, n_84, n_83, c);

or g544(n_27, n_90, n_89, c);

or g545(n_26, n_82, n_81, c);

or g546(n_25, n_94, n_93, c);

nand g547(n_24, n_88, n_87);

nand g548(n_23, c, w1[6]);

nand g549(n_22, n_94, n_93);

nand g550(n_21, c, w1[13]);

nand g551(n_20, n_82, n_81);

nand g552(n_19, n_92, n_91);

nand g553(n_18, c, w1[4]);

nand g554(n_17, c, w1[10]);

nand g555(n_16, n_90, n_89);

nand g556(n_15, c, w1[3]);

nand g557(n_14, c, w1[14]);

nand g558(n_13, n_84, n_83);

nand g559(n_12, c, w1[2]);

nand g560(n_11, n_86, n_85);

nand g561(n_10, c, w1[15]);

nand g562(n_9, c, w1[1]);

nand g563(n_8, c, w1[9]);

nand g564(n_7, c, w1[0]);

nand g565(n_6, c, w1[12]);

nand g566(n_5, c, w1[8]);

nand g567(n_4, c, w1[5]);

nand g568(n_3, c, w1[7]);

nand g569(n_2, c, w1[11]);

nand g570(n_1, n_96, n_95);

xnor mg2934(w1[14], mn_284, mn_390);

nor mg2936(mn_390, mn_388, mn_329);

xnor mg2937(w1[13], mn_346, mn_413);

nor mg2938(mn_388, mn_413, mn_333);

xnor mg2940(w1[12], mn_353, mn_384);

nand mg2942(mn_384, mn_357, mn_382);

xnor mg2943(w1[11], mn_367, mn_381);

nand mg2944(mn_382, mn_354, mn_381);

nand mg2945(mn_381, mn_359, mn_379);

xnor mg2946(w1[10], mn_370, mn_378);

or mg2947(mn_379, mn_378, mn_364);

nor mg2948(mn_378, mn_376, mn_363);

xnor mg2949(w1[9], mn_369, mn_375);

nor mg2950(mn_376, mn_375, mn_362);

nor mg2951(mn_375, mn_373, mn_356);