num_count.map.eqn

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

--count2[2] is count2[2]
--operation mode is normal

count2[2]_lut_out = A1L03 & A1L221;
count2[2] = DFFEAS(count2[2]_lut_out, clk0, VCC, , A1L501, , , , );


--A1L941 is reduce_nor~358
--operation mode is normal

A1L941 = count2[5] # count2[4] # count2[3] # count2[2];


--count2[1] is count2[1]
--operation mode is normal

count2[1]_lut_out = A1L23 & A1L221;
count2[1] = DFFEAS(count2[1]_lut_out, clk0, VCC, , A1L501, , , , );


--count2[0] is count2[0]
--operation mode is normal

count2[0]_lut_out = A1L43 & A1L221;
count2[0] = DFFEAS(count2[0]_lut_out, clk0, VCC, , A1L501, , , , );


--A1L051 is reduce_nor~359
--operation mode is normal

A1L051 = A1L841 # A1L941 # count2[1] # count2[0];


--count2[17] is count2[17]
--operation mode is normal

count2[17]_lut_out = A1L63 & A1L221;
count2[17] = DFFEAS(count2[17]_lut_out, clk0, VCC, , A1L501, , , , );


--count2[15] is count2[15]
--operation mode is normal

count2[15]_lut_out = A1L83 & A1L221;
count2[15] = DFFEAS(count2[15]_lut_out, clk0, VCC, , A1L501, , , , );


--A1L4 is LessThan~298
--operation mode is normal

A1L4 = !count2[17] & !count2[15];


--count2[12] is count2[12]
--operation mode is normal

count2[12]_lut_out = A1L04 & A1L221;
count2[12] = DFFEAS(count2[12]_lut_out, clk0, VCC, , A1L501, , , , );


--count2[14] is count2[14]
--operation mode is normal

count2[14]_lut_out = A1L24 & A1L221;
count2[14] = DFFEAS(count2[14]_lut_out, clk0, VCC, , A1L501, , , , );


--count2[13] is count2[13]
--operation mode is normal

count2[13]_lut_out = A1L44 & A1L221;
count2[13] = DFFEAS(count2[13]_lut_out, clk0, VCC, , A1L501, , , , );


--A1L5 is LessThan~299
--operation mode is normal

A1L5 = A1L4 & !count2[12] & !count2[14] & !count2[13];


--count2[21] is count2[21]
--operation mode is normal

count2[21]_lut_out = A1L64 & A1L221;
count2[21] = DFFEAS(count2[21]_lut_out, clk0, VCC, , A1L501, , , , );


--count2[20] is count2[20]
--operation mode is normal

count2[20]_lut_out = A1L84 & A1L221;
count2[20] = DFFEAS(count2[20]_lut_out, clk0, VCC, , A1L501, , , , );


--count2[19] is count2[19]
--operation mode is normal

count2[19]_lut_out = A1L05 & A1L221;
count2[19] = DFFEAS(count2[19]_lut_out, clk0, VCC, , A1L501, , , , );


--count2[18] is count2[18]
--operation mode is normal

count2[18]_lut_out = A1L25 & A1L221;
count2[18] = DFFEAS(count2[18]_lut_out, clk0, VCC, , A1L501, , , , );


--A1L151 is reduce_nor~360
--operation mode is normal

A1L151 = count2[21] & count2[20] & count2[19] & count2[18];


--A1L301 is count1[23]~634
--operation mode is normal

A1L301 = !Reset & !overweight & !Alarm & !Lock;


--A1L401 is count1[23]~635
--operation mode is normal

A1L401 = !A1L301 # !Start;


--A1L501 is count1[23]~636
--operation mode is normal

A1L501 = Reset # !overweight & !Alarm & !Lock;


--A1L9 is add~911
--operation mode is arithmetic

A1L9_carry_eqn = A1L21;
A1L9 = count2[10] $ (!A1L9_carry_eqn);

--A1L01 is add~913
--operation mode is arithmetic

A1L01 = CARRY(count2[10] & (!A1L21));


--A1L911 is count2[11]~1923
--operation mode is normal

A1L911 = A1L301 & !count2[22] & (upled # downled);


--A1L021 is count2[11]~1924
--operation mode is normal

A1L021 = count2[10] # count2[9] # count2[8];


--A1L121 is count2[11]~1925
--operation mode is normal

A1L121 = A1L151 & (count2[11] & A1L021 # !A1L5);


--A1L221 is count2[11]~1926
--operation mode is normal

A1L221 = A1L911 & (!count2[17] & !count2[16] # !A1L121);


--A1L11 is add~916
--operation mode is arithmetic

A1L11_carry_eqn = A1L32;
A1L11 = count2[9] $ (A1L11_carry_eqn);

--A1L21 is add~918
--operation mode is arithmetic

A1L21 = CARRY(!A1L32 # !count2[9]);


--A1L31 is add~921
--operation mode is normal

A1L31_carry_eqn = A1L74;
A1L31 = count2[22] $ (!A1L31_carry_eqn);


--A1L41 is add~926
--operation mode is arithmetic

A1L41_carry_eqn = A1L93;
A1L41 = count2[16] $ (!A1L41_carry_eqn);

--A1L51 is add~928
--operation mode is arithmetic

A1L51 = CARRY(count2[16] & (!A1L93));


--A1L61 is add~931
--operation mode is arithmetic

A1L61_carry_eqn = A1L91;
A1L61 = count2[7] $ (A1L61_carry_eqn);

--A1L71 is add~933
--operation mode is arithmetic

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


--A1L81 is add~936
--operation mode is arithmetic

A1L81_carry_eqn = A1L52;
A1L81 = count2[6] $ (!A1L81_carry_eqn);

--A1L91 is add~938
--operation mode is arithmetic

A1L91 = CARRY(count2[6] & (!A1L52));


--A1L02 is add~941
--operation mode is arithmetic

A1L02_carry_eqn = A1L01;
A1L02 = count2[11] $ (A1L02_carry_eqn);

--A1L12 is add~943
--operation mode is arithmetic

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


--A1L22 is add~946
--operation mode is arithmetic

A1L22_carry_eqn = A1L71;
A1L22 = count2[8] $ (!A1L22_carry_eqn);

--A1L32 is add~948
--operation mode is arithmetic

A1L32 = CARRY(count2[8] & (!A1L71));


--A1L42 is add~951
--operation mode is arithmetic

A1L42_carry_eqn = A1L72;
A1L42 = count2[5] $ (A1L42_carry_eqn);

--A1L52 is add~953
--operation mode is arithmetic

A1L52 = CARRY(!A1L72 # !count2[5]);


--A1L62 is add~956
--operation mode is arithmetic

A1L62_carry_eqn = A1L92;
A1L62 = count2[4] $ (!A1L62_carry_eqn);

--A1L72 is add~958
--operation mode is arithmetic

A1L72 = CARRY(count2[4] & (!A1L92));


--A1L82 is add~961
--operation mode is arithmetic

A1L82_carry_eqn = A1L13;
A1L82 = count2[3] $ (A1L82_carry_eqn);

--A1L92 is add~963
--operation mode is arithmetic

A1L92 = CARRY(!A1L13 # !count2[3]);


--A1L03 is add~966
--operation mode is arithmetic

A1L03_carry_eqn = A1L33;
A1L03 = count2[2] $ (!A1L03_carry_eqn);

--A1L13 is add~968
--operation mode is arithmetic

A1L13 = CARRY(count2[2] & (!A1L33));


--A1L23 is add~971
--operation mode is arithmetic

A1L23_carry_eqn = A1L53;
A1L23 = count2[1] $ (A1L23_carry_eqn);

--A1L33 is add~973
--operation mode is arithmetic

A1L33 = CARRY(!A1L53 # !count2[1]);


--A1L43 is add~976
--operation mode is arithmetic

A1L43 = !count2[0];

--A1L53 is add~978
--operation mode is arithmetic

A1L53 = CARRY(count2[0]);


--A1L63 is add~981
--operation mode is arithmetic

A1L63_carry_eqn = A1L51;
A1L63 = count2[17] $ (A1L63_carry_eqn);

--A1L73 is add~983
--operation mode is arithmetic

A1L73 = CARRY(!A1L51 # !count2[17]);


--A1L83 is add~986
--operation mode is arithmetic

A1L83_carry_eqn = A1L34;
A1L83 = count2[15] $ (A1L83_carry_eqn);

--A1L93 is add~988
--operation mode is arithmetic

A1L93 = CARRY(!A1L34 # !count2[15]);


--A1L04 is add~991
--operation mode is arithmetic

A1L04_carry_eqn = A1L12;
A1L04 = count2[12] $ (!A1L04_carry_eqn);

--A1L14 is add~993
--operation mode is arithmetic

A1L14 = CARRY(count2[12] & (!A1L12));


--A1L24 is add~996
--operation mode is arithmetic

A1L24_carry_eqn = A1L54;
A1L24 = count2[14] $ (!A1L24_carry_eqn);

--A1L34 is add~998
--operation mode is arithmetic

A1L34 = CARRY(count2[14] & (!A1L54));


--A1L44 is add~1001
--operation mode is arithmetic

A1L44_carry_eqn = A1L14;
A1L44 = count2[13] $ (A1L44_carry_eqn);

--A1L54 is add~1003
--operation mode is arithmetic

A1L54 = CARRY(!A1L14 # !count2[13]);


--A1L64 is add~1006
--operation mode is arithmetic

A1L64_carry_eqn = A1L94;
A1L64 = count2[21] $ (A1L64_carry_eqn);

--A1L74 is add~1008
--operation mode is arithmetic

A1L74 = CARRY(!A1L94 # !count2[21]);


--A1L84 is add~1011
--operation mode is arithmetic

A1L84_carry_eqn = A1L15;
A1L84 = count2[20] $ (!A1L84_carry_eqn);

--A1L94 is add~1013
--operation mode is arithmetic

A1L94 = CARRY(count2[20] & (!A1L15));


--A1L05 is add~1016
--operation mode is arithmetic

A1L05_carry_eqn = A1L35;
A1L05 = count2[19] $ (A1L05_carry_eqn);

--A1L15 is add~1018
--operation mode is arithmetic

A1L15 = CARRY(!A1L35 # !count2[19]);


--A1L25 is add~1021
--operation mode is arithmetic

A1L25_carry_eqn = A1L73;
A1L25 = count2[18] $ (!A1L25_carry_eqn);

--A1L35 is add~1023
--operation mode is arithmetic

A1L35 = CARRY(count2[18] & (!A1L73));


--clk0 is clk0
--operation mode is input

clk0 = INPUT();


--Reset is Reset
--operation mode is input

Reset = INPUT();


--Start is Start
--operation mode is input

Start = INPUT();


--overweight is overweight
--operation mode is input

overweight = INPUT();


--Alarm is Alarm
--operation mode is input

Alarm = INPUT();


--Lock is Lock
--operation mode is input

Lock = INPUT();


--upled is upled
--operation mode is input

upled = INPUT();


--downled is downled
--operation mode is input

downled = INPUT();


--time2 is time2
--operation mode is output

time2 = OUTPUT(A1L351Q);


--time8 is time8
--operation mode is output

time8 = OUTPUT(A1L551Q);


--Floor_Time is Floor_Time
--operation mode is output

Floor_Time = OUTPUT(A1L3Q);