taix_fee.fit.eqn

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

--C1L191 is led_show:led|Select~5006 at LC3_B36
--operation mode is normal

C1L191 = B1_km_half[3] & (C1_led_seg[3] # !B1_km_half[1] & !C1L61) # !B1_km_half[3] & (C1L61);


--C1L63 is led_show:led|Select~4856 at LC7_B27
--operation mode is normal

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

--C1L192 is led_show:led|Select~5007 at LC7_B27
--operation mode is normal

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


--C1L64 is led_show:led|Select~4857 at LC3_B27
--operation mode is normal

C1L64 = K2_q[3] & (C1_led_seg[3] # !K2_q[1] & !C1L63) # !K2_q[3] & (C1L63);

--C1L193 is led_show:led|Select~5008 at LC3_B27
--operation mode is normal

C1L193 = K2_q[3] & (C1_led_seg[3] # !K2_q[1] & !C1L63) # !K2_q[3] & (C1L63);


--C1L294 is led_show:led|led_seg~392 at LC7_B36
--operation mode is normal

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

--C1L308 is led_show:led|led_seg~414 at LC7_B36
--operation mode is normal

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


--C1L65 is led_show:led|Select~4858 at LC6_B28
--operation mode is normal

C1L65 = C1_switch[0] & (C1_switch[1]) # !C1_switch[0] & (C1_switch[1] & C1L64 # !C1_switch[1] & (C1L294));

--C1L194 is led_show:led|Select~5009 at LC6_B28
--operation mode is normal

C1L194 = C1_switch[0] & (C1_switch[1]) # !C1_switch[0] & (C1_switch[1] & C1L64 # !C1_switch[1] & (C1L294));


--C1L66 is led_show:led|Select~4859 at LC7_B20
--operation mode is normal

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

--C1L195 is led_show:led|Select~5010 at LC7_B20
--operation mode is normal

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


--C1L67 is led_show:led|Select~4860 at LC3_B20
--operation mode is normal

C1L67 = K1_q[3] & (C1_led_seg[3] # !K1_q[1] & !C1L66) # !K1_q[3] & (C1L66);

--C1L196 is led_show:led|Select~5011 at LC3_B20
--operation mode is normal

C1L196 = K1_q[3] & (C1_led_seg[3] # !K1_q[1] & !C1L66) # !K1_q[3] & (C1L66);


--C1L68 is led_show:led|Select~4861 at LC8_B28
--operation mode is normal

C1L68 = C1_switch[0] & (C1L65 & (C1L67) # !C1L65 & C1L62) # !C1_switch[0] & (C1L65);

--C1L197 is led_show:led|Select~5012 at LC8_B28
--operation mode is normal

C1L197 = C1_switch[0] & (C1L65 & (C1L67) # !C1L65 & C1L62) # !C1_switch[0] & (C1L65);


--C1L69 is led_show:led|Select~4863 at LC7_B33
--operation mode is normal

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

--C1L198 is led_show:led|Select~5013 at LC7_B33
--operation mode is normal

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


--C1L70 is led_show:led|Select~4864 at LC1_B33
--operation mode is normal

C1L70 = C1L69 # C1_led_seg[4] & B1_fee_H[3];

--C1L199 is led_show:led|Select~5014 at LC1_B33
--operation mode is normal

C1L199 = C1L69 # C1_led_seg[4] & B1_fee_H[3];


--A1L29 is rtl~1225 at LC1_C26
--operation mode is normal

A1L29 = !B1_fee_L[1] & !B1_fee_L[2];

--A1L62 is rtl~1333 at LC1_C26
--operation mode is normal

A1L62 = !B1_fee_L[1] & !B1_fee_L[2];


--C1L71 is led_show:led|Select~4865 at LC3_B15
--operation mode is normal

C1L71 = B1_fee_L[2] # B1_fee_L[0];

--C1L200 is led_show:led|Select~5015 at LC3_B15
--operation mode is normal

C1L200 = B1_fee_L[2] # B1_fee_L[0];


--C1L72 is led_show:led|Select~4866 at LC3_C26
--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 at LC3_C26
--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 at LC4_C26
--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 at LC4_C26
--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 at LC5_C26
--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 at LC5_C26
--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 at LC7_B5
--operation mode is normal

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

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

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


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

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

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

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


--C1L75 is led_show:led|Select~4869 at LC1_B5
--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 at LC1_B5
--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 at LC6_C26
--operation mode is normal

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

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

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


--C1L77 is led_show:led|Select~4871 at LC8_B31
--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 at LC8_B31
--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 at LC2_B31
--operation mode is normal

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

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

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


--C1L79 is led_show:led|Select~4873 at LC8_B27
--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 at LC8_B27
--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 at LC1_B27
--operation mode is normal

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

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

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


--C1L296 is led_show:led|led_seg~394 at LC4_B31
--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 at LC4_B31
--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 at LC7_C26
--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 at LC7_C26
--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 at LC8_B20
--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 at LC8_B20
--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 at LC1_B20
--operation mode is normal

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

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

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


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

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

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

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


--C1L85 is led_show:led|Select~4880 at LC2_B7
--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 at LC2_B7
--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 at LC1_B7
--operation mode is normal

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

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

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


--C1L87 is led_show:led|Select~4882 at LC1_B26
--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 at LC1_B26
--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 at LC3_B26
--operation mode is normal

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

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

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


--C1L297 is led_show:led|led_seg~395 at LC4_B26
--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 at LC4_B26
--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 at LC5_B26
--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 at LC5_B26
--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 at LC5_B6
--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 at LC5_B6
--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 at LC6_B6
--operation mode is normal

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

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

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


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

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

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

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


--C1L93 is led_show:led|Select~4888 at LC5_B36
--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 at LC5_B36
--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 at LC2_B36
--operation mode is normal

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

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

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


--C1L95 is led_show:led|Select~4890 at LC5_B17
--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 at LC5_B17
--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 at LC2_B17
--operation mode is normal

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