num_count.fit.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.
--A1L881Q is time2~reg0 at LC_X26_Y15_N3
--operation mode is normal

A1L881Q_lut_out = A1L881Q & (A1L271 # !A1L091Q) # !A1L171;
A1L881Q = DFFEAS(A1L881Q_lut_out, GLOBAL(clk0), VCC, , !Reset, , , , );


--A1L091Q is time8~reg0 at LC_X26_Y15_N6
--operation mode is normal

A1L091Q_lut_out = Reset # A1L171 & A1L271 # !A1L171 & (A1L091Q);
A1L091Q = DFFEAS(A1L091Q_lut_out, GLOBAL(clk0), VCC, , , , , , );


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

A1L3Q_lut_out = A1L5 & !A1L581 & A1L681 & !A1L281;
A1L3Q = DFFEAS(A1L3Q_lut_out, GLOBAL(clk0), VCC, , , , , , );


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

count1[0]_lut_out = !count1[0];
count1[0] = DFFEAS(count1[0]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , A1L931, );

--A1L47 is count1[0]~539 at LC_X25_Y17_N3
--operation mode is arithmetic

A1L47_cout_0 = count1[0];
A1L47 = CARRY(A1L47_cout_0);

--A1L57 is count1[0]~539COUT1_638 at LC_X25_Y17_N3
--operation mode is arithmetic

A1L57_cout_1 = count1[0];
A1L57 = CARRY(A1L57_cout_1);


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

count1[1]_lut_out = count1[1] $ A1L47;
count1[1] = DFFEAS(count1[1]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , A1L931, );

--A1L77 is count1[1]~543 at LC_X25_Y17_N4
--operation mode is arithmetic

A1L77 = CARRY(!A1L57 # !count1[1]);


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

count1[2]_carry_eqn = A1L77;
count1[2]_lut_out = count1[2] $ !count1[2]_carry_eqn;
count1[2] = DFFEAS(count1[2]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , A1L931, );

--A1L97 is count1[2]~547 at LC_X25_Y17_N5
--operation mode is arithmetic

A1L97_cout_0 = count1[2] & !A1L77;
A1L97 = CARRY(A1L97_cout_0);

--A1L08 is count1[2]~547COUT1_639 at LC_X25_Y17_N5
--operation mode is arithmetic

A1L08_cout_1 = count1[2] & !A1L77;
A1L08 = CARRY(A1L08_cout_1);


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

count1[3]_carry_eqn = (!A1L77 & A1L97) # (A1L77 & A1L08);
count1[3]_lut_out = count1[3] $ (count1[3]_carry_eqn);
count1[3] = DFFEAS(count1[3]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , A1L931, );

--A1L28 is count1[3]~551 at LC_X25_Y17_N6
--operation mode is arithmetic

A1L28_cout_0 = !A1L97 # !count1[3];
A1L28 = CARRY(A1L28_cout_0);

--A1L38 is count1[3]~551COUT1_640 at LC_X25_Y17_N6
--operation mode is arithmetic

A1L38_cout_1 = !A1L08 # !count1[3];
A1L38 = CARRY(A1L38_cout_1);


--A1L371 is reduce_nor~347 at LC_X25_Y17_N0
--operation mode is normal

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


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

count1[4]_carry_eqn = (!A1L77 & A1L28) # (A1L77 & A1L38);
count1[4]_lut_out = count1[4] $ (!count1[4]_carry_eqn);
count1[4] = DFFEAS(count1[4]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , A1L931, );

--A1L58 is count1[4]~555 at LC_X25_Y17_N7
--operation mode is arithmetic

A1L58_cout_0 = count1[4] & (!A1L28);
A1L58 = CARRY(A1L58_cout_0);

--A1L68 is count1[4]~555COUT1_641 at LC_X25_Y17_N7
--operation mode is arithmetic

A1L68_cout_1 = count1[4] & (!A1L38);
A1L68 = CARRY(A1L68_cout_1);


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

count1[5]_carry_eqn = (!A1L77 & A1L58) # (A1L77 & A1L68);
count1[5]_lut_out = count1[5] $ count1[5]_carry_eqn;
count1[5] = DFFEAS(count1[5]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , A1L931, );

--A1L88 is count1[5]~559 at LC_X25_Y17_N8
--operation mode is arithmetic

A1L88_cout_0 = !A1L58 # !count1[5];
A1L88 = CARRY(A1L88_cout_0);

--A1L98 is count1[5]~559COUT1_642 at LC_X25_Y17_N8
--operation mode is arithmetic

A1L98_cout_1 = !A1L68 # !count1[5];
A1L98 = CARRY(A1L98_cout_1);


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

count1[6]_carry_eqn = (!A1L77 & A1L88) # (A1L77 & A1L98);
count1[6]_lut_out = count1[6] $ (!count1[6]_carry_eqn);
count1[6] = DFFEAS(count1[6]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , A1L931, );

--A1L19 is count1[6]~563 at LC_X25_Y17_N9
--operation mode is arithmetic

A1L19 = CARRY(count1[6] & (!A1L98));


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

count1[7]_carry_eqn = A1L19;
count1[7]_lut_out = count1[7] $ count1[7]_carry_eqn;
count1[7] = DFFEAS(count1[7]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , A1L931, );

--A1L39 is count1[7]~567 at LC_X25_Y16_N0
--operation mode is arithmetic

A1L39_cout_0 = !A1L19 # !count1[7];
A1L39 = CARRY(A1L39_cout_0);

--A1L49 is count1[7]~567COUT1_643 at LC_X25_Y16_N0
--operation mode is arithmetic

A1L49_cout_1 = !A1L19 # !count1[7];
A1L49 = CARRY(A1L49_cout_1);


--A1L471 is reduce_nor~348 at LC_X24_Y17_N2
--operation mode is normal

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


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

count1[9]_carry_eqn = (!A1L19 & A1L69) # (A1L19 & A1L79);
count1[9]_lut_out = count1[9] $ (count1[9]_carry_eqn);
count1[9] = DFFEAS(count1[9]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , A1L931, );

--A1L99 is count1[9]~571 at LC_X25_Y16_N2
--operation mode is arithmetic

A1L99_cout_0 = !A1L69 # !count1[9];
A1L99 = CARRY(A1L99_cout_0);

--A1L001 is count1[9]~571COUT1_645 at LC_X25_Y16_N2
--operation mode is arithmetic

A1L001_cout_1 = !A1L79 # !count1[9];
A1L001 = CARRY(A1L001_cout_1);


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

count1[12]_carry_eqn = A1L501;
count1[12]_lut_out = count1[12] $ !count1[12]_carry_eqn;
count1[12] = DFFEAS(count1[12]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , A1L931, );

--A1L701 is count1[12]~575 at LC_X25_Y16_N5
--operation mode is arithmetic

A1L701_cout_0 = count1[12] & !A1L501;
A1L701 = CARRY(A1L701_cout_0);

--A1L801 is count1[12]~575COUT1_647 at LC_X25_Y16_N5
--operation mode is arithmetic

A1L801_cout_1 = count1[12] & !A1L501;
A1L801 = CARRY(A1L801_cout_1);


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

count1[14]_carry_eqn = (!A1L501 & A1L011) # (A1L501 & A1L111);
count1[14]_lut_out = count1[14] $ (!count1[14]_carry_eqn);
count1[14] = DFFEAS(count1[14]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , A1L931, );

--A1L311 is count1[14]~579 at LC_X25_Y16_N7
--operation mode is arithmetic

A1L311_cout_0 = count1[14] & (!A1L011);
A1L311 = CARRY(A1L311_cout_0);

--A1L411 is count1[14]~579COUT1_649 at LC_X25_Y16_N7
--operation mode is arithmetic

A1L411_cout_1 = count1[14] & (!A1L111);
A1L411 = CARRY(A1L411_cout_1);


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

count1[15]_carry_eqn = (!A1L501 & A1L311) # (A1L501 & A1L411);
count1[15]_lut_out = count1[15] $ count1[15]_carry_eqn;
count1[15] = DFFEAS(count1[15]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , A1L931, );

--A1L611 is count1[15]~583 at LC_X25_Y16_N8
--operation mode is arithmetic

A1L611_cout_0 = !A1L311 # !count1[15];
A1L611 = CARRY(A1L611_cout_0);

--A1L711 is count1[15]~583COUT1_650 at LC_X25_Y16_N8
--operation mode is arithmetic

A1L711_cout_1 = !A1L411 # !count1[15];
A1L711 = CARRY(A1L711_cout_1);


--A1L571 is reduce_nor~349 at LC_X24_Y16_N2
--operation mode is normal

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


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

count1[18]_carry_eqn = (!A1L911 & A1L121) # (A1L911 & A1L221);
count1[18]_lut_out = count1[18] $ (!count1[18]_carry_eqn);
count1[18] = DFFEAS(count1[18]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , A1L931, );

--A1L421 is count1[18]~587 at LC_X25_Y15_N1
--operation mode is arithmetic

A1L421_cout_0 = count1[18] & (!A1L121);
A1L421 = CARRY(A1L421_cout_0);

--A1L521 is count1[18]~587COUT1_652 at LC_X25_Y15_N1
--operation mode is arithmetic

A1L521_cout_1 = count1[18] & (!A1L221);
A1L521 = CARRY(A1L521_cout_1);


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

count1[20]_carry_eqn = (!A1L911 & A1L721) # (A1L911 & A1L821);
count1[20]_lut_out = count1[20] $ !count1[20]_carry_eqn;
count1[20] = DFFEAS(count1[20]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , A1L931, );

--A1L031 is count1[20]~591 at LC_X25_Y15_N3
--operation mode is arithmetic

A1L031_cout_0 = count1[20] & !A1L721;
A1L031 = CARRY(A1L031_cout_0);

--A1L131 is count1[20]~591COUT1_654 at LC_X25_Y15_N3
--operation mode is arithmetic

A1L131_cout_1 = count1[20] & !A1L821;
A1L131 = CARRY(A1L131_cout_1);


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

count1[21]_carry_eqn = (!A1L911 & A1L031) # (A1L911 & A1L131);
count1[21]_lut_out = count1[21] $ count1[21]_carry_eqn;
count1[21] = DFFEAS(count1[21]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , A1L931, );

--A1L331 is count1[21]~595 at LC_X25_Y15_N4
--operation mode is arithmetic

A1L331 = CARRY(!A1L131 # !count1[21]);


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

count1[17]_carry_eqn = A1L911;
count1[17]_lut_out = count1[17] $ count1[17]_carry_eqn;
count1[17] = DFFEAS(count1[17]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , A1L931, );

--A1L121 is count1[17]~599 at LC_X25_Y15_N0
--operation mode is arithmetic

A1L121_cout_0 = !A1L911 # !count1[17];
A1L121 = CARRY(A1L121_cout_0);

--A1L221 is count1[17]~599COUT1_651 at LC_X25_Y15_N0
--operation mode is arithmetic

A1L221_cout_1 = !A1L911 # !count1[17];
A1L221 = CARRY(A1L221_cout_1);


--A1L671 is reduce_nor~350 at LC_X25_Y15_N9
--operation mode is normal

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


--A1L771 is reduce_nor~351 at LC_X25_Y17_N2
--operation mode is normal

A1L771 = A1L671 & A1L471 & A1L571 & A1L371;


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

count1[10]_carry_eqn = (!A1L19 & A1L99) # (A1L19 & A1L001);
count1[10]_lut_out = count1[10] $ !count1[10]_carry_eqn;
count1[10] = DFFEAS(count1[10]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , A1L931, );

--A1L201 is count1[10]~603 at LC_X25_Y16_N3
--operation mode is arithmetic

A1L201_cout_0 = count1[10] & !A1L99;
A1L201 = CARRY(A1L201_cout_0);

--A1L301 is count1[10]~603COUT1_646 at LC_X25_Y16_N3
--operation mode is arithmetic

A1L301_cout_1 = count1[10] & !A1L001;
A1L301 = CARRY(A1L301_cout_1);


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

count1[13]_carry_eqn = (!A1L501 & A1L701) # (A1L501 & A1L801);
count1[13]_lut_out = count1[13] $ (count1[13]_carry_eqn);
count1[13] = DFFEAS(count1[13]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , A1L931, );

--A1L011 is count1[13]~607 at LC_X25_Y16_N6
--operation mode is arithmetic

A1L011_cout_0 = !A1L701 # !count1[13];
A1L011 = CARRY(A1L011_cout_0);

--A1L111 is count1[13]~607COUT1_648 at LC_X25_Y16_N6
--operation mode is arithmetic

A1L111_cout_1 = !A1L801 # !count1[13];
A1L111 = CARRY(A1L111_cout_1);


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

count1[8]_carry_eqn = (!A1L19 & A1L39) # (A1L19 & A1L49);
count1[8]_lut_out = count1[8] $ (!count1[8]_carry_eqn);
count1[8] = DFFEAS(count1[8]_lut_out, GLOBAL(clk0), VCC, , A1L041, , , A1L931, );

--A1L69 is count1[8]~611 at LC_X25_Y16_N1
--operation mode is arithmetic

A1L69_cout_0 = count1[8] & (!A1L39);