taix_fee.map.eqn

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

--C1L72 is led_show:led|Select~4866
--operation mode is normal

C1L72 = A1L29 # B1_fee_L[3] & C1_led_seg[4] # !B1_fee_L[3] & (C1L71);

--C1L201 is led_show:led|Select~5016
--operation mode is normal

C1L201 = A1L29 # B1_fee_L[3] & C1_led_seg[4] # !B1_fee_L[3] & (C1L71);


--C1L295 is led_show:led|led_seg~393
--operation mode is normal

C1L295 = C1_led_seg[4] & B1_fee_L[3] & (B1_fee_L[1] # B1_fee_L[2]);

--C1L309 is led_show:led|led_seg~415
--operation mode is normal

C1L309 = C1_led_seg[4] & B1_fee_L[3] & (B1_fee_L[1] # B1_fee_L[2]);


--C1L73 is led_show:led|Select~4867
--operation mode is normal

C1L73 = C1_switch[1] & (C1_switch[0]) # !C1_switch[1] & (C1_switch[0] & C1L72 # !C1_switch[0] & (C1L295));

--C1L202 is led_show:led|Select~5017
--operation mode is normal

C1L202 = C1_switch[1] & (C1_switch[0]) # !C1_switch[1] & (C1_switch[0] & C1L72 # !C1_switch[0] & (C1L295));


--A1L30 is rtl~1226
--operation mode is normal

A1L30 = !B1_fee_B[1] & !B1_fee_B[2];

--A1L63 is rtl~1334
--operation mode is normal

A1L63 = !B1_fee_B[1] & !B1_fee_B[2];


--C1L74 is led_show:led|Select~4868
--operation mode is normal

C1L74 = B1_fee_B[2] # B1_fee_B[0];

--C1L203 is led_show:led|Select~5018
--operation mode is normal

C1L203 = B1_fee_B[2] # B1_fee_B[0];


--C1L75 is led_show:led|Select~4869
--operation mode is normal

C1L75 = A1L30 # B1_fee_B[3] & C1_led_seg[4] # !B1_fee_B[3] & (C1L74);

--C1L204 is led_show:led|Select~5019
--operation mode is normal

C1L204 = A1L30 # B1_fee_B[3] & C1_led_seg[4] # !B1_fee_B[3] & (C1L74);


--C1L76 is led_show:led|Select~4870
--operation mode is normal

C1L76 = C1_switch[1] & (C1L73 & (C1L75) # !C1L73 & C1L70) # !C1_switch[1] & (C1L73);

--C1L205 is led_show:led|Select~5020
--operation mode is normal

C1L205 = C1_switch[1] & (C1L73 & (C1L75) # !C1L73 & C1L70) # !C1_switch[1] & (C1L73);


--C1L77 is led_show:led|Select~4871
--operation mode is normal

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

--C1L206 is led_show:led|Select~5021
--operation mode is normal

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


--C1L78 is led_show:led|Select~4872
--operation mode is normal

C1L78 = C1L77 # C1_led_seg[4] & B1_km_half[3];

--C1L207 is led_show:led|Select~5022
--operation mode is normal

C1L207 = C1L77 # C1_led_seg[4] & B1_km_half[3];


--C1L79 is led_show:led|Select~4873
--operation mode is normal

C1L79 = K2_q[2] & (!K2_q[3]) # !K2_q[2] & (K2_q[0] & !K2_q[3] # !K2_q[1]);

--C1L208 is led_show:led|Select~5023
--operation mode is normal

C1L208 = K2_q[2] & (!K2_q[3]) # !K2_q[2] & (K2_q[0] & !K2_q[3] # !K2_q[1]);


--C1L80 is led_show:led|Select~4874
--operation mode is normal

C1L80 = C1L79 # C1_led_seg[4] & K2_q[3];

--C1L209 is led_show:led|Select~5024
--operation mode is normal

C1L209 = C1L79 # C1_led_seg[4] & K2_q[3];


--C1L296 is led_show:led|led_seg~394
--operation mode is normal

C1L296 = C1_led_seg[4] & B1_km_half[3] & (B1_km_half[1] # B1_km_half[2]);

--C1L310 is led_show:led|led_seg~416
--operation mode is normal

C1L310 = C1_led_seg[4] & B1_km_half[3] & (B1_km_half[1] # B1_km_half[2]);


--C1L81 is led_show:led|Select~4875
--operation mode is normal

C1L81 = C1_switch[0] & (C1_switch[1]) # !C1_switch[0] & (C1_switch[1] & C1L80 # !C1_switch[1] & (C1L296));

--C1L210 is led_show:led|Select~5025
--operation mode is normal

C1L210 = C1_switch[0] & (C1_switch[1]) # !C1_switch[0] & (C1_switch[1] & C1L80 # !C1_switch[1] & (C1L296));


--C1L82 is led_show:led|Select~4876
--operation mode is normal

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

--C1L211 is led_show:led|Select~5026
--operation mode is normal

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


--C1L83 is led_show:led|Select~4877
--operation mode is normal

C1L83 = C1L82 # C1_led_seg[4] & K1_q[3];

--C1L212 is led_show:led|Select~5027
--operation mode is normal

C1L212 = C1L82 # C1_led_seg[4] & K1_q[3];


--C1L84 is led_show:led|Select~4878
--operation mode is normal

C1L84 = C1_switch[0] & (C1L81 & (C1L83) # !C1L81 & C1L78) # !C1_switch[0] & (C1L81);

--C1L213 is led_show:led|Select~5028
--operation mode is normal

C1L213 = C1_switch[0] & (C1L81 & (C1L83) # !C1L81 & C1L78) # !C1_switch[0] & (C1L81);


--C1L85 is led_show:led|Select~4880
--operation mode is normal

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

--C1L214 is led_show:led|Select~5029
--operation mode is normal

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


--C1L86 is led_show:led|Select~4881
--operation mode is normal

C1L86 = C1L85 # C1_led_seg[5] & B1_fee_H[3];

--C1L215 is led_show:led|Select~5030
--operation mode is normal

C1L215 = C1L85 # C1_led_seg[5] & B1_fee_H[3];


--C1L87 is led_show:led|Select~4882
--operation mode is normal

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

--C1L216 is led_show:led|Select~5031
--operation mode is normal

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


--C1L88 is led_show:led|Select~4883
--operation mode is normal

C1L88 = C1L87 # C1_led_seg[5] & B1_fee_L[3];

--C1L217 is led_show:led|Select~5032
--operation mode is normal

C1L217 = C1L87 # C1_led_seg[5] & B1_fee_L[3];


--C1L297 is led_show:led|led_seg~395
--operation mode is normal

C1L297 = C1_led_seg[5] & B1_fee_L[3] & (B1_fee_L[1] # B1_fee_L[2]);

--C1L311 is led_show:led|led_seg~417
--operation mode is normal

C1L311 = C1_led_seg[5] & B1_fee_L[3] & (B1_fee_L[1] # B1_fee_L[2]);


--C1L89 is led_show:led|Select~4884
--operation mode is normal

C1L89 = C1_switch[1] & (C1_switch[0]) # !C1_switch[1] & (C1_switch[0] & C1L88 # !C1_switch[0] & (C1L297));

--C1L218 is led_show:led|Select~5033
--operation mode is normal

C1L218 = C1_switch[1] & (C1_switch[0]) # !C1_switch[1] & (C1_switch[0] & C1L88 # !C1_switch[0] & (C1L297));


--C1L90 is led_show:led|Select~4885
--operation mode is normal

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

--C1L219 is led_show:led|Select~5034
--operation mode is normal

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


--C1L91 is led_show:led|Select~4886
--operation mode is normal

C1L91 = C1L90 # C1_led_seg[5] & B1_fee_B[3];

--C1L220 is led_show:led|Select~5035
--operation mode is normal

C1L220 = C1L90 # C1_led_seg[5] & B1_fee_B[3];


--C1L92 is led_show:led|Select~4887
--operation mode is normal

C1L92 = C1_switch[1] & (C1L89 & (C1L91) # !C1L89 & C1L86) # !C1_switch[1] & (C1L89);

--C1L221 is led_show:led|Select~5036
--operation mode is normal

C1L221 = C1_switch[1] & (C1L89 & (C1L91) # !C1L89 & C1L86) # !C1_switch[1] & (C1L89);


--C1L93 is led_show:led|Select~4888
--operation mode is normal

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

--C1L222 is led_show:led|Select~5037
--operation mode is normal

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


--C1L94 is led_show:led|Select~4889
--operation mode is normal

C1L94 = C1L93 # C1_led_seg[5] & B1_km_half[3];

--C1L223 is led_show:led|Select~5038
--operation mode is normal

C1L223 = C1L93 # C1_led_seg[5] & B1_km_half[3];


--C1L95 is led_show:led|Select~4890
--operation mode is normal

C1L95 = K2_q[2] & !K2_q[3] & (K2_q[0] $ !K2_q[1]) # !K2_q[2] & (!K2_q[3] # !K2_q[1]);

--C1L224 is led_show:led|Select~5039
--operation mode is normal

C1L224 = K2_q[2] & !K2_q[3] & (K2_q[0] $ !K2_q[1]) # !K2_q[2] & (!K2_q[3] # !K2_q[1]);


--C1L96 is led_show:led|Select~4891
--operation mode is normal

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

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

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


--C1L298 is led_show:led|led_seg~396
--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
--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
--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
--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
--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
--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
--operation mode is normal

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

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

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


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

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

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

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


--C1L101 is led_show:led|Select~4897
--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
--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
--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
--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
--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
--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
--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
--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
--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
--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
--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
--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
--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
--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
--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
--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
--operation mode is normal

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

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

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


--C1L109 is led_show:led|Select~4905
--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
--operation mode is normal