shopping.map.eqn

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

--A1L251 is ram~1350
--operation mode is normal

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


--A1L351 is ram~1351
--operation mode is normal

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


--A1L451 is ram~1352
--operation mode is normal

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


--A1L551 is ram~1353
--operation mode is normal

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


--A1L651 is ram~1354
--operation mode is normal

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


--A1L751 is ram~1355
--operation mode is normal

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


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

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


--A1L851 is ram~1356
--operation mode is normal

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


--A1L951 is ram~1357
--operation mode is normal

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


--A1L061 is ram~1358
--operation mode is normal

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


--A1L161 is ram~1359
--operation mode is normal

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


--A1L261 is ram~1360
--operation mode is normal

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


--A1L361 is ram~1361
--operation mode is normal

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


--A1L461 is ram~1362
--operation mode is normal

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


--A1L561 is ram~1363
--operation mode is normal

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


--A1L661 is ram~1364
--operation mode is normal

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


--A1L761 is ram~1365
--operation mode is normal

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


--A1L861 is ram~1366
--operation mode is normal

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


--A1L961 is ram~1367
--operation mode is normal

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


--A1L071 is ram~1368
--operation mode is normal

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


--A1L171 is ram~1369
--operation mode is normal

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


--A1L271 is ram~1370
--operation mode is normal

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


--A1L371 is ram~1371
--operation mode is normal

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


--A1L471 is ram~1372
--operation mode is normal

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


--A1L571 is ram~1373
--operation mode is normal

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


--A1L671 is ram~1374
--operation mode is normal

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


--A1L771 is ram~1375
--operation mode is normal

A1L771 = 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]
--operation mode is arithmetic

D1_safe_q[6]_carry_eqn = D1L21;
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, clk, VCC, , , , );

--D1L41 is lpm_counter:t_rtl_1|cntr_pt6:auto_generated|counter_cella6~COUT
--operation mode is arithmetic

D1L41 = CARRY(D1_safe_q[6] & !D1L21);


--D1_safe_q[5] is lpm_counter:t_rtl_1|cntr_pt6:auto_generated|safe_q[5]
--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, clk, VCC, , , , );

--D1L21 is lpm_counter:t_rtl_1|cntr_pt6:auto_generated|counter_cella5~COUT
--operation mode is arithmetic

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


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

D1_safe_q[4]_carry_eqn = D1L8;
D1_safe_q[4]_lut_out = D1_safe_q[4] $ !D1_safe_q[4]_carry_eqn;
D1_safe_q[4] = DFFEA(D1_safe_q[4]_lut_out, clk, VCC, , , , );

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

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


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

D1_safe_q[3]_carry_eqn = D1L6;
D1_safe_q[3]_lut_out = D1_safe_q[3] $ D1_safe_q[3]_carry_eqn;
D1_safe_q[3] = DFFEA(D1_safe_q[3]_lut_out, clk, VCC, , , , );

--D1L8 is lpm_counter:t_rtl_1|cntr_pt6:auto_generated|counter_cella3~COUT
--operation mode is arithmetic

D1L8 = CARRY(!D1L6 # !D1_safe_q[3]);


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

D1_safe_q[2]_carry_eqn = D1L4;
D1_safe_q[2]_lut_out = D1_safe_q[2] $ !D1_safe_q[2]_carry_eqn;
D1_safe_q[2] = DFFEA(D1_safe_q[2]_lut_out, clk, VCC, , , , );

--D1L6 is lpm_counter:t_rtl_1|cntr_pt6:auto_generated|counter_cella2~COUT
--operation mode is arithmetic

D1L6 = CARRY(D1_safe_q[2] & !D1L4);


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

D1_safe_q[1]_carry_eqn = D1L2;
D1_safe_q[1]_lut_out = D1_safe_q[1] $ D1_safe_q[1]_carry_eqn;
D1_safe_q[1] = DFFEA(D1_safe_q[1]_lut_out, clk, VCC, , , , );

--D1L4 is lpm_counter:t_rtl_1|cntr_pt6:auto_generated|counter_cella1~COUT
--operation mode is arithmetic

D1L4 = CARRY(!D1L2 # !D1_safe_q[1]);


--D1_safe_q[0] is lpm_counter:t_rtl_1|cntr_pt6:auto_generated|safe_q[0]
--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, clk, VCC, , , , );

--D1L2 is lpm_counter:t_rtl_1|cntr_pt6:auto_generated|counter_cella0~COUT
--operation mode is arithmetic

D1L2 = CARRY(D1_safe_q[0]);


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

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


--A1L29 is pri[3]~5
--operation mode is normal

A1L29 = !get & !finish & !set & A1L111;


--A1L35 is coin~2642
--operation mode is normal

A1L35 = coin[1] & (coin[2] $ A1L45) # !coin[1] & (coin[2] # !coin[3] & A1L45);


--clk is clk
--operation mode is input

clk = INPUT();


--sel is sel
--operation mode is input

sel = INPUT();


--coin1 is coin1
--operation mode is input

coin1 = INPUT();


--coin0 is coin0
--operation mode is input

coin0 = INPUT();


--set is set
--operation mode is input

set = INPUT();


--get is get
--operation mode is input

get = INPUT();


--finish is finish
--operation mode is input

finish = INPUT();


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

quantity[3] = INPUT();


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

quantity[2] = INPUT();


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

quantity[0] = INPUT();


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

quantity[1] = INPUT();


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

price[3] = INPUT();


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

price[2] = INPUT();


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

price[1] = INPUT();


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

price[0] = INPUT();


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

item0[3] = OUTPUT(!A1L17);


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

item0[2] = OUTPUT(A1L27);


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

item0[1] = OUTPUT(A1L37);


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

item0[0] = OUTPUT(A1L47);


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

act[3] = OUTPUT(A1L51Q);


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

act[2] = OUTPUT(A1L21Q);


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

act[1] = OUTPUT(A1L01Q);


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

act[0] = OUTPUT(A1L8Q);


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

Seg7[7] = OUTPUT(A1L702);


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

Seg7[6] = OUTPUT(A1L302);


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

Seg7[5] = OUTPUT(A1L991);


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

Seg7[4] = OUTPUT(A1L591);


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

Seg7[3] = OUTPUT(A1L191);


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

Seg7[2] = OUTPUT(A1L781);


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

Seg7[1] = OUTPUT(A1L381);


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

Seg7[0] = OUTPUT(GND);


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

Segslt[7] = OUTPUT(GND);


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

Segslt[6] = OUTPUT(GND);


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

Segslt[5] = OUTPUT(GND);


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

Segslt[4] = OUTPUT(GND);


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

Segslt[3] = OUTPUT(GND);


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

Segslt[2] = OUTPUT(A1L612);


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

Segslt[1] = OUTPUT(A1L312);


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

Segslt[0] = OUTPUT(A1L012);


--act10 is act10
--operation mode is output

act10 = OUTPUT(A1L6Q);


--act5 is act5
--operation mode is output

act5 = OUTPUT(A1L3Q);