num_count.map.eqn

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

-- Copyright (C) 1991-2005 Altera Corporation
-- Your use of Altera Corporation's design tools, logic functions 
-- and other software and tools, and its AMPP partner logic 
-- functions, and any output files any of the foregoing 
-- (including device programming or simulation files), and any 
-- associated documentation or information are expressly subject 
-- to the terms and conditions of the Altera Program License 
-- Subscription Agreement, Altera MegaCore Function License 
-- Agreement, or other applicable license agreement, including, 
-- without limitation, that your use is for the sole purpose of 
-- programming logic devices manufactured by Altera and sold by 
-- Altera or its authorized distributors.  Please refer to the 
-- applicable agreement for further details.
--A1L351Q is time2~reg0
--operation mode is normal

A1L351Q_lut_out = A1L351Q & (A1L731 # !A1L551Q) # !A1L631;
A1L351Q = DFFEAS(A1L351Q_lut_out, clk0, VCC, , !Reset, , , , );


--A1L551Q is time8~reg0
--operation mode is normal

A1L551Q_lut_out = Reset # A1L631 & A1L731 # !A1L631 & (A1L551Q);
A1L551Q = DFFEAS(A1L551Q_lut_out, clk0, VCC, , , , , , );


--A1L3Q is Floor_Time~reg0
--operation mode is normal

A1L3Q_lut_out = !A1L741 & !A1L051 & A1L5 & A1L151;
A1L3Q = DFFEAS(A1L3Q_lut_out, clk0, VCC, , , , , , );


--count1[0] is count1[0]
--operation mode is arithmetic

count1[0]_lut_out = !count1[0];
count1[0] = DFFEAS(count1[0]_lut_out, clk0, VCC, , A1L501, , , A1L401, );

--A1L75 is count1[0]~539
--operation mode is arithmetic

A1L75 = CARRY(count1[0]);


--count1[1] is count1[1]
--operation mode is arithmetic

count1[1]_carry_eqn = A1L75;
count1[1]_lut_out = count1[1] $ (count1[1]_carry_eqn);
count1[1] = DFFEAS(count1[1]_lut_out, clk0, VCC, , A1L501, , , A1L401, );

--A1L95 is count1[1]~543
--operation mode is arithmetic

A1L95 = CARRY(!A1L75 # !count1[1]);


--count1[2] is count1[2]
--operation mode is arithmetic

count1[2]_carry_eqn = A1L95;
count1[2]_lut_out = count1[2] $ (!count1[2]_carry_eqn);
count1[2] = DFFEAS(count1[2]_lut_out, clk0, VCC, , A1L501, , , A1L401, );

--A1L16 is count1[2]~547
--operation mode is arithmetic

A1L16 = CARRY(count1[2] & (!A1L95));


--count1[3] is count1[3]
--operation mode is arithmetic

count1[3]_carry_eqn = A1L16;
count1[3]_lut_out = count1[3] $ (count1[3]_carry_eqn);
count1[3] = DFFEAS(count1[3]_lut_out, clk0, VCC, , A1L501, , , A1L401, );

--A1L36 is count1[3]~551
--operation mode is arithmetic

A1L36 = CARRY(!A1L16 # !count1[3]);


--A1L831 is reduce_nor~347
--operation mode is normal

A1L831 = !count1[0] & !count1[1] & !count1[2] & !count1[3];


--count1[4] is count1[4]
--operation mode is arithmetic

count1[4]_carry_eqn = A1L36;
count1[4]_lut_out = count1[4] $ (!count1[4]_carry_eqn);
count1[4] = DFFEAS(count1[4]_lut_out, clk0, VCC, , A1L501, , , A1L401, );

--A1L56 is count1[4]~555
--operation mode is arithmetic

A1L56 = CARRY(count1[4] & (!A1L36));


--count1[5] is count1[5]
--operation mode is arithmetic

count1[5]_carry_eqn = A1L56;
count1[5]_lut_out = count1[5] $ (count1[5]_carry_eqn);
count1[5] = DFFEAS(count1[5]_lut_out, clk0, VCC, , A1L501, , , A1L401, );

--A1L76 is count1[5]~559
--operation mode is arithmetic

A1L76 = CARRY(!A1L56 # !count1[5]);


--count1[6] is count1[6]
--operation mode is arithmetic

count1[6]_carry_eqn = A1L76;
count1[6]_lut_out = count1[6] $ (!count1[6]_carry_eqn);
count1[6] = DFFEAS(count1[6]_lut_out, clk0, VCC, , A1L501, , , A1L401, );

--A1L96 is count1[6]~563
--operation mode is arithmetic

A1L96 = CARRY(count1[6] & (!A1L76));


--count1[7] is count1[7]
--operation mode is arithmetic

count1[7]_carry_eqn = A1L96;
count1[7]_lut_out = count1[7] $ (count1[7]_carry_eqn);
count1[7] = DFFEAS(count1[7]_lut_out, clk0, VCC, , A1L501, , , A1L401, );

--A1L17 is count1[7]~567
--operation mode is arithmetic

A1L17 = CARRY(!A1L96 # !count1[7]);


--A1L931 is reduce_nor~348
--operation mode is normal

A1L931 = !count1[4] & !count1[5] & !count1[6] & !count1[7];


--count1[9] is count1[9]
--operation mode is arithmetic

count1[9]_carry_eqn = A1L37;
count1[9]_lut_out = count1[9] $ (count1[9]_carry_eqn);
count1[9] = DFFEAS(count1[9]_lut_out, clk0, VCC, , A1L501, , , A1L401, );

--A1L57 is count1[9]~571
--operation mode is arithmetic

A1L57 = CARRY(!A1L37 # !count1[9]);


--count1[12] is count1[12]
--operation mode is arithmetic

count1[12]_carry_eqn = A1L97;
count1[12]_lut_out = count1[12] $ (!count1[12]_carry_eqn);
count1[12] = DFFEAS(count1[12]_lut_out, clk0, VCC, , A1L501, , , A1L401, );

--A1L18 is count1[12]~575
--operation mode is arithmetic

A1L18 = CARRY(count1[12] & (!A1L97));


--count1[14] is count1[14]
--operation mode is arithmetic

count1[14]_carry_eqn = A1L38;
count1[14]_lut_out = count1[14] $ (!count1[14]_carry_eqn);
count1[14] = DFFEAS(count1[14]_lut_out, clk0, VCC, , A1L501, , , A1L401, );

--A1L58 is count1[14]~579
--operation mode is arithmetic

A1L58 = CARRY(count1[14] & (!A1L38));


--count1[15] is count1[15]
--operation mode is arithmetic

count1[15]_carry_eqn = A1L58;
count1[15]_lut_out = count1[15] $ (count1[15]_carry_eqn);
count1[15] = DFFEAS(count1[15]_lut_out, clk0, VCC, , A1L501, , , A1L401, );

--A1L78 is count1[15]~583
--operation mode is arithmetic

A1L78 = CARRY(!A1L58 # !count1[15]);


--A1L041 is reduce_nor~349
--operation mode is normal

A1L041 = !count1[9] & !count1[12] & !count1[14] & !count1[15];


--count1[18] is count1[18]
--operation mode is arithmetic

count1[18]_carry_eqn = A1L19;
count1[18]_lut_out = count1[18] $ (!count1[18]_carry_eqn);
count1[18] = DFFEAS(count1[18]_lut_out, clk0, VCC, , A1L501, , , A1L401, );

--A1L39 is count1[18]~587
--operation mode is arithmetic

A1L39 = CARRY(count1[18] & (!A1L19));


--count1[20] is count1[20]
--operation mode is arithmetic

count1[20]_carry_eqn = A1L59;
count1[20]_lut_out = count1[20] $ (!count1[20]_carry_eqn);
count1[20] = DFFEAS(count1[20]_lut_out, clk0, VCC, , A1L501, , , A1L401, );

--A1L79 is count1[20]~591
--operation mode is arithmetic

A1L79 = CARRY(count1[20] & (!A1L59));


--count1[21] is count1[21]
--operation mode is arithmetic

count1[21]_carry_eqn = A1L79;
count1[21]_lut_out = count1[21] $ (count1[21]_carry_eqn);
count1[21] = DFFEAS(count1[21]_lut_out, clk0, VCC, , A1L501, , , A1L401, );

--A1L99 is count1[21]~595
--operation mode is arithmetic

A1L99 = CARRY(!A1L79 # !count1[21]);


--count1[17] is count1[17]
--operation mode is arithmetic

count1[17]_carry_eqn = A1L98;
count1[17]_lut_out = count1[17] $ (count1[17]_carry_eqn);
count1[17] = DFFEAS(count1[17]_lut_out, clk0, VCC, , A1L501, , , A1L401, );

--A1L19 is count1[17]~599
--operation mode is arithmetic

A1L19 = CARRY(!A1L98 # !count1[17]);


--A1L141 is reduce_nor~350
--operation mode is normal

A1L141 = count1[18] & count1[20] & count1[21] & !count1[17];


--A1L241 is reduce_nor~351
--operation mode is normal

A1L241 = A1L831 & A1L931 & A1L041 & A1L141;


--count1[10] is count1[10]
--operation mode is arithmetic

count1[10]_carry_eqn = A1L57;
count1[10]_lut_out = count1[10] $ (!count1[10]_carry_eqn);
count1[10] = DFFEAS(count1[10]_lut_out, clk0, VCC, , A1L501, , , A1L401, );

--A1L77 is count1[10]~603
--operation mode is arithmetic

A1L77 = CARRY(count1[10] & (!A1L57));


--count1[13] is count1[13]
--operation mode is arithmetic

count1[13]_carry_eqn = A1L18;
count1[13]_lut_out = count1[13] $ (count1[13]_carry_eqn);
count1[13] = DFFEAS(count1[13]_lut_out, clk0, VCC, , A1L501, , , A1L401, );

--A1L38 is count1[13]~607
--operation mode is arithmetic

A1L38 = CARRY(!A1L18 # !count1[13]);


--count1[8] is count1[8]
--operation mode is arithmetic

count1[8]_carry_eqn = A1L17;
count1[8]_lut_out = count1[8] $ (!count1[8]_carry_eqn);
count1[8] = DFFEAS(count1[8]_lut_out, clk0, VCC, , A1L501, , , A1L401, );

--A1L37 is count1[8]~611
--operation mode is arithmetic

A1L37 = CARRY(count1[8] & (!A1L17));


--count1[11] is count1[11]
--operation mode is arithmetic

count1[11]_carry_eqn = A1L77;
count1[11]_lut_out = count1[11] $ (count1[11]_carry_eqn);
count1[11] = DFFEAS(count1[11]_lut_out, clk0, VCC, , A1L501, , , A1L401, );

--A1L97 is count1[11]~615
--operation mode is arithmetic

A1L97 = CARRY(!A1L77 # !count1[11]);


--A1L341 is reduce_nor~352
--operation mode is normal

A1L341 = count1[10] & count1[13] & !count1[8] & !count1[11];


--count1[22] is count1[22]
--operation mode is arithmetic

count1[22]_carry_eqn = A1L99;
count1[22]_lut_out = count1[22] $ (!count1[22]_carry_eqn);
count1[22] = DFFEAS(count1[22]_lut_out, clk0, VCC, , A1L501, , , A1L401, );

--A1L101 is count1[22]~619
--operation mode is arithmetic

A1L101 = CARRY(count1[22] & (!A1L99));


--count1[23] is count1[23]
--operation mode is normal

count1[23]_carry_eqn = A1L101;
count1[23]_lut_out = count1[23] $ (count1[23]_carry_eqn);
count1[23] = DFFEAS(count1[23]_lut_out, clk0, VCC, , A1L501, , , A1L401, );


--count1[16] is count1[16]
--operation mode is arithmetic

count1[16]_carry_eqn = A1L78;
count1[16]_lut_out = count1[16] $ (!count1[16]_carry_eqn);
count1[16] = DFFEAS(count1[16]_lut_out, clk0, VCC, , A1L501, , , A1L401, );

--A1L98 is count1[16]~627
--operation mode is arithmetic

A1L98 = CARRY(count1[16] & (!A1L78));


--count1[19] is count1[19]
--operation mode is arithmetic

count1[19]_carry_eqn = A1L39;
count1[19]_lut_out = count1[19] $ (count1[19]_carry_eqn);
count1[19] = DFFEAS(count1[19]_lut_out, clk0, VCC, , A1L501, , , A1L401, );

--A1L59 is count1[19]~631
--operation mode is arithmetic

A1L59 = CARRY(!A1L39 # !count1[19]);


--A1L441 is reduce_nor~353
--operation mode is normal

A1L441 = count1[22] & count1[23] & !count1[16] & !count1[19];


--A1L731 is reduce_nor~1
--operation mode is normal

A1L731 = A1L241 & A1L341 & A1L441;


--A1L541 is reduce_nor~354
--operation mode is normal

A1L541 = count1[10] # count1[13] # !count1[11] # !count1[8];


--A1L641 is reduce_nor~355
--operation mode is normal

A1L641 = count1[22] # count1[23] # !count1[19] # !count1[16];


--A1L631 is reduce_nor~0
--operation mode is normal

A1L631 = A1L541 # A1L641 # !A1L241;


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

count2[10]_lut_out = A1L9 & A1L221;
count2[10] = DFFEAS(count2[10]_lut_out, clk0, VCC, , A1L501, , , , );


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

count2[9]_lut_out = A1L11 & A1L221;
count2[9] = DFFEAS(count2[9]_lut_out, clk0, VCC, , A1L501, , , , );


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

count2[22]_lut_out = A1L31 & (A1L221 # count2[22] & !A1L501) # !A1L31 & count2[22] & !A1L501;
count2[22] = DFFEAS(count2[22]_lut_out, clk0, VCC, , , , , , );


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

count2[16]_lut_out = A1L41 & A1L221;
count2[16] = DFFEAS(count2[16]_lut_out, clk0, VCC, , A1L501, , , , );


--A1L741 is reduce_nor~356
--operation mode is normal

A1L741 = count2[10] # count2[9] # count2[22] # !count2[16];


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

count2[7]_lut_out = A1L61 & A1L221;
count2[7] = DFFEAS(count2[7]_lut_out, clk0, VCC, , A1L501, , , , );


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

count2[6]_lut_out = A1L81 & A1L221;
count2[6] = DFFEAS(count2[6]_lut_out, clk0, VCC, , A1L501, , , , );


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

count2[11]_lut_out = A1L02 & A1L221;
count2[11] = DFFEAS(count2[11]_lut_out, clk0, VCC, , A1L501, , , , );


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

count2[8]_lut_out = A1L22 & A1L221;
count2[8] = DFFEAS(count2[8]_lut_out, clk0, VCC, , A1L501, , , , );


--A1L841 is reduce_nor~357
--operation mode is normal

A1L841 = count2[7] # count2[6] # !count2[8] # !count2[11];


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

count2[5]_lut_out = A1L42 & A1L221;
count2[5] = DFFEAS(count2[5]_lut_out, clk0, VCC, , A1L501, , , , );


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

count2[4]_lut_out = A1L62 & A1L221;
count2[4] = DFFEAS(count2[4]_lut_out, clk0, VCC, , A1L501, , , , );


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

count2[3]_lut_out = A1L82 & A1L221;
count2[3] = DFFEAS(count2[3]_lut_out, clk0, VCC, , A1L501, , , , );