taix_fee.fit.eqn

verilog HDL编写的出租车计费系统

--C1L225 is led_show:led|Select~5040 at LC2_B17
--operation mode is normal

C1L225 = C1L95 # C1_led_seg[5] & K2_q[3];


--C1L298 is led_show:led|led_seg~396 at LC6_B36
--operation mode is normal

C1L298 = C1_led_seg[5] & B1_km_half[3] & (B1_km_half[1] # B1_km_half[2]);

--C1L312 is led_show:led|led_seg~418 at LC6_B36
--operation mode is normal

C1L312 = C1_led_seg[5] & B1_km_half[3] & (B1_km_half[1] # B1_km_half[2]);


--C1L97 is led_show:led|Select~4892 at LC7_B26
--operation mode is normal

C1L97 = C1_switch[0] & (C1_switch[1]) # !C1_switch[0] & (C1_switch[1] & C1L96 # !C1_switch[1] & (C1L298));

--C1L226 is led_show:led|Select~5041 at LC7_B26
--operation mode is normal

C1L226 = C1_switch[0] & (C1_switch[1]) # !C1_switch[0] & (C1_switch[1] & C1L96 # !C1_switch[1] & (C1L298));


--C1L98 is led_show:led|Select~4893 at LC3_B35
--operation mode is normal

C1L98 = K1_q[2] & !K1_q[3] & (K1_q[0] $ !K1_q[1]) # !K1_q[2] & (!K1_q[3] # !K1_q[1]);

--C1L227 is led_show:led|Select~5042 at LC3_B35
--operation mode is normal

C1L227 = K1_q[2] & !K1_q[3] & (K1_q[0] $ !K1_q[1]) # !K1_q[2] & (!K1_q[3] # !K1_q[1]);


--C1L99 is led_show:led|Select~4894 at LC5_B35
--operation mode is normal

C1L99 = C1L98 # C1_led_seg[5] & K1_q[3];

--C1L228 is led_show:led|Select~5043 at LC5_B35
--operation mode is normal

C1L228 = C1L98 # C1_led_seg[5] & K1_q[3];


--C1L100 is led_show:led|Select~4895 at LC8_B26
--operation mode is normal

C1L100 = C1_switch[0] & (C1L97 & (C1L99) # !C1L97 & C1L94) # !C1_switch[0] & (C1L97);

--C1L229 is led_show:led|Select~5044 at LC8_B26
--operation mode is normal

C1L229 = C1_switch[0] & (C1L97 & (C1L99) # !C1L97 & C1L94) # !C1_switch[0] & (C1L97);


--C1L101 is led_show:led|Select~4897 at LC2_B14
--operation mode is normal

C1L101 = B1_fee_H[3] & (B1_fee_H[2]) # !B1_fee_H[3] & (B1_fee_H[1] # B1_fee_H[0] $ !B1_fee_H[2]);

--C1L230 is led_show:led|Select~5045 at LC2_B14
--operation mode is normal

C1L230 = B1_fee_H[3] & (B1_fee_H[2]) # !B1_fee_H[3] & (B1_fee_H[1] # B1_fee_H[0] $ !B1_fee_H[2]);


--C1L102 is led_show:led|Select~4898 at LC3_B14
--operation mode is normal

C1L102 = B1_fee_H[3] & (C1_led_seg[6] # !B1_fee_H[1] & !C1L101) # !B1_fee_H[3] & (C1L101);

--C1L231 is led_show:led|Select~5046 at LC3_B14
--operation mode is normal

C1L231 = B1_fee_H[3] & (C1_led_seg[6] # !B1_fee_H[1] & !C1L101) # !B1_fee_H[3] & (C1L101);


--C1L103 is led_show:led|Select~4899 at LC4_B14
--operation mode is normal

C1L103 = B1_fee_L[3] & (B1_fee_L[2]) # !B1_fee_L[3] & (B1_fee_L[1] # B1_fee_L[0] $ !B1_fee_L[2]);

--C1L232 is led_show:led|Select~5047 at LC4_B14
--operation mode is normal

C1L232 = B1_fee_L[3] & (B1_fee_L[2]) # !B1_fee_L[3] & (B1_fee_L[1] # B1_fee_L[0] $ !B1_fee_L[2]);


--C1L104 is led_show:led|Select~4900 at LC5_B14
--operation mode is normal

C1L104 = B1_fee_L[3] & (C1_led_seg[6] # !B1_fee_L[1] & !C1L103) # !B1_fee_L[3] & (C1L103);

--C1L233 is led_show:led|Select~5048 at LC5_B14
--operation mode is normal

C1L233 = B1_fee_L[3] & (C1_led_seg[6] # !B1_fee_L[1] & !C1L103) # !B1_fee_L[3] & (C1L103);


--C1L299 is led_show:led|led_seg~397 at LC6_B14
--operation mode is normal

C1L299 = C1_led_seg[6] & B1_fee_L[3] & (B1_fee_L[1] # B1_fee_L[2]);

--C1L313 is led_show:led|led_seg~419 at LC6_B14
--operation mode is normal

C1L313 = C1_led_seg[6] & B1_fee_L[3] & (B1_fee_L[1] # B1_fee_L[2]);


--C1L105 is led_show:led|Select~4901 at LC7_B14
--operation mode is normal

C1L105 = C1_switch[1] & (C1_switch[0]) # !C1_switch[1] & (C1_switch[0] & C1L104 # !C1_switch[0] & (C1L299));

--C1L234 is led_show:led|Select~5049 at LC7_B14
--operation mode is normal

C1L234 = C1_switch[1] & (C1_switch[0]) # !C1_switch[1] & (C1_switch[0] & C1L104 # !C1_switch[0] & (C1L299));


--C1L106 is led_show:led|Select~4902 at LC5_B3
--operation mode is normal

C1L106 = B1_fee_B[3] & (B1_fee_B[2]) # !B1_fee_B[3] & (B1_fee_B[1] # B1_fee_B[0] $ !B1_fee_B[2]);

--C1L235 is led_show:led|Select~5050 at LC5_B3
--operation mode is normal

C1L235 = B1_fee_B[3] & (B1_fee_B[2]) # !B1_fee_B[3] & (B1_fee_B[1] # B1_fee_B[0] $ !B1_fee_B[2]);


--C1L107 is led_show:led|Select~4903 at LC8_B14
--operation mode is normal

C1L107 = B1_fee_B[3] & (C1_led_seg[6] # !B1_fee_B[1] & !C1L106) # !B1_fee_B[3] & (C1L106);

--C1L236 is led_show:led|Select~5051 at LC8_B14
--operation mode is normal

C1L236 = B1_fee_B[3] & (C1_led_seg[6] # !B1_fee_B[1] & !C1L106) # !B1_fee_B[3] & (C1L106);


--C1L108 is led_show:led|Select~4904 at LC1_B14
--operation mode is normal

C1L108 = C1_switch[1] & (C1L105 & (C1L107) # !C1L105 & C1L102) # !C1_switch[1] & (C1L105);

--C1L237 is led_show:led|Select~5052 at LC1_B14
--operation mode is normal

C1L237 = C1_switch[1] & (C1L105 & (C1L107) # !C1L105 & C1L102) # !C1_switch[1] & (C1L105);


--C1L109 is led_show:led|Select~4905 at LC1_B25
--operation mode is normal

C1L109 = B1_km_half[3] & (B1_km_half[2]) # !B1_km_half[3] & (B1_km_half[1] # B1_km_half[0] $ !B1_km_half[2]);

--C1L238 is led_show:led|Select~5053 at LC1_B25
--operation mode is normal

C1L238 = B1_km_half[3] & (B1_km_half[2]) # !B1_km_half[3] & (B1_km_half[1] # B1_km_half[0] $ !B1_km_half[2]);


--C1L110 is led_show:led|Select~4906 at LC3_B25
--operation mode is normal

C1L110 = B1_km_half[3] & (C1_led_seg[6] # !B1_km_half[1] & !C1L109) # !B1_km_half[3] & (C1L109);

--C1L239 is led_show:led|Select~5054 at LC3_B25
--operation mode is normal

C1L239 = B1_km_half[3] & (C1_led_seg[6] # !B1_km_half[1] & !C1L109) # !B1_km_half[3] & (C1L109);


--C1L300 is led_show:led|led_seg~398 at LC4_B25
--operation mode is normal

C1L300 = C1_led_seg[6] & B1_km_half[3] & (B1_km_half[1] # B1_km_half[2]);

--C1L314 is led_show:led|led_seg~420 at LC4_B25
--operation mode is normal

C1L314 = C1_led_seg[6] & B1_km_half[3] & (B1_km_half[1] # B1_km_half[2]);


--C1L111 is led_show:led|Select~4907 at LC5_B25
--operation mode is normal

C1L111 = C1_switch[0] & (C1_switch[1]) # !C1_switch[0] & (C1_switch[1] & C1L128 # !C1_switch[1] & (C1L300));

--C1L240 is led_show:led|Select~5055 at LC5_B25
--operation mode is normal

C1L240 = C1_switch[0] & (C1_switch[1]) # !C1_switch[0] & (C1_switch[1] & C1L128 # !C1_switch[1] & (C1L300));


--C1L112 is led_show:led|Select~4908 at LC7_B25
--operation mode is normal

C1L112 = C1_switch[0] & (C1L111 & (C1L129) # !C1L111 & C1L110) # !C1_switch[0] & (C1L111);

--C1L241 is led_show:led|Select~5056 at LC7_B25
--operation mode is normal

C1L241 = C1_switch[0] & (C1L111 & (C1L129) # !C1L111 & C1L110) # !C1_switch[0] & (C1L111);


--C1L113 is led_show:led|Select~4910 at LC3_B21
--operation mode is normal

C1L113 = !C1_switch[0] & (!B1_fee_H[1] & !B1_fee_H[2] # !B1_fee_H[3]);

--C1L242 is led_show:led|Select~5057 at LC3_B21
--operation mode is normal

C1L242 = !C1_switch[0] & (!B1_fee_H[1] & !B1_fee_H[2] # !B1_fee_H[3]);


--C1L114 is led_show:led|Select~4911 at LC4_B21
--operation mode is normal

C1L114 = C1_switch[1] & (!C1L7 & !C1L113) # !C1_switch[1] & C1L398;

--C1L243 is led_show:led|Select~5058 at LC4_B21
--operation mode is normal

C1L243 = C1_switch[1] & (!C1L7 & !C1L113) # !C1_switch[1] & C1L398;


--C1L115 is led_show:led|Select~4912 at LC5_B21
--operation mode is normal

C1L115 = C1_led_seg[7] & (C1L397 # !C1_switch[0]) # !C1_led_seg[7] & (!C1L5 & !C1_switch[0]);

--C1L244 is led_show:led|Select~5059 at LC5_B21
--operation mode is normal

C1L244 = C1_led_seg[7] & (C1L397 # !C1_switch[0]) # !C1_led_seg[7] & (!C1L5 & !C1_switch[0]);


--C1L400 is led_show:led|reduce_or~298 at LC3_B31
--operation mode is normal

C1L400 = B1_km_half[3] & (B1_km_half[1] # B1_km_half[2]);

--C1L404 is led_show:led|reduce_or~302 at LC3_B31
--operation mode is normal

C1L404 = B1_km_half[3] & (B1_km_half[1] # B1_km_half[2]);


--C1L116 is led_show:led|Select~4913 at LC6_B21
--operation mode is normal

C1L116 = C1_switch[1] & C1L115 # !C1_switch[1] & (C1_led_seg[7] & C1L400);

--C1L245 is led_show:led|Select~5060 at LC6_B21
--operation mode is normal

C1L245 = C1_switch[1] & C1L115 # !C1_switch[1] & (C1_led_seg[7] & C1L400);


--B1_km_H_S is km_counter:km_c|km_H_S at LC2_B18
--operation mode is normal

B1_km_H_S_lut_out = B1L61 & B1_km_L_S & !B1_km_H_S;
B1_km_H_S = DFFEA(B1_km_H_S_lut_out, GLOBAL(a), , , , , );

--B1L62Q is km_counter:km_c|km_H_S~41 at LC2_B18
--operation mode is normal

B1L62Q = B1_km_H_S;


--B1L64 is km_counter:km_c|km_H~94 at LC1_B8
--operation mode is normal

B1L64 = K1_q[2] # K1_q[1] # !K1_q[0] # !K1_q[3];

--B1L66 is km_counter:km_c|km_H~96 at LC1_B8
--operation mode is normal

B1L66 = K1_q[2] # K1_q[1] # !K1_q[0] # !K1_q[3];


--B1_reset_flag is km_counter:km_c|reset_flag at LC5_B4
--operation mode is normal

B1_reset_flag_lut_out = GND;
B1_reset_flag = DFFEA(B1_reset_flag_lut_out, D1_k3o, !D1_k1o, , , GND, B1L15);

--B1L149Q is km_counter:km_c|reset_flag~15 at LC5_B4
--operation mode is normal

B1L149Q = B1_reset_flag;


--B1L65 is km_counter:km_c|km_H~95 at LC2_B8
--operation mode is normal

B1L65 = B1_km_H_S & B1L64 # !B1_km_H_S & (!B1_reset_flag);

--B1L67 is km_counter:km_c|km_H~97 at LC2_B8
--operation mode is normal

B1L67 = B1_km_H_S & B1L64 # !B1_km_H_S & (!B1_reset_flag);


--C1L117 is led_show:led|Select~4916 at LC2_B34
--operation mode is normal

C1L117 = C1_switch[2] & (!B1_fee_L[1] & !B1_fee_L[2] # !B1_fee_L[3]);

--C1L246 is led_show:led|Select~5061 at LC2_B34
--operation mode is normal

C1L246 = C1_switch[2] & (!B1_fee_L[1] & !B1_fee_L[2] # !B1_fee_L[3]);


--C1L118 is led_show:led|Select~4918 at LC7_B21
--operation mode is normal

C1L118 = !C1_switch[2] & (C1_switch[1] & C1L397 # !C1_switch[1] & (C1L400));

--C1L247 is led_show:led|Select~5062 at LC7_B21
--operation mode is normal

C1L247 = !C1_switch[2] & (C1_switch[1] & C1L397 # !C1_switch[1] & (C1L400));


--C1L119 is led_show:led|Select~4919 at LC8_B21
--operation mode is normal

C1L119 = C1_switch[2] & !C1_switch[1];

--C1L248 is led_show:led|Select~5063 at LC8_B21
--operation mode is normal

C1L248 = C1_switch[2] & !C1_switch[1];


--A1L23 is rtl~3 at LC5_F10
--operation mode is normal

A1L23 = A1L50 & A1L51 & A1L52 & A1L53;

--A1L64 is rtl~1335 at LC5_F10
--operation mode is normal

A1L64 = A1L50 & A1L51 & A1L52 & A1L53;


--B1_km_L_S is km_counter:km_c|km_L_S at LC7_B4
--operation mode is normal

B1_km_L_S_lut_out = A1L33 & B1_km_half_S & !B1_reset_flag & !B1_km_L_S;
B1_km_L_S = DFFEA(B1_km_L_S_lut_out, GLOBAL(a), , , , , );

--B1L69Q is km_counter:km_c|km_L_S~29 at LC7_B4
--operation mode is normal

B1L69Q = B1_km_L_S;


--B1L61 is km_counter:km_c|km_H_S~39 at LC3_B18
--operation mode is normal

B1L61 = K2_q[3] & K2_q[0] & !K2_q[2] & !K2_q[1];

--B1L63 is km_counter:km_c|km_H_S~42 at LC3_B18
--operation mode is normal

B1L63 = K2_q[3] & K2_q[0] & !K2_q[2] & !K2_q[1];


--B1L70 is km_counter:km_c|km_L~83 at LC8_B18
--operation mode is normal

B1L70 = B1_km_L_S & (!B1L61) # !B1_km_L_S & !B1_reset_flag;

--B1L71 is km_counter:km_c|km_L~84 at LC8_B18
--operation mode is normal

B1L71 = B1_km_L_S & (!B1L61) # !B1_km_L_S & !B1_reset_flag;


--B1_fee_L_S is km_counter:km_c|fee_L_S at LC8_B4
--operation mode is normal

B1_fee_L_S_lut_out = B1L49 & B1_km_half_S & B1L50;
B1_fee_L_S = DFFEA(B1_fee_L_S_lut_out, GLOBAL(a), , , , , );

--B1L51Q is km_counter:km_c|fee_L_S~419 at LC8_B4
--operation mode is normal

B1L51Q = B1_fee_L_S;


--A1L31 is rtl~1231 at LC8_B15
--operation mode is normal

A1L31 = B1_fee_L[3] & B1_fee_L[0] & !B1_fee_L[1] & !B1_fee_L[2];

--A1L65 is rtl~1336 at LC8_B15
--operation mode is normal

A1L65 = B1_fee_L[3] & B1_fee_L[0] & !B1_fee_L[1] & !B1_fee_L[2];


--B1L54 is km_counter:km_c|fee_L~504 at LC5_B15
--operation mode is normal

B1L54 = B1_fee_L_S & !A1L31;

--B1L57 is km_counter:km_c|fee_L~515 at LC5_B15
--operation mode is normal

B1L57 = B1_fee_L_S & !A1L31;


--C1L120 is led_show:led|Select~4921 at LC6_B15
--operation mode is normal

C1L120 = B1_fee_L[1] & B1_fee_L[0];

--C1L249 is led_show:led|Select~5064 at LC6_B15
--operation mode is normal

C1L249 = B1_fee_L[1] & B1_fee_L[0];


--B1L55 is km_counter:km_c|fee_L~505 at LC7_B15
--operation mode is