taix_fee.map.eqn

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

--C1L35 is led_show:led|Select~4825
--operation mode is normal

C1L35 = K2_q[3] & (C1_led_seg[1] # !K2_q[2] & !C1L34) # !K2_q[3] & (C1L34);

--C1L164 is led_show:led|Select~4979
--operation mode is normal

C1L164 = K2_q[3] & (C1_led_seg[1] # !K2_q[2] & !C1L34) # !K2_q[3] & (C1L34);


--C1L290 is led_show:led|led_seg~388
--operation mode is normal

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

--C1L304 is led_show:led|led_seg~410
--operation mode is normal

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


--C1L36 is led_show:led|Select~4826
--operation mode is normal

C1L36 = C1_switch[0] & (C1_switch[1]) # !C1_switch[0] & (C1_switch[1] & C1L35 # !C1_switch[1] & (C1L290));

--C1L165 is led_show:led|Select~4980
--operation mode is normal

C1L165 = C1_switch[0] & (C1_switch[1]) # !C1_switch[0] & (C1_switch[1] & C1L35 # !C1_switch[1] & (C1L290));


--C1L37 is led_show:led|Select~4827
--operation mode is normal

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

--C1L166 is led_show:led|Select~4981
--operation mode is normal

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


--C1L38 is led_show:led|Select~4828
--operation mode is normal

C1L38 = K1_q[3] & (C1_led_seg[1] # !K1_q[2] & !C1L37) # !K1_q[3] & (C1L37);

--C1L167 is led_show:led|Select~4982
--operation mode is normal

C1L167 = K1_q[3] & (C1_led_seg[1] # !K1_q[2] & !C1L37) # !K1_q[3] & (C1L37);


--C1L39 is led_show:led|Select~4829
--operation mode is normal

C1L39 = C1_switch[0] & (C1L36 & (C1L38) # !C1L36 & C1L33) # !C1_switch[0] & (C1L36);

--C1L168 is led_show:led|Select~4983
--operation mode is normal

C1L168 = C1_switch[0] & (C1L36 & (C1L38) # !C1L36 & C1L33) # !C1_switch[0] & (C1L36);


--C1L40 is led_show:led|Select~4832
--operation mode is normal

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

--C1L169 is led_show:led|Select~4984
--operation mode is normal

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


--C1L291 is led_show:led|led_seg~389
--operation mode is normal

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

--C1L305 is led_show:led|led_seg~411
--operation mode is normal

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


--C1L41 is led_show:led|Select~4833
--operation mode is normal

C1L41 = C1_switch[1] & (C1_switch[0]) # !C1_switch[1] & (C1L291 # C1L40 & C1_switch[0]);

--C1L170 is led_show:led|Select~4985
--operation mode is normal

C1L170 = C1_switch[1] & (C1_switch[0]) # !C1_switch[1] & (C1L291 # C1L40 & C1_switch[0]);


--C1L42 is led_show:led|Select~4834
--operation mode is normal

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

--C1L171 is led_show:led|Select~4986
--operation mode is normal

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


--C1L399 is led_show:led|reduce_or~297
--operation mode is normal

C1L399 = B1_fee_B[3] & (B1_fee_B[1] # B1_fee_B[2]);

--C1L403 is led_show:led|reduce_or~301
--operation mode is normal

C1L403 = B1_fee_B[3] & (B1_fee_B[1] # B1_fee_B[2]);


--C1L43 is led_show:led|Select~4835
--operation mode is normal

C1L43 = C1L42 # C1_led_seg[2] & C1L399;

--C1L172 is led_show:led|Select~4987
--operation mode is normal

C1L172 = C1L42 # C1_led_seg[2] & C1L399;


--C1L44 is led_show:led|Select~4836
--operation mode is normal

C1L44 = C1_switch[1] & (C1L41 & (C1L43) # !C1L41 & !C1L131) # !C1_switch[1] & (C1L41);

--C1L173 is led_show:led|Select~4988
--operation mode is normal

C1L173 = C1_switch[1] & (C1L41 & (C1L43) # !C1L41 & !C1L131) # !C1_switch[1] & (C1L41);


--C1L292 is led_show:led|led_seg~390
--operation mode is normal

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

--C1L306 is led_show:led|led_seg~412
--operation mode is normal

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


--C1L45 is led_show:led|Select~4837
--operation mode is normal

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

--C1L174 is led_show:led|Select~4989
--operation mode is normal

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


--C1L46 is led_show:led|Select~4838
--operation mode is normal

C1L46 = C1L292 # C1L45;

--C1L175 is led_show:led|Select~4990
--operation mode is normal

C1L175 = C1L292 # C1L45;


--C1L47 is led_show:led|Select~4839
--operation mode is normal

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

--C1L176 is led_show:led|Select~4991
--operation mode is normal

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


--C1L48 is led_show:led|Select~4840
--operation mode is normal

C1L48 = C1L47 # C1_led_seg[2] & C1L5;

--C1L177 is led_show:led|Select~4992
--operation mode is normal

C1L177 = C1L47 # C1_led_seg[2] & C1L5;


--C1L49 is led_show:led|Select~4841
--operation mode is normal

C1L49 = C1_switch[0] & (C1_switch[1]) # !C1_switch[0] & (C1_switch[1] & C1L48 # !C1_switch[1] & (C1L292));

--C1L178 is led_show:led|Select~4993
--operation mode is normal

C1L178 = C1_switch[0] & (C1_switch[1]) # !C1_switch[0] & (C1_switch[1] & C1L48 # !C1_switch[1] & (C1L292));


--C1L50 is led_show:led|Select~4842
--operation mode is normal

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

--C1L179 is led_show:led|Select~4994
--operation mode is normal

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


--C1L51 is led_show:led|Select~4843
--operation mode is normal

C1L51 = C1L50 # C1_led_seg[2] & C1L397;

--C1L180 is led_show:led|Select~4995
--operation mode is normal

C1L180 = C1L50 # C1_led_seg[2] & C1L397;


--C1L52 is led_show:led|Select~4844
--operation mode is normal

C1L52 = C1_switch[0] & (C1L49 & (C1L51) # !C1L49 & C1L46) # !C1_switch[0] & (C1L49);

--C1L181 is led_show:led|Select~4996
--operation mode is normal

C1L181 = C1_switch[0] & (C1L49 & (C1L51) # !C1L49 & C1L46) # !C1_switch[0] & (C1L49);


--C1L53 is led_show:led|Select~4846
--operation mode is normal

C1L53 = 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] # !B1_fee_H[0]);

--C1L182 is led_show:led|Select~4997
--operation mode is normal

C1L182 = 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] # !B1_fee_H[0]);


--C1L54 is led_show:led|Select~4847
--operation mode is normal

C1L54 = B1_fee_H[3] & (C1_led_seg[3] # !B1_fee_H[1] & !C1L53) # !B1_fee_H[3] & (C1L53);

--C1L183 is led_show:led|Select~4998
--operation mode is normal

C1L183 = B1_fee_H[3] & (C1_led_seg[3] # !B1_fee_H[1] & !C1L53) # !B1_fee_H[3] & (C1L53);


--C1L55 is led_show:led|Select~4848
--operation mode is normal

C1L55 = 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] # !B1_fee_L[0]);

--C1L184 is led_show:led|Select~4999
--operation mode is normal

C1L184 = 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] # !B1_fee_L[0]);


--C1L56 is led_show:led|Select~4849
--operation mode is normal

C1L56 = B1_fee_L[3] & (C1_led_seg[3] # !B1_fee_L[1] & !C1L55) # !B1_fee_L[3] & (C1L55);

--C1L185 is led_show:led|Select~5000
--operation mode is normal

C1L185 = B1_fee_L[3] & (C1_led_seg[3] # !B1_fee_L[1] & !C1L55) # !B1_fee_L[3] & (C1L55);


--C1L293 is led_show:led|led_seg~391
--operation mode is normal

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

--C1L307 is led_show:led|led_seg~413
--operation mode is normal

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


--C1L57 is led_show:led|Select~4850
--operation mode is normal

C1L57 = C1_switch[1] & (C1_switch[0]) # !C1_switch[1] & (C1_switch[0] & C1L56 # !C1_switch[0] & (C1L293));

--C1L186 is led_show:led|Select~5001
--operation mode is normal

C1L186 = C1_switch[1] & (C1_switch[0]) # !C1_switch[1] & (C1_switch[0] & C1L56 # !C1_switch[0] & (C1L293));


--C1L58 is led_show:led|Select~4851
--operation mode is normal

C1L58 = 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] # !B1_fee_B[0]);

--C1L187 is led_show:led|Select~5002
--operation mode is normal

C1L187 = 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] # !B1_fee_B[0]);


--C1L59 is led_show:led|Select~4852
--operation mode is normal

C1L59 = B1_fee_B[3] & (C1_led_seg[3] # !B1_fee_B[1] & !C1L58) # !B1_fee_B[3] & (C1L58);

--C1L188 is led_show:led|Select~5003
--operation mode is normal

C1L188 = B1_fee_B[3] & (C1_led_seg[3] # !B1_fee_B[1] & !C1L58) # !B1_fee_B[3] & (C1L58);


--C1L60 is led_show:led|Select~4853
--operation mode is normal

C1L60 = C1_switch[1] & (C1L57 & (C1L59) # !C1L57 & C1L54) # !C1_switch[1] & (C1L57);

--C1L189 is led_show:led|Select~5004
--operation mode is normal

C1L189 = C1_switch[1] & (C1L57 & (C1L59) # !C1L57 & C1L54) # !C1_switch[1] & (C1L57);


--C1L61 is led_show:led|Select~4854
--operation mode is normal

C1L61 = 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] # !B1_km_half[0]);

--C1L190 is led_show:led|Select~5005
--operation mode is normal

C1L190 = 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] # !B1_km_half[0]);


--C1L62 is led_show:led|Select~4855
--operation mode is normal

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

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

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

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

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


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

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

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

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


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

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

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

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


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

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

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

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