num_count.fit.eqn

verilog语言写的一个四层电梯程序

A1L61 = CARRY(A1L61_cout_0);

--A1L71 is add~928COUT1_1039 at LC_X26_Y17_N0
--operation mode is arithmetic

A1L71_cout_1 = count2[16] & (!A1L05);
A1L71 = CARRY(A1L71_cout_1);


--A1L81 is add~931 at LC_X26_Y18_N1
--operation mode is arithmetic

A1L81_carry_eqn = (!A1L13 & A1L22) # (A1L13 & A1L32);
A1L81 = count2[7] $ (A1L81_carry_eqn);

--A1L91 is add~933 at LC_X26_Y18_N1
--operation mode is arithmetic

A1L91_cout_0 = !A1L22 # !count2[7];
A1L91 = CARRY(A1L91_cout_0);

--A1L02 is add~933COUT1_1032 at LC_X26_Y18_N1
--operation mode is arithmetic

A1L02_cout_1 = !A1L32 # !count2[7];
A1L02 = CARRY(A1L02_cout_1);


--A1L12 is add~936 at LC_X26_Y18_N0
--operation mode is arithmetic

A1L12_carry_eqn = A1L13;
A1L12 = count2[6] $ !A1L12_carry_eqn;

--A1L22 is add~938 at LC_X26_Y18_N0
--operation mode is arithmetic

A1L22_cout_0 = count2[6] & !A1L13;
A1L22 = CARRY(A1L22_cout_0);

--A1L32 is add~938COUT1_1031 at LC_X26_Y18_N0
--operation mode is arithmetic

A1L32_cout_1 = count2[6] & !A1L13;
A1L32 = CARRY(A1L32_cout_1);


--A1L42 is add~941 at LC_X26_Y18_N5
--operation mode is arithmetic

A1L42_carry_eqn = A1L01;
A1L42 = count2[11] $ (A1L42_carry_eqn);

--A1L52 is add~943 at LC_X26_Y18_N5
--operation mode is arithmetic

A1L52_cout_0 = !A1L01 # !count2[11];
A1L52 = CARRY(A1L52_cout_0);

--A1L62 is add~943COUT1_1035 at LC_X26_Y18_N5
--operation mode is arithmetic

A1L62_cout_1 = !A1L01 # !count2[11];
A1L62 = CARRY(A1L62_cout_1);


--A1L72 is add~946 at LC_X26_Y18_N2
--operation mode is arithmetic

A1L72_carry_eqn = (!A1L13 & A1L91) # (A1L13 & A1L02);
A1L72 = count2[8] $ (!A1L72_carry_eqn);

--A1L82 is add~948 at LC_X26_Y18_N2
--operation mode is arithmetic

A1L82_cout_0 = count2[8] & (!A1L91);
A1L82 = CARRY(A1L82_cout_0);

--A1L92 is add~948COUT1_1033 at LC_X26_Y18_N2
--operation mode is arithmetic

A1L92_cout_1 = count2[8] & (!A1L02);
A1L92 = CARRY(A1L92_cout_1);


--A1L03 is add~951 at LC_X26_Y19_N9
--operation mode is arithmetic

A1L03_carry_eqn = (!A1L54 & A1L33) # (A1L54 & A1L43);
A1L03 = count2[5] $ A1L03_carry_eqn;

--A1L13 is add~953 at LC_X26_Y19_N9
--operation mode is arithmetic

A1L13 = CARRY(!A1L43 # !count2[5]);


--A1L23 is add~956 at LC_X26_Y19_N8
--operation mode is arithmetic

A1L23_carry_eqn = (!A1L54 & A1L63) # (A1L54 & A1L73);
A1L23 = count2[4] $ !A1L23_carry_eqn;

--A1L33 is add~958 at LC_X26_Y19_N8
--operation mode is arithmetic

A1L33_cout_0 = count2[4] & !A1L63;
A1L33 = CARRY(A1L33_cout_0);

--A1L43 is add~958COUT1_1030 at LC_X26_Y19_N8
--operation mode is arithmetic

A1L43_cout_1 = count2[4] & !A1L73;
A1L43 = CARRY(A1L43_cout_1);


--A1L53 is add~961 at LC_X26_Y19_N7
--operation mode is arithmetic

A1L53_carry_eqn = (!A1L54 & A1L93) # (A1L54 & A1L04);
A1L53 = count2[3] $ (A1L53_carry_eqn);

--A1L63 is add~963 at LC_X26_Y19_N7
--operation mode is arithmetic

A1L63_cout_0 = !A1L93 # !count2[3];
A1L63 = CARRY(A1L63_cout_0);

--A1L73 is add~963COUT1_1029 at LC_X26_Y19_N7
--operation mode is arithmetic

A1L73_cout_1 = !A1L04 # !count2[3];
A1L73 = CARRY(A1L73_cout_1);


--A1L83 is add~966 at LC_X26_Y19_N6
--operation mode is arithmetic

A1L83_carry_eqn = (!A1L54 & A1L24) # (A1L54 & A1L34);
A1L83 = count2[2] $ (!A1L83_carry_eqn);

--A1L93 is add~968 at LC_X26_Y19_N6
--operation mode is arithmetic

A1L93_cout_0 = count2[2] & (!A1L24);
A1L93 = CARRY(A1L93_cout_0);

--A1L04 is add~968COUT1_1028 at LC_X26_Y19_N6
--operation mode is arithmetic

A1L04_cout_1 = count2[2] & (!A1L34);
A1L04 = CARRY(A1L04_cout_1);


--A1L14 is add~971 at LC_X26_Y19_N5
--operation mode is arithmetic

A1L14_carry_eqn = A1L54;
A1L14 = count2[1] $ A1L14_carry_eqn;

--A1L24 is add~973 at LC_X26_Y19_N5
--operation mode is arithmetic

A1L24_cout_0 = !A1L54 # !count2[1];
A1L24 = CARRY(A1L24_cout_0);

--A1L34 is add~973COUT1_1027 at LC_X26_Y19_N5
--operation mode is arithmetic

A1L34_cout_1 = !A1L54 # !count2[1];
A1L34 = CARRY(A1L34_cout_1);


--A1L44 is add~976 at LC_X26_Y19_N4
--operation mode is arithmetic

A1L44 = !count2[0];

--A1L54 is add~978 at LC_X26_Y19_N4
--operation mode is arithmetic

A1L54 = CARRY(count2[0]);


--A1L64 is add~981 at LC_X26_Y17_N1
--operation mode is arithmetic

A1L64_carry_eqn = (!A1L05 & A1L61) # (A1L05 & A1L71);
A1L64 = count2[17] $ A1L64_carry_eqn;

--A1L74 is add~983 at LC_X26_Y17_N1
--operation mode is arithmetic

A1L74_cout_0 = !A1L61 # !count2[17];
A1L74 = CARRY(A1L74_cout_0);

--A1L84 is add~983COUT1_1040 at LC_X26_Y17_N1
--operation mode is arithmetic

A1L84_cout_1 = !A1L71 # !count2[17];
A1L84 = CARRY(A1L84_cout_1);


--A1L94 is add~986 at LC_X26_Y18_N9
--operation mode is arithmetic

A1L94_carry_eqn = (!A1L01 & A1L55) # (A1L01 & A1L65);
A1L94 = count2[15] $ (A1L94_carry_eqn);

--A1L05 is add~988 at LC_X26_Y18_N9
--operation mode is arithmetic

A1L05 = CARRY(!A1L65 # !count2[15]);


--A1L15 is add~991 at LC_X26_Y18_N6
--operation mode is arithmetic

A1L15_carry_eqn = (!A1L01 & A1L52) # (A1L01 & A1L62);
A1L15 = count2[12] $ !A1L15_carry_eqn;

--A1L25 is add~993 at LC_X26_Y18_N6
--operation mode is arithmetic

A1L25_cout_0 = count2[12] & !A1L52;
A1L25 = CARRY(A1L25_cout_0);

--A1L35 is add~993COUT1_1036 at LC_X26_Y18_N6
--operation mode is arithmetic

A1L35_cout_1 = count2[12] & !A1L62;
A1L35 = CARRY(A1L35_cout_1);


--A1L45 is add~996 at LC_X26_Y18_N8
--operation mode is arithmetic

A1L45_carry_eqn = (!A1L01 & A1L85) # (A1L01 & A1L95);
A1L45 = count2[14] $ !A1L45_carry_eqn;

--A1L55 is add~998 at LC_X26_Y18_N8
--operation mode is arithmetic

A1L55_cout_0 = count2[14] & !A1L85;
A1L55 = CARRY(A1L55_cout_0);

--A1L65 is add~998COUT1_1038 at LC_X26_Y18_N8
--operation mode is arithmetic

A1L65_cout_1 = count2[14] & !A1L95;
A1L65 = CARRY(A1L65_cout_1);


--A1L75 is add~1001 at LC_X26_Y18_N7
--operation mode is arithmetic

A1L75_carry_eqn = (!A1L01 & A1L25) # (A1L01 & A1L35);
A1L75 = count2[13] $ (A1L75_carry_eqn);

--A1L85 is add~1003 at LC_X26_Y18_N7
--operation mode is arithmetic

A1L85_cout_0 = !A1L25 # !count2[13];
A1L85 = CARRY(A1L85_cout_0);

--A1L95 is add~1003COUT1_1037 at LC_X26_Y18_N7
--operation mode is arithmetic

A1L95_cout_1 = !A1L35 # !count2[13];
A1L95 = CARRY(A1L95_cout_1);


--A1L06 is add~1006 at LC_X26_Y17_N5
--operation mode is arithmetic

A1L06_carry_eqn = A1L46;
A1L06 = count2[21] $ (A1L06_carry_eqn);

--A1L16 is add~1008 at LC_X26_Y17_N5
--operation mode is arithmetic

A1L16_cout_0 = !A1L46 # !count2[21];
A1L16 = CARRY(A1L16_cout_0);

--A1L26 is add~1008COUT1_1043 at LC_X26_Y17_N5
--operation mode is arithmetic

A1L26_cout_1 = !A1L46 # !count2[21];
A1L26 = CARRY(A1L26_cout_1);


--A1L36 is add~1011 at LC_X26_Y17_N4
--operation mode is arithmetic

A1L36_carry_eqn = (!A1L05 & A1L66) # (A1L05 & A1L76);
A1L36 = count2[20] $ (!A1L36_carry_eqn);

--A1L46 is add~1013 at LC_X26_Y17_N4
--operation mode is arithmetic

A1L46 = CARRY(count2[20] & (!A1L76));


--A1L56 is add~1016 at LC_X26_Y17_N3
--operation mode is arithmetic

A1L56_carry_eqn = (!A1L05 & A1L96) # (A1L05 & A1L07);
A1L56 = count2[19] $ (A1L56_carry_eqn);

--A1L66 is add~1018 at LC_X26_Y17_N3
--operation mode is arithmetic

A1L66_cout_0 = !A1L96 # !count2[19];
A1L66 = CARRY(A1L66_cout_0);

--A1L76 is add~1018COUT1_1042 at LC_X26_Y17_N3
--operation mode is arithmetic

A1L76_cout_1 = !A1L07 # !count2[19];
A1L76 = CARRY(A1L76_cout_1);


--A1L86 is add~1021 at LC_X26_Y17_N2
--operation mode is arithmetic

A1L86_carry_eqn = (!A1L05 & A1L74) # (A1L05 & A1L84);
A1L86 = count2[18] $ (!A1L86_carry_eqn);

--A1L96 is add~1023 at LC_X26_Y17_N2
--operation mode is arithmetic

A1L96_cout_0 = count2[18] & (!A1L74);
A1L96 = CARRY(A1L96_cout_0);

--A1L07 is add~1023COUT1_1041 at LC_X26_Y17_N2
--operation mode is arithmetic

A1L07_cout_1 = count2[18] & (!A1L84);
A1L07 = CARRY(A1L07_cout_1);


--clk0 is clk0 at PIN_29
--operation mode is input

clk0 = INPUT();


--Reset is Reset at PIN_198
--operation mode is input

Reset = INPUT();


--Start is Start at PIN_200
--operation mode is input

Start = INPUT();


--overweight is overweight at PIN_194
--operation mode is input

overweight = INPUT();


--Alarm is Alarm at PIN_199
--operation mode is input

Alarm = INPUT();


--Lock is Lock at PIN_163
--operation mode is input

Lock = INPUT();


--upled is upled at PIN_201
--operation mode is input

upled = INPUT();


--downled is downled at PIN_202
--operation mode is input

downled = INPUT();


--time2 is time2 at PIN_164
--operation mode is output

time2 = OUTPUT(A1L881Q);


--time8 is time8 at PIN_197
--operation mode is output

time8 = OUTPUT(A1L091Q);


--Floor_Time is Floor_Time at PIN_196
--operation mode is output

Floor_Time = OUTPUT(A1L3Q);