taix_fee.map.eqn

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

--B1_fee_B[2] is km_counter:km_c|fee_B[2]
--operation mode is normal

B1_fee_B[2]_lut_out = !B1L11 & (B1_fee_B[2] $ C1L122);
B1_fee_B[2] = DFFEA(B1_fee_B[2]_lut_out, a, , , A1L25, , );

--B1L23Q is km_counter:km_c|fee_B[2]~112
--operation mode is normal

B1L23Q = B1_fee_B[2];


--B1_fee_B[3] is km_counter:km_c|fee_B[3]
--operation mode is normal

B1_fee_B[3]_lut_out = A1L35 & B1L4;
B1_fee_B[3] = DFFEA(B1_fee_B[3]_lut_out, a, , , A1L25, , );

--B1L25Q is km_counter:km_c|fee_B[3]~113
--operation mode is normal

B1L25Q = B1_fee_B[3];


--C1L7 is led_show:led|Select~4795
--operation mode is normal

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

--C1L136 is led_show:led|Select~4951
--operation mode is normal

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


--B1_fee_H[1] is km_counter:km_c|fee_H[1]
--operation mode is normal

B1_fee_H[1]_lut_out = A1L37 & (B1_fee_H[1] $ B1_fee_H[0]);
B1_fee_H[1] = DFFEA(B1_fee_H[1]_lut_out, a, , , A1L26, , );

--B1L32Q is km_counter:km_c|fee_H[1]~123
--operation mode is normal

B1L32Q = B1_fee_H[1];


--B1_fee_H[0] is km_counter:km_c|fee_H[0]
--operation mode is normal

B1_fee_H[0]_lut_out = B1L11 # !B1_fee_H[0];
B1_fee_H[0] = DFFEA(B1_fee_H[0]_lut_out, a, , , A1L26, , );

--B1L30Q is km_counter:km_c|fee_H[0]~124
--operation mode is normal

B1L30Q = B1_fee_H[0];


--B1_fee_H[2] is km_counter:km_c|fee_H[2]
--operation mode is normal

B1_fee_H[2]_lut_out = !B1L11 & (B1_fee_H[2] $ C1L125);
B1_fee_H[2] = DFFEA(B1_fee_H[2]_lut_out, a, , , A1L26, , );

--B1L34Q is km_counter:km_c|fee_H[2]~125
--operation mode is normal

B1L34Q = B1_fee_H[2];


--B1_fee_H[3] is km_counter:km_c|fee_H[3]
--operation mode is normal

B1_fee_H[3]_lut_out = A1L37 & B1L5;
B1_fee_H[3] = DFFEA(B1_fee_H[3]_lut_out, a, , , A1L26, , );

--B1L36Q is km_counter:km_c|fee_H[3]~126
--operation mode is normal

B1L36Q = B1_fee_H[3];


--C1L8 is led_show:led|Select~4797
--operation mode is normal

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

--C1L137 is led_show:led|Select~4952
--operation mode is normal

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


--C1L9 is led_show:led|Select~4798
--operation mode is normal

C1L9 = B1_fee_H[3] & (C1_led_seg[0] # !B1_fee_H[1] & !C1L8) # !B1_fee_H[3] & (C1L8);

--C1L138 is led_show:led|Select~4953
--operation mode is normal

C1L138 = B1_fee_H[3] & (C1_led_seg[0] # !B1_fee_H[1] & !C1L8) # !B1_fee_H[3] & (C1L8);


--B1_fee_L[0] is km_counter:km_c|fee_L[0]
--operation mode is normal

B1_fee_L[0]_lut_out = !B1L11 & (B1_fee_L[0] $ B1_fee_L_S);
B1_fee_L[0] = DFFEA(B1_fee_L[0]_lut_out, a, , , , , );

--B1L41Q is km_counter:km_c|fee_L[0]~514
--operation mode is normal

B1L41Q = B1_fee_L[0];


--C1L10 is led_show:led|Select~4799
--operation mode is normal

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

--C1L139 is led_show:led|Select~4954
--operation mode is normal

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


--C1L11 is led_show:led|Select~4800
--operation mode is normal

C1L11 = B1_fee_L[3] & (C1_led_seg[0] # !B1_fee_L[1] & !C1L10) # !B1_fee_L[3] & (C1L10);

--C1L140 is led_show:led|Select~4955
--operation mode is normal

C1L140 = B1_fee_L[3] & (C1_led_seg[0] # !B1_fee_L[1] & !C1L10) # !B1_fee_L[3] & (C1L10);


--C1L287 is led_show:led|led_seg~385
--operation mode is normal

C1L287 = C1_led_seg[0] # !B1_fee_L[1] & !B1_fee_L[2] # !B1_fee_L[3];

--C1L301 is led_show:led|led_seg~407
--operation mode is normal

C1L301 = C1_led_seg[0] # !B1_fee_L[1] & !B1_fee_L[2] # !B1_fee_L[3];


--C1L12 is led_show:led|Select~4801
--operation mode is normal

C1L12 = C1_switch[1] & (C1_switch[0]) # !C1_switch[1] & (C1_switch[0] & C1L11 # !C1_switch[0] & (C1L287));

--C1L141 is led_show:led|Select~4956
--operation mode is normal

C1L141 = C1_switch[1] & (C1_switch[0]) # !C1_switch[1] & (C1_switch[0] & C1L11 # !C1_switch[0] & (C1L287));


--B1_fee_B[0] is km_counter:km_c|fee_B[0]
--operation mode is normal

B1_fee_B[0]_lut_out = !B1L11 & !B1_fee_B[0];
B1_fee_B[0] = DFFEA(B1_fee_B[0]_lut_out, a, , , A1L25, , );

--B1L19Q is km_counter:km_c|fee_B[0]~114
--operation mode is normal

B1L19Q = B1_fee_B[0];


--C1L13 is led_show:led|Select~4802
--operation mode is normal

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

--C1L142 is led_show:led|Select~4957
--operation mode is normal

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


--C1L14 is led_show:led|Select~4803
--operation mode is normal

C1L14 = B1_fee_B[3] & (C1_led_seg[0] # !B1_fee_B[1] & !C1L13) # !B1_fee_B[3] & (C1L13);

--C1L143 is led_show:led|Select~4958
--operation mode is normal

C1L143 = B1_fee_B[3] & (C1_led_seg[0] # !B1_fee_B[1] & !C1L13) # !B1_fee_B[3] & (C1L13);


--C1L15 is led_show:led|Select~4804
--operation mode is normal

C1L15 = C1_switch[1] & (C1L12 & (C1L14) # !C1L12 & C1L9) # !C1_switch[1] & (C1L12);

--C1L144 is led_show:led|Select~4959
--operation mode is normal

C1L144 = C1_switch[1] & (C1L12 & (C1L14) # !C1L12 & C1L9) # !C1_switch[1] & (C1L12);


--K2_q[0] is km_counter:km_c|lpm_counter:km_L_rtl_1|alt_counter_f10ke:wysi_counter|q[0]
--operation mode is clrb_cntr

K2_q[0]_lut_out = (B1_km_L_S $ K2_q[0]) & B1L70;
K2_q[0] = DFFEA(K2_q[0]_lut_out, a, , , , , );

--K2L11Q is km_counter:km_c|lpm_counter:km_L_rtl_1|alt_counter_f10ke:wysi_counter|q[0]~3
--operation mode is clrb_cntr

K2L11Q = K2_q[0];

--K2L3 is km_counter:km_c|lpm_counter:km_L_rtl_1|alt_counter_f10ke:wysi_counter|counter_cell[0]~COUT
--operation mode is clrb_cntr

K2L3 = CARRY(K2_q[0]);


--C1L16 is led_show:led|Select~4805
--operation mode is normal

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

--C1L145 is led_show:led|Select~4960
--operation mode is normal

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


--C1L17 is led_show:led|Select~4806
--operation mode is normal

C1L17 = K2_q[3] & (C1_led_seg[0] # !K2_q[1] & !C1L16) # !K2_q[3] & (C1L16);

--C1L146 is led_show:led|Select~4961
--operation mode is normal

C1L146 = K2_q[3] & (C1_led_seg[0] # !K2_q[1] & !C1L16) # !K2_q[3] & (C1L16);


--B1_km_half[0] is km_counter:km_c|km_half[0]
--operation mode is normal

B1_km_half[0]_lut_out = !B1_reset_flag & !B1_km_half[0];
B1_km_half[0] = DFFEA(B1_km_half[0]_lut_out, a, , , A1L24, , );

--B1L74Q is km_counter:km_c|km_half[0]~107
--operation mode is normal

B1L74Q = B1_km_half[0];


--C1L18 is led_show:led|Select~4807
--operation mode is normal

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

--C1L147 is led_show:led|Select~4962
--operation mode is normal

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


--C1L19 is led_show:led|Select~4808
--operation mode is normal

C1L19 = B1_km_half[3] & (C1_led_seg[0] # !B1_km_half[1] & !C1L18) # !B1_km_half[3] & (C1L18);

--C1L148 is led_show:led|Select~4963
--operation mode is normal

C1L148 = B1_km_half[3] & (C1_led_seg[0] # !B1_km_half[1] & !C1L18) # !B1_km_half[3] & (C1L18);


--C1L288 is led_show:led|led_seg~386
--operation mode is normal

C1L288 = C1_led_seg[0] # !B1_km_half[1] & !B1_km_half[2] # !B1_km_half[3];

--C1L302 is led_show:led|led_seg~408
--operation mode is normal

C1L302 = C1_led_seg[0] # !B1_km_half[1] & !B1_km_half[2] # !B1_km_half[3];


--C1L20 is led_show:led|Select~4809
--operation mode is normal

C1L20 = C1_switch[1] & (C1_switch[0]) # !C1_switch[1] & (C1_switch[0] & C1L19 # !C1_switch[0] & (C1L288));

--C1L149 is led_show:led|Select~4964
--operation mode is normal

C1L149 = C1_switch[1] & (C1_switch[0]) # !C1_switch[1] & (C1_switch[0] & C1L19 # !C1_switch[0] & (C1L288));


--K1_q[0] is km_counter:km_c|lpm_counter:km_H_rtl_0|alt_counter_f10ke:wysi_counter|q[0]
--operation mode is clrb_cntr

K1_q[0]_lut_out = (B1_km_H_S $ K1_q[0]) & B1L65;
K1_q[0] = DFFEA(K1_q[0]_lut_out, a, , , , , );

--K1L11Q is km_counter:km_c|lpm_counter:km_H_rtl_0|alt_counter_f10ke:wysi_counter|q[0]~3
--operation mode is clrb_cntr

K1L11Q = K1_q[0];

--K1L3 is km_counter:km_c|lpm_counter:km_H_rtl_0|alt_counter_f10ke:wysi_counter|counter_cell[0]~COUT
--operation mode is clrb_cntr

K1L3 = CARRY(K1_q[0]);


--C1L21 is led_show:led|Select~4810
--operation mode is normal

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

--C1L150 is led_show:led|Select~4965
--operation mode is normal

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


--C1L22 is led_show:led|Select~4811
--operation mode is normal

C1L22 = K1_q[3] & (C1_led_seg[0] # !K1_q[1] & !C1L21) # !K1_q[3] & (C1L21);

--C1L151 is led_show:led|Select~4966
--operation mode is normal

C1L151 = K1_q[3] & (C1_led_seg[0] # !K1_q[1] & !C1L21) # !K1_q[3] & (C1L21);


--C1L23 is led_show:led|Select~4812
--operation mode is normal

C1L23 = C1_switch[1] & (C1L20 & (C1L22) # !C1L20 & C1L17) # !C1_switch[1] & (C1L20);

--C1L152 is led_show:led|Select~4967
--operation mode is normal

C1L152 = C1_switch[1] & (C1L20 & (C1L22) # !C1L20 & C1L17) # !C1_switch[1] & (C1L20);


--C1L24 is led_show:led|Select~4814
--operation mode is normal

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

--C1L153 is led_show:led|Select~4968
--operation mode is normal

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


--C1L25 is led_show:led|Select~4815
--operation mode is normal

C1L25 = B1_fee_H[3] & (C1_led_seg[1] # !B1_fee_H[2] & !C1L24) # !B1_fee_H[3] & (C1L24);

--C1L154 is led_show:led|Select~4969
--operation mode is normal

C1L154 = B1_fee_H[3] & (C1_led_seg[1] # !B1_fee_H[2] & !C1L24) # !B1_fee_H[3] & (C1L24);


--C1L26 is led_show:led|Select~4816
--operation mode is normal

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

--C1L155 is led_show:led|Select~4970
--operation mode is normal

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


--C1L27 is led_show:led|Select~4817
--operation mode is normal

C1L27 = B1_fee_L[3] & (C1_led_seg[1] # !B1_fee_L[2] & !C1L26) # !B1_fee_L[3] & (C1L26);

--C1L156 is led_show:led|Select~4971
--operation mode is normal

C1L156 = B1_fee_L[3] & (C1_led_seg[1] # !B1_fee_L[2] & !C1L26) # !B1_fee_L[3] & (C1L26);


--C1L289 is led_show:led|led_seg~387
--operation mode is normal

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

--C1L303 is led_show:led|led_seg~409
--operation mode is normal

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


--C1L28 is led_show:led|Select~4818
--operation mode is normal

C1L28 = C1_switch[1] & (C1_switch[0]) # !C1_switch[1] & (C1_switch[0] & C1L27 # !C1_switch[0] & (C1L289));

--C1L157 is led_show:led|Select~4972
--operation mode is normal

C1L157 = C1_switch[1] & (C1_switch[0]) # !C1_switch[1] & (C1_switch[0] & C1L27 # !C1_switch[0] & (C1L289));


--C1L29 is led_show:led|Select~4819
--operation mode is normal

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

--C1L158 is led_show:led|Select~4973
--operation mode is normal

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


--C1L30 is led_show:led|Select~4820
--operation mode is normal

C1L30 = B1_fee_B[3] & (C1_led_seg[1] # !B1_fee_B[2] & !C1L29) # !B1_fee_B[3] & (C1L29);

--C1L159 is led_show:led|Select~4974
--operation mode is normal

C1L159 = B1_fee_B[3] & (C1_led_seg[1] # !B1_fee_B[2] & !C1L29) # !B1_fee_B[3] & (C1L29);


--C1L31 is led_show:led|Select~4821
--operation mode is normal

C1L31 = C1_switch[1] & (C1L28 & (C1L30) # !C1L28 & C1L25) # !C1_switch[1] & (C1L28);

--C1L160 is led_show:led|Select~4975
--operation mode is normal

C1L160 = C1_switch[1] & (C1L28 & (C1L30) # !C1L28 & C1L25) # !C1_switch[1] & (C1L28);


--C1L32 is led_show:led|Select~4822
--operation mode is normal

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

--C1L161 is led_show:led|Select~4976
--operation mode is normal

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


--C1L33 is led_show:led|Select~4823
--operation mode is normal

C1L33 = B1_km_half[3] & (C1_led_seg[1] # !B1_km_half[2] & !C1L32) # !B1_km_half[3] & (C1L32);

--C1L162 is led_show:led|Select~4977
--operation mode is normal

C1L162 = B1_km_half[3] & (C1_led_seg[1] # !B1_km_half[2] & !C1L32) # !B1_km_half[3] & (C1L32);


--C1L34 is led_show:led|Select~4824
--operation mode is normal

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

--C1L163 is led_show:led|Select~4978
--operation mode is normal

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