cnt60.map.eqn

是我们在在实验室做的摸60计数

--A1L139 is q_bcd[4]~3233
--operation mode is normal

A1L139 = A1L133 & (A1L138 & (A1L33) # !A1L138 & A1L27) # !A1L133 & (A1L138);


--A1L140 is q_bcd[4]~3234
--operation mode is normal

A1L140 = A1L137 # A1L103 & A1L139 & !A1L130;


--A1L35 is add~769
--operation mode is arithmetic

A1L35_carry_eqn = A1L26;
A1L35 = q_tmp[5] $ (!A1L35_carry_eqn);

--A1L36 is add~771
--operation mode is arithmetic

A1L36 = CARRY(q_tmp[5] & (!A1L26));


--A1L141 is q_bcd[5]~3235
--operation mode is normal

A1L141 = A1L130 & q_tmp[5] # !A1L130 & (A1L35 & !A1L103);


--A1L37 is add~774
--operation mode is arithmetic

A1L37_carry_eqn = A1L30;
A1L37 = q_tmp[5] $ (!A1L37_carry_eqn);

--A1L38 is add~776
--operation mode is arithmetic

A1L38 = CARRY(q_tmp[5] & (!A1L30));


--A1L39 is add~779
--operation mode is arithmetic

A1L39_carry_eqn = A1L28;
A1L39 = q_tmp[5] $ (!A1L39_carry_eqn);

--A1L40 is add~781
--operation mode is arithmetic

A1L40 = CARRY(q_tmp[5] & (!A1L28));


--A1L41 is add~784
--operation mode is arithmetic

A1L41_carry_eqn = A1L32;
A1L41 = q_tmp[5] $ (A1L41_carry_eqn);

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

A1L42 = CARRY(!A1L32 # !q_tmp[5]);


--A1L142 is q_bcd[5]~3236
--operation mode is normal

A1L142 = A1L93 & (A1L133) # !A1L93 & (A1L133 & A1L39 # !A1L133 & (A1L41));


--A1L43 is add~789
--operation mode is arithmetic

A1L43_carry_eqn = A1L34;
A1L43 = q_tmp[5] $ (!A1L43_carry_eqn);

--A1L44 is add~791
--operation mode is arithmetic

A1L44 = CARRY(q_tmp[5] & (!A1L34));


--A1L143 is q_bcd[5]~3237
--operation mode is normal

A1L143 = A1L93 & (A1L142 & (A1L43) # !A1L142 & A1L37) # !A1L93 & (A1L142);


--A1L144 is q_bcd[5]~3238
--operation mode is normal

A1L144 = A1L141 # A1L103 & A1L143 & !A1L130;


--A1L45 is add~794
--operation mode is arithmetic

A1L45_carry_eqn = A1L36;
A1L45 = q_tmp[6] $ (A1L45_carry_eqn);

--A1L46 is add~796
--operation mode is arithmetic

A1L46 = CARRY(!A1L36 # !q_tmp[6]);


--A1L145 is q_bcd[6]~3239
--operation mode is normal

A1L145 = q_tmp[6] # A1L45 & !A1L103 & !A1L130;


--A1L47 is add~799
--operation mode is arithmetic

A1L47_carry_eqn = A1L40;
A1L47 = q_tmp[6] $ (A1L47_carry_eqn);

--A1L48 is add~801
--operation mode is arithmetic

A1L48 = CARRY(!A1L40 # !q_tmp[6]);


--A1L49 is add~804
--operation mode is arithmetic

A1L49_carry_eqn = A1L38;
A1L49 = q_tmp[6] $ (A1L49_carry_eqn);

--A1L50 is add~806
--operation mode is arithmetic

A1L50 = CARRY(!A1L38 # !q_tmp[6]);


--A1L51 is add~809
--operation mode is arithmetic

A1L51_carry_eqn = A1L42;
A1L51 = q_tmp[6] $ (!A1L51_carry_eqn);

--A1L52 is add~811
--operation mode is arithmetic

A1L52 = CARRY(q_tmp[6] & (!A1L42));


--A1L146 is q_bcd[6]~3240
--operation mode is normal

A1L146 = A1L133 & (A1L93) # !A1L133 & (A1L93 & A1L49 # !A1L93 & (A1L51));


--A1L53 is add~814
--operation mode is arithmetic

A1L53_carry_eqn = A1L44;
A1L53 = q_tmp[6] $ (A1L53_carry_eqn);

--A1L54 is add~816
--operation mode is arithmetic

A1L54 = CARRY(!A1L44 # !q_tmp[6]);


--A1L147 is q_bcd[6]~3241
--operation mode is normal

A1L147 = A1L133 & (A1L146 & (A1L53) # !A1L146 & A1L47) # !A1L133 & (A1L146);


--A1L148 is q_bcd[6]~3242
--operation mode is normal

A1L148 = A1L145 # A1L103 & A1L147 & !A1L130;


--A1L55 is add~819
--operation mode is normal

A1L55_carry_eqn = A1L46;
A1L55 = q_tmp[7] $ (!A1L55_carry_eqn);


--A1L149 is q_bcd[7]~3243
--operation mode is normal

A1L149 = q_tmp[7] # A1L55 & !A1L103 & !A1L130;


--A1L56 is add~824
--operation mode is normal

A1L56_carry_eqn = A1L50;
A1L56 = q_tmp[7] $ (!A1L56_carry_eqn);


--A1L57 is add~829
--operation mode is normal

A1L57_carry_eqn = A1L48;
A1L57 = q_tmp[7] $ (!A1L57_carry_eqn);


--A1L58 is add~834
--operation mode is normal

A1L58_carry_eqn = A1L52;
A1L58 = q_tmp[7] $ (A1L58_carry_eqn);


--A1L150 is q_bcd[7]~3244
--operation mode is normal

A1L150 = A1L93 & (A1L133) # !A1L93 & (A1L133 & A1L57 # !A1L133 & (A1L58));


--A1L59 is add~839
--operation mode is normal

A1L59_carry_eqn = A1L54;
A1L59 = q_tmp[7] $ (!A1L59_carry_eqn);


--A1L151 is q_bcd[7]~3245
--operation mode is normal

A1L151 = A1L93 & (A1L150 & (A1L59) # !A1L150 & A1L56) # !A1L93 & (A1L150);


--A1L152 is q_bcd[7]~3246
--operation mode is normal

A1L152 = A1L149 # A1L103 & A1L151 & !A1L130;


--A1L112 is Mux~403
--operation mode is normal

A1L112 = A1L148 & !A1L144 & (A1L140 $ !A1L152) # !A1L148 & A1L140 & (A1L144 $ !A1L152);


--A1L113 is Mux~404
--operation mode is normal

A1L113 = A1L144 & (A1L140 & (A1L152) # !A1L140 & A1L148) # !A1L144 & A1L148 & (A1L140 $ A1L152);


--A1L114 is Mux~405
--operation mode is normal

A1L114 = A1L148 & A1L152 & (A1L144 # !A1L140) # !A1L148 & !A1L140 & A1L144 & !A1L152;


--A1L115 is Mux~406
--operation mode is normal

A1L115 = A1L144 & (A1L140 & A1L148 # !A1L140 & !A1L148 & A1L152) # !A1L144 & !A1L152 & (A1L140 $ A1L148);


--A1L116 is Mux~407
--operation mode is normal

A1L116 = A1L144 & A1L140 & (!A1L152) # !A1L144 & (A1L148 & (!A1L152) # !A1L148 & A1L140);


--A1L117 is Mux~408
--operation mode is normal

A1L117 = A1L140 & (A1L152 $ (A1L144 # !A1L148)) # !A1L140 & A1L144 & !A1L148 & !A1L152;


--A1L118 is Mux~409
--operation mode is normal

A1L118 = A1L140 & (A1L152 # A1L144 $ A1L148) # !A1L140 & (A1L144 # A1L148 $ A1L152);


--A1L60 is add~844
--operation mode is arithmetic

A1L60 = !q_tmp[0];

--A1L61 is add~846
--operation mode is arithmetic

A1L61 = CARRY(q_tmp[0]);


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

A1L62_carry_eqn = A1L61;
A1L62 = q_tmp[1] $ (A1L62_carry_eqn);

--A1L63 is add~851
--operation mode is arithmetic

A1L63 = CARRY(!A1L61 # !q_tmp[1]);


--A1L64 is add~854
--operation mode is arithmetic

A1L64_carry_eqn = A1L67;
A1L64 = q_tmp[5] $ (A1L64_carry_eqn);

--A1L65 is add~856
--operation mode is arithmetic

A1L65 = CARRY(!A1L67 # !q_tmp[5]);


--A1L165 is rtl~42
--operation mode is normal

A1L165 = q_tmp[4] & q_tmp[5];


--A1L166 is rtl~43
--operation mode is normal

A1L166 = q_tmp[0] & q_tmp[1] & q_tmp[3] & !q_tmp[2];


--A1L66 is add~859
--operation mode is arithmetic

A1L66_carry_eqn = A1L69;
A1L66 = q_tmp[4] $ (!A1L66_carry_eqn);

--A1L67 is add~861
--operation mode is arithmetic

A1L67 = CARRY(q_tmp[4] & (!A1L69));


--A1L68 is add~864
--operation mode is arithmetic

A1L68_carry_eqn = A1L74;
A1L68 = q_tmp[3] $ (A1L68_carry_eqn);

--A1L69 is add~866
--operation mode is arithmetic

A1L69 = CARRY(!A1L74 # !q_tmp[3]);


--A1L70 is add~869
--operation mode is normal

A1L70_carry_eqn = A1L72;
A1L70 = q_tmp[7] $ (A1L70_carry_eqn);


--A1L71 is add~874
--operation mode is arithmetic

A1L71_carry_eqn = A1L65;
A1L71 = q_tmp[6] $ (!A1L71_carry_eqn);

--A1L72 is add~876
--operation mode is arithmetic

A1L72 = CARRY(q_tmp[6] & (!A1L65));


--A1L73 is add~879
--operation mode is arithmetic

A1L73_carry_eqn = A1L63;
A1L73 = q_tmp[2] $ (!A1L73_carry_eqn);

--A1L74 is add~881
--operation mode is arithmetic

A1L74 = CARRY(q_tmp[2] & (!A1L63));


--A1L103 is LessThan~630
--operation mode is normal

A1L103 = q_tmp[4] & (q_tmp[3] # q_tmp[2]) # !A1L98;


--A1L104 is LessThan~631
--operation mode is normal

A1L104 = q_tmp[7] # q_tmp[6] # A1L99;


--clk is clk
--operation mode is input

clk = INPUT();


--rst is rst
--operation mode is input

rst = INPUT();


--en is en
--operation mode is input

en = INPUT();


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

led7s0[0] = OUTPUT(!A1L105);


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

led7s0[1] = OUTPUT(!A1L106);


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

led7s0[2] = OUTPUT(!A1L107);


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

led7s0[3] = OUTPUT(!A1L108);


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

led7s0[4] = OUTPUT(!A1L109);


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

led7s0[5] = OUTPUT(!A1L110);


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

led7s0[6] = OUTPUT(A1L111);


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

led7s1[0] = OUTPUT(!A1L112);


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

led7s1[1] = OUTPUT(!A1L113);


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

led7s1[2] = OUTPUT(!A1L114);


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

led7s1[3] = OUTPUT(!A1L115);


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

led7s1[4] = OUTPUT(!A1L116);


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

led7s1[5] = OUTPUT(!A1L117);


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

led7s1[6] = OUTPUT(A1L118);