shopping.fit.eqn

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

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


--A1L061 is ram~1352 at LC_X4_Y14_N3
--operation mode is normal

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


--A1L161 is ram~1353 at LC_X9_Y13_N0
--operation mode is normal

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


--A1L261 is ram~1354 at LC_X7_Y13_N6
--operation mode is normal

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


--A1L361 is ram~1355 at LC_X8_Y14_N1
--operation mode is normal

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


--A1L12 is add~26 at LC_X8_Y12_N2
--operation mode is normal

A1L12 = C1_safe_q[1] $ C1_safe_q[0];


--A1L461 is ram~1356 at LC_X6_Y15_N7
--operation mode is normal

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


--A1L561 is ram~1357 at LC_X8_Y12_N8
--operation mode is normal

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


--A1L661 is ram~1358 at LC_X7_Y14_N7
--operation mode is normal

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


--A1L761 is ram~1359 at LC_X8_Y13_N4
--operation mode is normal

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


--A1L861 is ram~1360 at LC_X6_Y13_N5
--operation mode is normal

A1L861 = item[1] & ram[1][7] # !item[1] & (item[0] & price[3] # !item[0] & ram[1][7]);


--A1L961 is ram~1361 at LC_X4_Y14_N4
--operation mode is normal

A1L961 = item[1] & (item[0] & ram[2][7] # !item[0] & price[3]) # !item[1] & ram[2][7];


--A1L071 is ram~1362 at LC_X4_Y14_N6
--operation mode is normal

A1L071 = item[1] & ram[0][7] # !item[1] & (item[0] & ram[0][7] # !item[0] & price[3]);


--A1L171 is ram~1363 at LC_X6_Y13_N4
--operation mode is normal

A1L171 = item[1] & (item[0] & price[3] # !item[0] & ram[3][7]) # !item[1] & ram[3][7];


--A1L271 is ram~1364 at LC_X6_Y14_N2
--operation mode is normal

A1L271 = item[1] & (item[0] & ram[2][6] # !item[0] & price[2]) # !item[1] & ram[2][6];


--A1L371 is ram~1365 at LC_X6_Y13_N6
--operation mode is normal

A1L371 = item[1] & ram[1][6] # !item[1] & (item[0] & price[2] # !item[0] & ram[1][6]);


--A1L471 is ram~1366 at LC_X6_Y14_N0
--operation mode is normal

A1L471 = item[1] & ram[0][6] # !item[1] & (item[0] & ram[0][6] # !item[0] & price[2]);


--A1L571 is ram~1367 at LC_X6_Y13_N2
--operation mode is normal

A1L571 = item[1] & (item[0] & price[2] # !item[0] & ram[3][6]) # !item[1] & ram[3][6];


--A1L671 is ram~1368 at LC_X9_Y13_N1
--operation mode is normal

A1L671 = item[0] & (item[1] & ram[1][5] # !item[1] & price[1]) # !item[0] & ram[1][5];


--A1L771 is ram~1369 at LC_X6_Y14_N8
--operation mode is normal

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


--A1L871 is ram~1370 at LC_X7_Y13_N7
--operation mode is normal

A1L871 = item[0] & ram[0][5] # !item[0] & (item[1] & ram[0][5] # !item[1] & price[1]);


--A1L971 is ram~1371 at LC_X9_Y13_N7
--operation mode is normal

A1L971 = item[1] & (item[0] & price[1] # !item[0] & ram[3][5]) # !item[1] & ram[3][5];


--A1L081 is ram~1372 at LC_X6_Y15_N5
--operation mode is normal

A1L081 = item[0] & ram[2][4] # !item[0] & (item[1] & price[0] # !item[1] & ram[2][4]);


--A1L181 is ram~1373 at LC_X7_Y13_N3
--operation mode is normal

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


--A1L281 is ram~1374 at LC_X7_Y13_N4
--operation mode is normal

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


--A1L381 is ram~1375 at LC_X6_Y13_N8
--operation mode is normal

A1L381 = item[1] & (item[0] & price[0] # !item[0] & ram[3][4]) # !item[1] & ram[3][4];


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

D1_safe_q[6]_carry_eqn = (!D1L01 & D1L53) # (D1L01 & D1L63);
D1_safe_q[6]_lut_out = D1_safe_q[6] $ !D1_safe_q[6]_carry_eqn;
D1_safe_q[6] = DFFEA(D1_safe_q[6]_lut_out, GLOBAL(clk), VCC, , , , );

--D1L83 is lpm_counter:t_rtl_1|cntr_pt6:auto_generated|safe_q[6]~COUT0 at LC_X8_Y11_N6
--operation mode is arithmetic

D1L83_cout_0 = D1_safe_q[6] & !D1L53;
D1L83 = CARRY(D1L83_cout_0);

--D1L93 is lpm_counter:t_rtl_1|cntr_pt6:auto_generated|safe_q[6]~COUT1 at LC_X8_Y11_N6
--operation mode is arithmetic

D1L93_cout_1 = D1_safe_q[6] & !D1L63;
D1L93 = CARRY(D1L93_cout_1);


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

D1_safe_q[5]_carry_eqn = D1L01;
D1_safe_q[5]_lut_out = D1_safe_q[5] $ D1_safe_q[5]_carry_eqn;
D1_safe_q[5] = DFFEA(D1_safe_q[5]_lut_out, GLOBAL(clk), VCC, , , , );

--D1L53 is lpm_counter:t_rtl_1|cntr_pt6:auto_generated|safe_q[5]~COUT0 at LC_X8_Y11_N5
--operation mode is arithmetic

D1L53_cout_0 = !D1L01 # !D1_safe_q[5];
D1L53 = CARRY(D1L53_cout_0);

--D1L63 is lpm_counter:t_rtl_1|cntr_pt6:auto_generated|safe_q[5]~COUT1 at LC_X8_Y11_N5
--operation mode is arithmetic

D1L63_cout_1 = !D1L01 # !D1_safe_q[5];
D1L63 = CARRY(D1L63_cout_1);


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

D1_safe_q[4]_lut_out = D1_safe_q[4] $ !D1L13;
D1_safe_q[4] = DFFEA(D1_safe_q[4]_lut_out, GLOBAL(clk), VCC, , , , );

--D1L01 is lpm_counter:t_rtl_1|cntr_pt6:auto_generated|counter_cella4~COUT at LC_X8_Y11_N4
--operation mode is arithmetic

D1L01 = CARRY(D1_safe_q[4] & !D1L23);


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

D1_safe_q[3]_lut_out = D1_safe_q[3] $ D1L82;
D1_safe_q[3] = DFFEA(D1_safe_q[3]_lut_out, GLOBAL(clk), VCC, , , , );

--D1L13 is lpm_counter:t_rtl_1|cntr_pt6:auto_generated|safe_q[3]~COUT0 at LC_X8_Y11_N3
--operation mode is arithmetic

D1L13_cout_0 = !D1L82 # !D1_safe_q[3];
D1L13 = CARRY(D1L13_cout_0);

--D1L23 is lpm_counter:t_rtl_1|cntr_pt6:auto_generated|safe_q[3]~COUT1 at LC_X8_Y11_N3
--operation mode is arithmetic

D1L23_cout_1 = !D1L92 # !D1_safe_q[3];
D1L23 = CARRY(D1L23_cout_1);


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

D1_safe_q[2]_lut_out = D1_safe_q[2] $ !D1L52;
D1_safe_q[2] = DFFEA(D1_safe_q[2]_lut_out, GLOBAL(clk), VCC, , , , );

--D1L82 is lpm_counter:t_rtl_1|cntr_pt6:auto_generated|safe_q[2]~COUT0 at LC_X8_Y11_N2
--operation mode is arithmetic

D1L82_cout_0 = D1_safe_q[2] & !D1L52;
D1L82 = CARRY(D1L82_cout_0);

--D1L92 is lpm_counter:t_rtl_1|cntr_pt6:auto_generated|safe_q[2]~COUT1 at LC_X8_Y11_N2
--operation mode is arithmetic

D1L92_cout_1 = D1_safe_q[2] & !D1L62;
D1L92 = CARRY(D1L92_cout_1);


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

D1_safe_q[1]_lut_out = D1_safe_q[1] $ D1L22;
D1_safe_q[1] = DFFEA(D1_safe_q[1]_lut_out, GLOBAL(clk), VCC, , , , );

--D1L52 is lpm_counter:t_rtl_1|cntr_pt6:auto_generated|safe_q[1]~COUT0 at LC_X8_Y11_N1
--operation mode is arithmetic

D1L52_cout_0 = !D1L22 # !D1_safe_q[1];
D1L52 = CARRY(D1L52_cout_0);

--D1L62 is lpm_counter:t_rtl_1|cntr_pt6:auto_generated|safe_q[1]~COUT1 at LC_X8_Y11_N1
--operation mode is arithmetic

D1L62_cout_1 = !D1L32 # !D1_safe_q[1];
D1L62 = CARRY(D1L62_cout_1);


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

D1_safe_q[0]_lut_out = !D1_safe_q[0];
D1_safe_q[0] = DFFEA(D1_safe_q[0]_lut_out, GLOBAL(clk), VCC, , , , );

--D1L22 is lpm_counter:t_rtl_1|cntr_pt6:auto_generated|safe_q[0]~COUT0 at LC_X8_Y11_N0
--operation mode is arithmetic

D1L22_cout_0 = D1_safe_q[0];
D1L22 = CARRY(D1L22_cout_0);

--D1L32 is lpm_counter:t_rtl_1|cntr_pt6:auto_generated|safe_q[0]~COUT1 at LC_X8_Y11_N0
--operation mode is arithmetic

D1L32_cout_1 = D1_safe_q[0];
D1L32 = CARRY(D1L32_cout_1);


--A1L41 is act[3]~332 at LC_X5_Y14_N4
--operation mode is normal

A1L41 = A1L711 & (A1L91 # !finish & !get);


--A1L89 is pri[3]~5 at LC_X9_Y15_N5
--operation mode is normal

A1L89 = !set & !get & A1L711 & !finish;


--A1L95 is coin~2642 at LC_X10_Y14_N6
--operation mode is normal

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


--clk is clk at PIN_152
--operation mode is input

clk = INPUT();


--sel is sel at PIN_3
--operation mode is input

sel = INPUT();


--coin1 is coin1 at PIN_8
--operation mode is input

coin1 = INPUT();


--coin0 is coin0 at PIN_7
--operation mode is input

coin0 = INPUT();


--set is set at PIN_1
--operation mode is input

set = INPUT();


--get is get at PIN_2
--operation mode is input

get = INPUT();


--finish is finish at PIN_4
--operation mode is input

finish = INPUT();


--quantity[3] is quantity[3] at PIN_15
--operation mode is input

quantity[3] = INPUT();


--quantity[2] is quantity[2] at PIN_16
--operation mode is input

quantity[2] = INPUT();


--quantity[0] is quantity[0] at PIN_18
--operation mode is input

quantity[0] = INPUT();


--quantity[1] is quantity[1] at PIN_17
--operation mode is input

quantity[1] = INPUT();


--price[3] is price[3] at PIN_11
--operation mode is input

price[3] = INPUT();


--price[2] is price[2] at PIN_12
--operation mode is input

price[2] = INPUT();


--price[1] is price[1] at PIN_13
--operation mode is input

price[1] = INPUT();


--price[0] is price[0] at PIN_14
--operation mode is input

price[0] = INPUT();


--item0[3] is item0[3] at PIN_43
--operation mode is output

item0[3] = OUTPUT(!A1L77);


--item0[2] is item0[2] at PIN_44
--operation mode is output

item0[2] = OUTPUT(A1L87);


--item0[1] is item0[1] at PIN_45
--operation mode is output

item0[1] = OUTPUT(A1L97);


--item0[0] is item0[0] at PIN_46
--operation mode is output

item0[0] = OUTPUT(A1L08);


--act[3] is act[3] at PIN_48
--operation mode is output

act[3] = OUTPUT(A1L51Q);


--act[2] is act[2] at PIN_49
--operation mode is output

act[2] = OUTPUT(A1L21Q);


--act[1] is act[1] at PIN_50
--operation mode is output

act[1] = OUTPUT(A1L01Q);


--act[0] is act[0] at PIN_53
--operation mode is output

act[0] = OUTPUT(A1L8Q);


--Seg7[7] is Seg7[7] at PIN_73
--operation mode is output

Seg7[7] = OUTPUT(A1L312);


--Seg7[6] is Seg7[6] at PIN_74
--operation mode is output

Seg7[6] = OUTPUT(A1L902);


--Seg7[5] is Seg7[5] at PIN_75
--operation mode is output

Seg7[5] = OUTPUT(A1L502);


--Seg7[4] is Seg7[4] at PIN_76
--operation mode is output

Seg7[4] = OUTPUT(A1L102);


--Seg7[3] is Seg7[3] at PIN_77
--operation mode is output

Seg7[3] = OUTPUT(A1L791);


--Seg7[2] is Seg7[2] at PIN_78
--operation mode is output

Seg7[2] = OUTPUT(A1L391);


--Seg7[1] is Seg7[1] at PIN_79
--operation mode is output

Seg7[1] = OUTPUT(A1L981);


--Seg7[0] is Seg7[0] at PIN_82
--operation mode is output

Seg7[0] = OUTPUT(GND);


--Segslt[7] is Segslt[7] at PIN_83
--operation mode is output

Segslt[7] = OUTPUT(GND);


--Segslt[6] is Segslt[6] at PIN_84
--operation mode is output

Segslt[6] = OUTPUT(GND);


--Segslt[5] is Segslt[5] at PIN_85
--operation mode is output

Segslt[5] = OUTPUT(GND);


--Segslt[4] is Segslt[4] at PIN_86
--operation mode is output

Segslt[4] = OUTPUT(GND);


--Segslt[3] is Segslt[3] at PIN_87
--operation mode is output

Segslt[3] = OUTPUT(GND);


--Segslt[2] is Segslt[2] at PIN_88
--operation mode is output

Segslt[2] = OUTPUT(A1L222);


--Segslt[1] is Segslt[1] at PIN_93
--operation mode is output

Segslt[1] = OUTPUT(A1L912);


--Segslt[0] is Segslt[0] at PIN_94
--operation mode is output

Segslt[0] = OUTPUT(A1L612);


--act10 is act10 at PIN_56
--operation mode is output

act10 = OUTPUT(A1L6Q);


--act5 is act5 at PIN_57
--operation mode is output

act5 = OUTPUT(A1L3Q);