shopping.fit.eqn

利用vhdl编写的商店的模型程序

--A1L78 is Mux~90 at LC_X7_Y15_N4
--operation mode is normal

A1L78 = item[0] & (item[1] # ram[1][3]) # !item[0] & !item[1] & ram[0][3];


--ram[3][3] is ram[3][3] at LC_X8_Y13_N8
--operation mode is normal

ram[3][3]_lut_out = !A1L32;
ram[3][3] = DFFEA(ram[3][3]_lut_out, GLOBAL(clk), VCC, , A1L741, A1L551, GLOBAL(set));


--A1L88 is Mux~91 at LC_X7_Y15_N5
--operation mode is normal

A1L88 = A1L78 & (ram[3][3] # !item[1]) # !A1L78 & item[1] & ram[2][3];


--A1L501 is quan[3]~248 at LC_X8_Y15_N9
--operation mode is normal

A1L501 = A1L711 & !set & (A1L02 # A1L91);


--ram[1][2] is ram[1][2] at LC_X9_Y12_N8
--operation mode is normal

ram[1][2]_lut_out = !A1L22;
ram[1][2] = DFFEA(ram[1][2]_lut_out, GLOBAL(clk), VCC, , A1L721, A1L651, GLOBAL(set));


--ram[2][2] is ram[2][2] at LC_X5_Y14_N5
--operation mode is normal

ram[2][2]_lut_out = !A1L22;
ram[2][2] = DFFEA(ram[2][2]_lut_out, GLOBAL(clk), VCC, , A1L731, A1L751, GLOBAL(set));


--ram[0][2] is ram[0][2] at LC_X7_Y14_N4
--operation mode is normal

ram[0][2]_lut_out = !A1L22;
ram[0][2] = DFFEA(ram[0][2]_lut_out, GLOBAL(clk), VCC, , A1L611, A1L851, GLOBAL(set));


--A1L58 is Mux~88 at LC_X7_Y13_N8
--operation mode is normal

A1L58 = item[1] & (item[0] # ram[2][2]) # !item[1] & ram[0][2] & !item[0];


--ram[3][2] is ram[3][2] at LC_X8_Y13_N5
--operation mode is normal

ram[3][2]_lut_out = !A1L22;
ram[3][2] = DFFEA(ram[3][2]_lut_out, GLOBAL(clk), VCC, , A1L741, A1L951, GLOBAL(set));


--A1L68 is Mux~89 at LC_X7_Y13_N9
--operation mode is normal

A1L68 = A1L58 & (ram[3][2] # !item[0]) # !A1L58 & ram[1][2] & item[0];


--ram[2][0] is ram[2][0] at LC_X5_Y14_N8
--operation mode is normal

ram[2][0]_lut_out = !C1_safe_q[0];
ram[2][0] = DFFEA(ram[2][0]_lut_out, GLOBAL(clk), VCC, , A1L731, A1L061, GLOBAL(set));


--ram[1][0] is ram[1][0] at LC_X9_Y12_N1
--operation mode is normal

ram[1][0]_lut_out = !C1_safe_q[0];
ram[1][0] = DFFEA(ram[1][0]_lut_out, GLOBAL(clk), VCC, , A1L721, A1L161, GLOBAL(set));


--ram[0][0] is ram[0][0] at LC_X7_Y14_N3
--operation mode is normal

ram[0][0]_lut_out = !C1_safe_q[0];
ram[0][0] = DFFEA(ram[0][0]_lut_out, GLOBAL(clk), VCC, , A1L611, A1L261, GLOBAL(set));


--A1L18 is Mux~84 at LC_X8_Y14_N7
--operation mode is normal

A1L18 = item[0] & (ram[1][0] # item[1]) # !item[0] & ram[0][0] & !item[1];


--ram[3][0] is ram[3][0] at LC_X8_Y13_N6
--operation mode is normal

ram[3][0]_lut_out = !C1_safe_q[0];
ram[3][0] = DFFEA(ram[3][0]_lut_out, GLOBAL(clk), VCC, , A1L741, A1L361, GLOBAL(set));


--A1L28 is Mux~85 at LC_X8_Y14_N6
--operation mode is normal

A1L28 = A1L18 & (ram[3][0] # !item[1]) # !A1L18 & item[1] & ram[2][0];


--ram[2][1] is ram[2][1] at LC_X6_Y14_N9
--operation mode is normal

ram[2][1]_lut_out = !A1L12;
ram[2][1] = DFFEA(ram[2][1]_lut_out, GLOBAL(clk), VCC, , A1L731, A1L461, GLOBAL(set));


--ram[1][1] is ram[1][1] at LC_X9_Y12_N5
--operation mode is normal

ram[1][1]_lut_out = !A1L12;
ram[1][1] = DFFEA(ram[1][1]_lut_out, GLOBAL(clk), VCC, , A1L721, A1L561, GLOBAL(set));


--ram[0][1] is ram[0][1] at LC_X7_Y14_N5
--operation mode is normal

ram[0][1]_lut_out = !A1L12;
ram[0][1] = DFFEA(ram[0][1]_lut_out, GLOBAL(clk), VCC, , A1L611, A1L661, GLOBAL(set));


--A1L38 is Mux~86 at LC_X7_Y15_N7
--operation mode is normal

A1L38 = item[0] & (ram[1][1] # item[1]) # !item[0] & ram[0][1] & !item[1];


--ram[3][1] is ram[3][1] at LC_X8_Y13_N1
--operation mode is normal

ram[3][1]_lut_out = !A1L12;
ram[3][1] = DFFEA(ram[3][1]_lut_out, GLOBAL(clk), VCC, , A1L741, A1L761, GLOBAL(set));


--A1L48 is Mux~87 at LC_X7_Y15_N8
--operation mode is normal

A1L48 = A1L38 & (ram[3][1] # !item[1]) # !A1L38 & item[1] & ram[2][1];


--A1L54 is coin~1296 at LC_X9_Y13_N8
--operation mode is normal

A1L54 = coin[2] & (coin[3] # !coin[1]) # !coin[2] & (coin[0] # coin[1] # !coin[3]);


--A1L63 is add~116 at LC_X10_Y14_N3
--operation mode is normal

A1L63 = coin[3] $ pri[3] $ !A1L43;


--A1L06 is coin~2643 at LC_X9_Y14_N0
--operation mode is normal

A1L06 = !sel & (A1L91 # finish & !get);


--A1L75 is coin~2639 at LC_X9_Y14_N9
--operation mode is normal

A1L75 = coin[3] & (coin[2] # coin[1] # !A1L06);


--A1L85 is coin~2640 at LC_X9_Y14_N6
--operation mode is normal

A1L85 = get & (A1L06 & A1L63 # !A1L06 & A1L75) # !get & A1L75;


--A1L64 is coin~1297 at LC_X9_Y13_N2
--operation mode is normal

A1L64 = coin[1] & !coin[3] & coin[2] & coin[0] # !coin[1] & coin[3] & !coin[2] & !coin[0];


--ram[1][7] is ram[1][7] at LC_X9_Y12_N7
--operation mode is normal

ram[1][7]_lut_out = pri[3];
ram[1][7] = DFFEA(ram[1][7]_lut_out, GLOBAL(clk), VCC, , A1L721, A1L861, GLOBAL(set));


--ram[2][7] is ram[2][7] at LC_X4_Y14_N8
--operation mode is normal

ram[2][7]_lut_out = pri[3];
ram[2][7] = DFFEA(ram[2][7]_lut_out, GLOBAL(clk), VCC, , A1L731, A1L961, GLOBAL(set));


--ram[0][7] is ram[0][7] at LC_X7_Y14_N9
--operation mode is normal

ram[0][7]_lut_out = pri[3];
ram[0][7] = DFFEA(ram[0][7]_lut_out, GLOBAL(clk), VCC, , A1L611, A1L071, GLOBAL(set));


--A1L98 is Mux~92 at LC_X4_Y14_N5
--operation mode is normal

A1L98 = item[1] & (item[0] # ram[2][7]) # !item[1] & !item[0] & ram[0][7];


--ram[3][7] is ram[3][7] at LC_X8_Y13_N0
--operation mode is normal

ram[3][7]_lut_out = pri[3];
ram[3][7] = DFFEA(ram[3][7]_lut_out, GLOBAL(clk), VCC, , A1L741, A1L171, GLOBAL(set));


--ram[2][6] is ram[2][6] at LC_X5_Y14_N7
--operation mode is normal

ram[2][6]_lut_out = pri[2];
ram[2][6] = DFFEA(ram[2][6]_lut_out, GLOBAL(clk), VCC, , A1L731, A1L271, GLOBAL(set));


--ram[1][6] is ram[1][6] at LC_X9_Y12_N6
--operation mode is normal

ram[1][6]_lut_out = pri[2];
ram[1][6] = DFFEA(ram[1][6]_lut_out, GLOBAL(clk), VCC, , A1L721, A1L371, GLOBAL(set));


--ram[0][6] is ram[0][6] at LC_X7_Y14_N0
--operation mode is normal

ram[0][6]_lut_out = pri[2];
ram[0][6] = DFFEA(ram[0][6]_lut_out, GLOBAL(clk), VCC, , A1L611, A1L471, GLOBAL(set));


--A1L09 is Mux~94 at LC_X6_Y14_N3
--operation mode is normal

A1L09 = item[0] & (item[1] # ram[1][6]) # !item[0] & !item[1] & ram[0][6];


--ram[3][6] is ram[3][6] at LC_X8_Y13_N9
--operation mode is normal

ram[3][6]_lut_out = pri[2];
ram[3][6] = DFFEA(ram[3][6]_lut_out, GLOBAL(clk), VCC, , A1L741, A1L571, GLOBAL(set));


--A1L74 is coin~1298 at LC_X10_Y13_N5
--operation mode is normal

A1L74 = !coin[3] & (coin[1] $ coin[2]);


--A1L23 is add~115 at LC_X10_Y14_N2
--operation mode is arithmetic

A1L23 = coin[2] $ pri[2] $ A1L03;

--A1L43 is add~115COUT0 at LC_X10_Y14_N2
--operation mode is arithmetic

A1L43_cout_0 = coin[2] & (!A1L03 # !pri[2]) # !coin[2] & !pri[2] & !A1L03;
A1L43 = CARRY(A1L43_cout_0);

--A1L53 is add~115COUT1 at LC_X10_Y14_N2
--operation mode is arithmetic

A1L53_cout_1 = coin[2] & (!A1L13 # !pri[2]) # !coin[2] & !pri[2] & !A1L13;
A1L53 = CARRY(A1L53_cout_1);


--A1L45 is coin~2626 at LC_X10_Y14_N8
--operation mode is normal

A1L45 = get & (A1L06 & A1L23 # !A1L06 & A1L95) # !get & (A1L06 $ A1L95);


--A1L84 is coin~1299 at LC_X10_Y14_N7
--operation mode is normal

A1L84 = !coin[3] & (coin[2] $ (coin[0] & coin[1]));


--ram[1][5] is ram[1][5] at LC_X9_Y12_N9
--operation mode is normal

ram[1][5]_lut_out = pri[1];
ram[1][5] = DFFEA(ram[1][5]_lut_out, GLOBAL(clk), VCC, , A1L721, A1L671, GLOBAL(set));


--ram[2][5] is ram[2][5] at LC_X6_Y14_N5
--operation mode is normal

ram[2][5]_lut_out = pri[1];
ram[2][5] = DFFEA(ram[2][5]_lut_out, GLOBAL(clk), VCC, , A1L731, A1L771, GLOBAL(set));


--ram[0][5] is ram[0][5] at LC_X7_Y14_N1
--operation mode is normal

ram[0][5]_lut_out = pri[1];
ram[0][5] = DFFEA(ram[0][5]_lut_out, GLOBAL(clk), VCC, , A1L611, A1L871, GLOBAL(set));


--A1L19 is Mux~96 at LC_X9_Y13_N5
--operation mode is normal

A1L19 = item[1] & (ram[2][5] # item[0]) # !item[1] & ram[0][5] & !item[0];


--ram[3][5] is ram[3][5] at LC_X8_Y13_N3
--operation mode is normal

ram[3][5]_lut_out = pri[1];
ram[3][5] = DFFEA(ram[3][5]_lut_out, GLOBAL(clk), VCC, , A1L741, A1L971, GLOBAL(set));


--A1L94 is coin~1300 at LC_X10_Y13_N8
--operation mode is normal

A1L94 = coin[1] # coin[3] & (coin[2] # coin[0]);


--A1L82 is add~114 at LC_X10_Y14_N1
--operation mode is arithmetic

A1L82 = pri[1] $ coin[1] $ !A1L62;

--A1L03 is add~114COUT0 at LC_X10_Y14_N1
--operation mode is arithmetic

A1L03_cout_0 = pri[1] & (!A1L62 # !coin[1]) # !pri[1] & !coin[1] & !A1L62;
A1L03 = CARRY(A1L03_cout_0);

--A1L13 is add~114COUT1 at LC_X10_Y14_N1
--operation mode is arithmetic

A1L13_cout_1 = pri[1] & (!A1L72 # !coin[1]) # !pri[1] & !coin[1] & !A1L72;
A1L13 = CARRY(A1L13_cout_1);


--A1L25 is coin~2618 at LC_X9_Y14_N1
--operation mode is normal

A1L25 = coin[1] & !A1L06 # !coin[1] & A1L06 & (coin[2] # coin[3]);


--A1L35 is coin~2619 at LC_X9_Y14_N7
--operation mode is normal

A1L35 = A1L06 & (get & A1L82 # !get & A1L25) # !A1L06 & A1L25;


--A1L05 is coin~1301 at LC_X10_Y13_N6
--operation mode is normal

A1L05 = !coin[3] & (coin[1] $ coin[0]);


--ram[2][4] is ram[2][4] at LC_X6_Y14_N4
--operation mode is normal

ram[2][4]_lut_out = pri[0];
ram[2][4] = DFFEA(ram[2][4]_lut_out, GLOBAL(clk), VCC, , A1L731, A1L081, GLOBAL(set));


--ram[1][4] is ram[1][4] at LC_X8_Y12_N1
--operation mode is normal

ram[1][4]_lut_out = pri[0];
ram[1][4] = DFFEA(ram[1][4]_lut_out, GLOBAL(clk), VCC, , A1L721, A1L181, GLOBAL(set));


--ram[0][4] is ram[0][4] at LC_X7_Y13_N0
--operation mode is normal

ram[0][4]_lut_out = pri[0];
ram[0][4] = DFFEA(ram[0][4]_lut_out, GLOBAL(clk), VCC, , A1L611, A1L281, GLOBAL(set));


--A1L29 is Mux~98 at LC_X7_Y13_N2
--operation mode is normal

A1L29 = item[0] & (item[1] # ram[1][4]) # !item[0] & !item[1] & ram[0][4];


--ram[3][4] is ram[3][4] at LC_X7_Y13_N1
--operation mode is normal

ram[3][4]_lut_out = pri[0];
ram[3][4] = DFFEA(ram[3][4]_lut_out, GLOBAL(clk), VCC, , A1L741, A1L381, GLOBAL(set));


--A1L42 is add~113 at LC_X10_Y14_N0
--operation mode is arithmetic

A1L42 = pri[0] $ coin[0];

--A1L62 is add~113COUT0 at LC_X10_Y14_N0
--operation mode is arithmetic

A1L62_cout_0 = coin[0] # !pri[0];
A1L62 = CARRY(A1L62_cout_0);

--A1L72 is add~113COUT1 at LC_X10_Y14_N0
--operation mode is arithmetic

A1L72_cout_1 = coin[0] # !pri[0];
A1L72 = CARRY(A1L72_cout_1);


--A1L16 is coin~2644 at LC_X8_Y14_N4
--operation mode is normal

A1L16 = get & A1L42 # !get & !A1L57 & !coin[0];


--A1L26 is coin~2645 at LC_X8_Y14_N5
--operation mode is normal

A1L26 = !coin1 & A1L16;


--A1L15 is coin~1303 at LC_X9_Y13_N6
--operation mode is normal

A1L15 = !coin[0] & (!coin[1] & !coin[2] # !coin[3]);


--A1L67 is LessThan~419 at LC_X9_Y13_N3
--operation mode is normal

A1L67 = coin[3] & (coin[0] # coin[2] # coin[1]);


--A1L55 is coin~2632 at LC_X8_Y14_N9
--operation mode is normal

A1L55 = A1L91 # finish & !get & A1L57;


--A1L65 is coin~2633 at LC_X8_Y14_N8
--operation mode is normal

A1L65 = coin1 & A1L67 # !coin1 & !sel & A1L55;


--D1_safe_q[7] is lpm_counter:t_rtl_1|cntr_pt6:auto_generated|safe_q[7] at LC_X8_Y11_N7
--operation mode is arithmetic

D1_safe_q[7]_carry_eqn = (!D1L01 & D1L83) # (D1L01 & D1L93);
D1_safe_q[7]_lut_out = D1_safe_q[7] $ D1_safe_q[7]_carry_eqn;
D1_safe_q[7] = DFFEA(D1_safe_q[7]_lut_out, GLOBAL(clk), VCC, , , , );

--D1L14 is lpm_counter:t_rtl_1|cntr_pt6:auto_generated|safe_q[7]~COUT0 at LC_X8_Y11_N7
--operation mode is arithmetic

D1L14_cout_0 = !D1L83 # !D1_safe_q[7];
D1L14 = CARRY(D1L14_cout_0);

--D1L24 is lpm_counter:t_rtl_1|cntr_pt6:auto_generated|safe_q[7]~COUT1 at LC_X8_Y11_N7
--operation mode is arithmetic

D1L24_cout_1 = !D1L93 # !D1_safe_q[7];
D1L24 = CARRY(D1L24_cout_1);


--A1L32 is add~36 at LC_X8_Y15_N7
--operation mode is normal

A1L32 = C1_safe_q[3] $ (C1_safe_q[1] # C1_safe_q[2] # C1_safe_q[0]);


--A1L731 is ram[2][3]~44 at LC_X5_Y14_N0
--operation mode is normal

A1L731 = item[1] & !item[0] & A1L711 & A1L91;


--A1L251 is ram~1344 at LC_X5_Y15_N2
--operation mode is normal

A1L251 = item[1] & (item[0] & ram[2][3] # !item[0] & quantity[3]) # !item[1] & ram[2][3];


--A1L721 is ram[1][3]~52 at LC_X9_Y12_N4
--operation mode is normal

A1L721 = item[0] & A1L711 & !item[1] & A1L91;


--A1L351 is ram~1345 at LC_X9_Y13_N9
--operation mode is normal

A1L351 = item[1] & ram[1][3] # !item[1] & (item[0] & quantity[3] # !item[0] & ram[1][3]);


--A1L611 is ram[0][3]~60 at LC_X7_Y14_N6
--operation mode is normal

A1L611 = A1L711 & !item[0] & !item[1] & A1L91;


--A1L451 is ram~1346 at LC_X7_Y14_N2
--operation mode is normal

A1L451 = item[0] & ram[0][3] # !item[0] & (item[1] & ram[0][3] # !item[1] & quantity[3]);


--A1L741 is ram[3][3]~36 at LC_X8_Y13_N7
--operation mode is normal

A1L741 = A1L711 & item[1] & item[0] & A1L91;


--A1L551 is ram~1347 at LC_X8_Y13_N2
--operation mode is normal

A1L551 = item[0] & (item[1] & quantity[3] # !item[1] & ram[3][3]) # !item[0] & ram[3][3];


--A1L22 is add~31 at LC_X8_Y12_N7
--operation mode is normal

A1L22 = C1_safe_q[2] $ (C1_safe_q[0] # C1_safe_q[1]);


--A1L651 is ram~1348 at LC_X9_Y13_N4
--operation mode is normal

A1L651 = item[0] & (item[1] & ram[1][2] # !item[1] & quantity[2]) # !item[0] & ram[1][2];


--A1L751 is ram~1349 at LC_X5_Y13_N2
--operation mode is normal

A1L751 = item[0] & ram[2][2] # !item[0] & (item[1] & quantity[2] # !item[1] & ram[2][2]);


--A1L851 is ram~1350 at LC_X7_Y15_N2
--operation mode is normal

A1L851 = item[0] & ram[0][2] # !item[0] & (item[1] & ram[0][2] # !item[1] & quantity[2]);


--A1L951 is ram~1351 at LC_X7_Y13_N5
--operation mode is normal