taix_fee.map.eqn

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

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
--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
--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
--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
--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
--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
--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
--operation mode is normal

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

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

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


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

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

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

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


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

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


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

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

--C1L245 is led_show:led|Select~5060
--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
--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, a, , , , , );

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

B1L62Q = B1_km_H_S;


--B1L64 is km_counter:km_c|km_H~94
--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
--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
--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
--operation mode is normal

B1L149Q = B1_reset_flag;


--B1L65 is km_counter:km_c|km_H~95
--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
--operation mode is normal

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


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

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

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

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


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

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

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

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


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

A1L23 = A1L50 & A1L51 & A1L52 & A1L53;

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

A1L64 = A1L50 & A1L51 & A1L52 & A1L53;


--B1_km_L_S is km_counter:km_c|km_L_S
--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, a, , , , , );

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

B1L69Q = B1_km_L_S;


--B1L61 is km_counter:km_c|km_H_S~39
--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
--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
--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
--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
--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, a, , , , , );

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

B1L51Q = B1_fee_L_S;


--A1L31 is rtl~1231
--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
--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
--operation mode is normal

B1L54 = B1_fee_L_S & (!A1L31);

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

B1L57 = B1_fee_L_S & (!A1L31);


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

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

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

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


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

B1L55 = B1L54 & (B1_fee_L[3] $ (B1_fee_L[2] & C1L120));

--B1L58 is km_counter:km_c|fee_L~516
--operation mode is normal

B1L58 = B1L54 & (B1_fee_L[3] $ (B1_fee_L[2] & C1L120));


--A1L32 is rtl~1232
--operation mode is normal

A1L32 = !K1_q[2] & !K1_q[1] & !K1_q[3] & !K1_q[0];

--A1L66 is rtl~1337
--operation mode is normal

A1L66 = !K1_q[2] & !K1_q[1] & !K1_q[3] & !K1_q[0];


--B1L9 is km_counter:km_c|always1~82
--operation mode is normal

B1L9 = !K2_q[2] & !K2_q[1] & !B1_km_half[1] & !B1_km_half[2];

--B1L12 is km_counter:km_c|always1~85
--operation mode is normal

B1L12 = !K2_q[2] & !K2_q[1] & !B1_km_half[1] & !B1_km_half[2];


--B1L10 is km_counter:km_c|always1~83
--operation mode is normal

B1L10 = !K2_q[3] & !B1_km_half[3] & !K2_q[0] & !B1_km_half[0];

--B1L13 is km_counter:km_c|always1~86
--operation mode is normal

B1L13 = !K2_q[3] & !B1_km_half[3] & !K2_q[0] & !B1_km_half[0];


--B1L11 is km_counter:km_c|always1~84
--operation mode is normal

B1L11 = A1L32 & B1L9 & B1L10;

--B1L14 is km_counter:km_c|always1~87
--operation mode is normal

B1L14 = A1L32 & B1L9 & B1L10;


--B1L56 is km_counter:km_c|fee_L~507
--operation mode is normal

B1L56 = B1_fee_L_S & !A1L31 & (B1_fee_L[1] $ B1_fee_L[0]) # !B1_fee_L_S & B1_fee_L[1];

--B1L59 is km_counter:km_c|fee_L~517
--operation mode is normal

B1L59 = B1_fee_L_S & !A1L31 & (B1_fee_L[1] $ B1_fee_L[0]) # !B1_fee_L_S & B1_fee_L[1];


--D1_k3o is qdd:qdd1|k3o
--operation mode is normal

D1_k3o_lut_out = D1_c;
D1_k3o = DFFEA(D1_k3o_lut_out, D1_f1, , , , , );

--D1L79Q is qdd:qdd1|k3o~1
--operation mode is normal

D1L79Q = D1_k3o;


--D1_k1o is qdd:qdd1|k1o
--operation mode is normal

D1_k1o_lut_out = D1_a;
D1_k1o = DFFEA(D1_k1o_lut_out, D1_f1, , , , , );

--D1L75Q is qdd:qdd1|k1o~1
--operation mode is normal

D1L75Q = D1_k1o;


--D1_k2o is qdd:qdd1|k2o
--operation mode is normal

D1_k2o_lut_out = D1_b;
D1_k2o = DFFEA(D1_k2o_lut_out, D1_f1, , , , , );

--D1L77Q is qdd:qdd1|k2o~1
--operation mode is normal

D1L77Q = D1_k2o;


--B1L15 is km_counter:km_c|comb~1
--operation mode is normal

B1L15 = D1_k2o & (!D1_k1o);

--B1L16 is km_counter:km_c|comb~9
--operation mode is normal

B1L16 = D1_k2o & (!D1_k1o);


--A1L33 is rtl~1248
--operation mode is normal

A1L33 = B1_km_half[3] & B1_km_half[0] & !B1_km_half[1] & !B1_km_half[2];

--A1L67 is rtl~1338
--operation mode is normal

A1L67 = B1_km_half[3] & B1_km_half[0] & !B1_km_half[1] & !B1_km_half[2];


--B1_km_half_S is km_counter:km_c|km_half_S
--operation mode is normal

B1_km_half_S_lut_out = B1_km_half_S & B1_reset_flag # !B1_km_half_S & (A1L27 & B1_start_flag);
B1_km_half_S = DFFEA(B1_km_half_S_lut_out, a, , , , , );

--B1L82Q is km_counter:km_c|km_half_S~52
--operation mode is normal

B1L82Q = B1_km_half_S;


--B1L1 is km_counter:km_c|LessThan~45
--operation mode is normal

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

--B1L2 is km_counter:km_c|LessThan~46
--operation mode is normal

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


--B1L49 is km_counter:km_c|fee_L_S~416
--operation mode is normal

B1L49 = B1L1 & B1_km_half[0] & (!A1L32) # !B1L1 & (B1_km_half[0] $ !B1_km_half[2]);

--B1L52 is km_counter:km_c|fee_L_S~420
--operation mode is normal

B1L52 = B1L1 & B1_km_half[0] & (!A1L32) # !B1L1 & (B1_km_half[0] $ !B1_km_half[2]);


--B1L50 is km_counter:km_c|fee_L_S~417
--operation mode is normal

B1L50 = !B1_km_half[3] & !B1_km_half[1] & !B1_reset_flag & !B1_fee_L_S;

--B1L53 is km_counter:km_c|fee_L_S~421
--operation mode is normal

B1L53 = !B1_km_half[3] & !B1_km_half[1] & !B1_reset_flag & !B1_fee_L_S;


--A1L34 is rtl~1249
--operation mode is normal

A1L34 = !B1_reset_flag & !A1L33;

--A1L68 is rtl~1339
--operation mode is normal

A1L68 = !B1_reset_flag & !A1L33;


--A1L24 is rtl~9
--operation mode is normal

A1L24 = B1_reset_flag # B1_km_half_S;

--A1L69 is rtl~1340
--operation mode is normal

A1L69 = B1_reset_flag # B1_km_half_S;


--C1L121 is led_show:led|Select~4931
--operation mode is normal

C1L121 = B1_km_half[1] & B1_km_half[0];

--C1L250 is led_show:led|Select~5065
--operation mode is normal

C1L250 = B1_km_half[1] & B1_km_half[0];


--B1L3 is km_counter:km_c|add~259
--operation mode is normal

B1L3 = B1_km_half[3] $ (B1_km_half[2] & B1_km_half[1] & B1_km_half[0]);

--B1L6 is km_counter:km_c|add~262
--operation mode is normal

B1L6 = B1_km_half[3] $ (B1_km_half[2] & B1_km_half[1] &