shopping.map.eqn

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

--operation mode is normal

ram[0][3]_lut_out = !A1L32;
ram[0][3] = DFFEA(ram[0][3]_lut_out, clk, VCC, , A1L011, A1L841, set);


--A1L18 is Mux~90
--operation mode is normal

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


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

ram[3][3]_lut_out = !A1L32;
ram[3][3] = DFFEA(ram[3][3]_lut_out, clk, VCC, , A1L141, A1L941, set);


--A1L28 is Mux~91
--operation mode is normal

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


--A1L99 is quan[3]~248
--operation mode is normal

A1L99 = A1L111 & !set & (A1L02 # A1L91);


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

ram[1][2]_lut_out = !A1L22;
ram[1][2] = DFFEA(ram[1][2]_lut_out, clk, VCC, , A1L121, A1L051, set);


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

ram[2][2]_lut_out = !A1L22;
ram[2][2] = DFFEA(ram[2][2]_lut_out, clk, VCC, , A1L131, A1L151, set);


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

ram[0][2]_lut_out = !A1L22;
ram[0][2] = DFFEA(ram[0][2]_lut_out, clk, VCC, , A1L011, A1L251, set);


--A1L97 is Mux~88
--operation mode is normal

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


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

ram[3][2]_lut_out = !A1L22;
ram[3][2] = DFFEA(ram[3][2]_lut_out, clk, VCC, , A1L141, A1L351, set);


--A1L08 is Mux~89
--operation mode is normal

A1L08 = A1L97 & (ram[3][2] # !item[0]) # !A1L97 & ram[1][2] & item[0];


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

ram[2][0]_lut_out = !C1_safe_q[0];
ram[2][0] = DFFEA(ram[2][0]_lut_out, clk, VCC, , A1L131, A1L451, set);


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

ram[1][0]_lut_out = !C1_safe_q[0];
ram[1][0] = DFFEA(ram[1][0]_lut_out, clk, VCC, , A1L121, A1L551, set);


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

ram[0][0]_lut_out = !C1_safe_q[0];
ram[0][0] = DFFEA(ram[0][0]_lut_out, clk, VCC, , A1L011, A1L651, set);


--A1L57 is Mux~84
--operation mode is normal

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


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

ram[3][0]_lut_out = !C1_safe_q[0];
ram[3][0] = DFFEA(ram[3][0]_lut_out, clk, VCC, , A1L141, A1L751, set);


--A1L67 is Mux~85
--operation mode is normal

A1L67 = A1L57 & (ram[3][0] # !item[1]) # !A1L57 & ram[2][0] & item[1];


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

ram[2][1]_lut_out = !A1L12;
ram[2][1] = DFFEA(ram[2][1]_lut_out, clk, VCC, , A1L131, A1L851, set);


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

ram[1][1]_lut_out = !A1L12;
ram[1][1] = DFFEA(ram[1][1]_lut_out, clk, VCC, , A1L121, A1L951, set);


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

ram[0][1]_lut_out = !A1L12;
ram[0][1] = DFFEA(ram[0][1]_lut_out, clk, VCC, , A1L011, A1L061, set);


--A1L77 is Mux~86
--operation mode is normal

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


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

ram[3][1]_lut_out = !A1L12;
ram[3][1] = DFFEA(ram[3][1]_lut_out, clk, VCC, , A1L141, A1L161, set);


--A1L87 is Mux~87
--operation mode is normal

A1L87 = A1L77 & (ram[3][1] # !item[1]) # !A1L77 & ram[2][1] & item[1];


--A1L93 is coin~1296
--operation mode is normal

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


--A1L03 is add~116
--operation mode is normal

A1L03_carry_eqn = A1L92;
A1L03 = pri[3] $ coin[3] $ !A1L03_carry_eqn;


--A1L45 is coin~2643
--operation mode is normal

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


--A1L15 is coin~2639
--operation mode is normal

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


--A1L25 is coin~2640
--operation mode is normal

A1L25 = get & (A1L45 & A1L03 # !A1L45 & A1L15) # !get & A1L15;


--A1L04 is coin~1297
--operation mode is normal

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


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

ram[1][7]_lut_out = pri[3];
ram[1][7] = DFFEA(ram[1][7]_lut_out, clk, VCC, , A1L121, A1L261, set);


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

ram[2][7]_lut_out = pri[3];
ram[2][7] = DFFEA(ram[2][7]_lut_out, clk, VCC, , A1L131, A1L361, set);


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

ram[0][7]_lut_out = pri[3];
ram[0][7] = DFFEA(ram[0][7]_lut_out, clk, VCC, , A1L011, A1L461, set);


--A1L38 is Mux~92
--operation mode is normal

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


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

ram[3][7]_lut_out = pri[3];
ram[3][7] = DFFEA(ram[3][7]_lut_out, clk, VCC, , A1L141, A1L561, set);


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

ram[2][6]_lut_out = pri[2];
ram[2][6] = DFFEA(ram[2][6]_lut_out, clk, VCC, , A1L131, A1L661, set);


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

ram[1][6]_lut_out = pri[2];
ram[1][6] = DFFEA(ram[1][6]_lut_out, clk, VCC, , A1L121, A1L761, set);


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

ram[0][6]_lut_out = pri[2];
ram[0][6] = DFFEA(ram[0][6]_lut_out, clk, VCC, , A1L011, A1L861, set);


--A1L48 is Mux~94
--operation mode is normal

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


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

ram[3][6]_lut_out = pri[2];
ram[3][6] = DFFEA(ram[3][6]_lut_out, clk, VCC, , A1L141, A1L961, set);


--A1L14 is coin~1298
--operation mode is normal

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


--A1L82 is add~115
--operation mode is arithmetic

A1L82_carry_eqn = A1L72;
A1L82 = pri[2] $ coin[2] $ A1L82_carry_eqn;

--A1L92 is add~115COUT
--operation mode is arithmetic

A1L92 = CARRY(pri[2] & coin[2] & !A1L72 # !pri[2] & (coin[2] # !A1L72));


--A1L84 is coin~2626
--operation mode is normal

A1L84 = get & (A1L45 & A1L82 # !A1L45 & A1L35) # !get & (A1L45 $ A1L35);


--A1L24 is coin~1299
--operation mode is normal

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


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

ram[1][5]_lut_out = pri[1];
ram[1][5] = DFFEA(ram[1][5]_lut_out, clk, VCC, , A1L121, A1L071, set);


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

ram[2][5]_lut_out = pri[1];
ram[2][5] = DFFEA(ram[2][5]_lut_out, clk, VCC, , A1L131, A1L171, set);


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

ram[0][5]_lut_out = pri[1];
ram[0][5] = DFFEA(ram[0][5]_lut_out, clk, VCC, , A1L011, A1L271, set);


--A1L58 is Mux~96
--operation mode is normal

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


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

ram[3][5]_lut_out = pri[1];
ram[3][5] = DFFEA(ram[3][5]_lut_out, clk, VCC, , A1L141, A1L371, set);


--A1L34 is coin~1300
--operation mode is normal

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


--A1L62 is add~114
--operation mode is arithmetic

A1L62_carry_eqn = A1L52;
A1L62 = pri[1] $ coin[1] $ !A1L62_carry_eqn;

--A1L72 is add~114COUT
--operation mode is arithmetic

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


--A1L64 is coin~2618
--operation mode is normal

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


--A1L74 is coin~2619
--operation mode is normal

A1L74 = get & (A1L45 & A1L62 # !A1L45 & A1L64) # !get & A1L64;


--A1L44 is coin~1301
--operation mode is normal

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


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

ram[2][4]_lut_out = pri[0];
ram[2][4] = DFFEA(ram[2][4]_lut_out, clk, VCC, , A1L131, A1L471, set);


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

ram[1][4]_lut_out = pri[0];
ram[1][4] = DFFEA(ram[1][4]_lut_out, clk, VCC, , A1L121, A1L571, set);


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

ram[0][4]_lut_out = pri[0];
ram[0][4] = DFFEA(ram[0][4]_lut_out, clk, VCC, , A1L011, A1L671, set);


--A1L68 is Mux~98
--operation mode is normal

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


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

ram[3][4]_lut_out = pri[0];
ram[3][4] = DFFEA(ram[3][4]_lut_out, clk, VCC, , A1L141, A1L771, set);


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

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

--A1L52 is add~113COUT
--operation mode is arithmetic

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


--A1L55 is coin~2644
--operation mode is normal

A1L55 = get & A1L42 # !get & !coin[0] & !A1L96;


--A1L65 is coin~2645
--operation mode is normal

A1L65 = A1L55 & !coin1;


--A1L54 is coin~1303
--operation mode is normal

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


--A1L07 is LessThan~419
--operation mode is normal

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


--A1L94 is coin~2632
--operation mode is normal

A1L94 = A1L91 # finish & !get & A1L96;


--A1L05 is coin~2633
--operation mode is normal

A1L05 = coin1 & A1L07 # !coin1 & !sel & A1L94;


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

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

--D1L61 is lpm_counter:t_rtl_1|cntr_pt6:auto_generated|counter_cella7~COUT
--operation mode is arithmetic

D1L61 = CARRY(!D1L41 # !D1_safe_q[7]);


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

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


--A1L131 is ram[2][3]~44
--operation mode is normal

A1L131 = item[1] & A1L91 & A1L111 & !item[0];


--A1L641 is ram~1344
--operation mode is normal

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


--A1L121 is ram[1][3]~52
--operation mode is normal

A1L121 = item[0] & A1L91 & A1L111 & !item[1];


--A1L741 is ram~1345
--operation mode is normal

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


--A1L011 is ram[0][3]~60
--operation mode is normal

A1L011 = A1L91 & A1L111 & !item[1] & !item[0];


--A1L841 is ram~1346
--operation mode is normal

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


--A1L141 is ram[3][3]~36
--operation mode is normal

A1L141 = item[1] & item[0] & A1L91 & A1L111;


--A1L941 is ram~1347
--operation mode is normal

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


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

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


--A1L051 is ram~1348
--operation mode is normal

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


--A1L151 is ram~1349
--operation mode is normal

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