taix_fee.fit.eqn

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

B1_km_half[2] = DFFEA(B1_km_half[2]_lut_out, GLOBAL(a), , , A1L24, , );

--B1L78Q is km_counter:km_c|km_half[2]~105 at LC8_B13
--operation mode is normal

B1L78Q = B1_km_half[2];


--B1_km_half[3] is km_counter:km_c|km_half[3] at LC6_B13
--operation mode is normal

B1_km_half[3]_lut_out = B1L3 & !B1_reset_flag & !A1L33;
B1_km_half[3] = DFFEA(B1_km_half[3]_lut_out, GLOBAL(a), , , A1L24, , );

--B1L80Q is km_counter:km_c|km_half[3]~106 at LC6_B13
--operation mode is normal

B1L80Q = B1_km_half[3];


--C1L6 is led_show:led|Select~4794 at LC6_B25
--operation mode is normal

C1L6 = !C1_switch[2] & (!B1_km_half[1] & !B1_km_half[2] # !B1_km_half[3]);

--C1L135 is led_show:led|Select~4950 at LC6_B25
--operation mode is normal

C1L135 = !C1_switch[2] & (!B1_km_half[1] & !B1_km_half[2] # !B1_km_half[3]);


--B1_fee_B[1] is km_counter:km_c|fee_B[1] at LC1_B3
--operation mode is normal

B1_fee_B[1]_lut_out = A1L35 & (B1_fee_B[1] $ B1_fee_B[0]);
B1_fee_B[1] = DFFEA(B1_fee_B[1]_lut_out, GLOBAL(a), , , A1L25, , );

--B1L21Q is km_counter:km_c|fee_B[1]~111 at LC1_B3
--operation mode is normal

B1L21Q = B1_fee_B[1];


--B1_fee_B[2] is km_counter:km_c|fee_B[2] at LC3_B3
--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, GLOBAL(a), , , A1L25, , );

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

B1L23Q = B1_fee_B[2];


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

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

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

B1L25Q = B1_fee_B[3];


--C1L7 is led_show:led|Select~4795 at LC8_B6
--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 at LC8_B6
--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] at LC3_B7
--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, GLOBAL(a), , , A1L26, , );

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

B1L32Q = B1_fee_H[1];


--B1_fee_H[0] is km_counter:km_c|fee_H[0] at LC4_B7
--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, GLOBAL(a), , , A1L26, , );

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

B1L30Q = B1_fee_H[0];


--B1_fee_H[2] is km_counter:km_c|fee_H[2] at LC5_B7
--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, GLOBAL(a), , , A1L26, , );

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

B1L34Q = B1_fee_H[2];


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

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

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

B1L36Q = B1_fee_H[3];


--C1L8 is led_show:led|Select~4797 at LC2_B33
--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 at LC2_B33
--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 at LC8_B33
--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 at LC8_B33
--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] at LC1_B15
--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, GLOBAL(a), , , , , );

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

B1L41Q = B1_fee_L[0];


--C1L10 is led_show:led|Select~4799 at LC2_B22
--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 at LC2_B22
--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 at LC3_B22
--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 at LC3_B22
--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 at LC4_B22
--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 at LC4_B22
--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 at LC5_B22
--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 at LC5_B22
--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] at LC4_B3
--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, GLOBAL(a), , , A1L25, , );

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

B1L19Q = B1_fee_B[0];


--C1L13 is led_show:led|Select~4802 at LC1_B6
--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 at LC1_B6
--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 at LC7_B6
--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 at LC7_B6
--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 at LC6_B22
--operation mode is normal

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

--C1L144 is led_show:led|Select~4959 at LC6_B22
--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] at LC4_B18
--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, GLOBAL(a), , , , , );

--K2L11Q is km_counter:km_c|lpm_counter:km_L_rtl_1|alt_counter_f10ke:wysi_counter|q[0]~3 at LC4_B18
--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 at LC4_B18
--operation mode is clrb_cntr

K2L3 = CARRY(K2_q[0]);


--C1L16 is led_show:led|Select~4805 at LC5_B27
--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 at LC5_B27
--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 at LC4_B27
--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 at LC4_B27
--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] at LC2_B13
--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, GLOBAL(a), , , A1L24, , );

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

B1L74Q = B1_km_half[0];


--C1L18 is led_show:led|Select~4807 at LC5_B31
--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 at LC5_B31
--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 at LC1_B31
--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 at LC1_B31
--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 at LC6_B31
--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 at LC6_B31
--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 at LC7_B22
--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 at LC7_B22
--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] at LC5_B8
--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, GLOBAL(a), , , , , );

--K1L11Q is km_counter:km_c|lpm_counter:km_H_rtl_0|alt_counter_f10ke:wysi_counter|q[0]~3 at LC5_B8
--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 at LC5_B8
--operation mode is clrb_cntr

K1L3 = CARRY(K1_q[0]);


--C1L21 is led_show:led|Select~4810 at LC2_B35
--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 at LC2_B35
--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 at LC1_B35
--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 at LC1_B35
--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 at LC8_B22
--operation mode is normal

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

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

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


--C1L24 is led_show:led|Select~4814 at LC4_B33
--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 at LC4_B33
--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 at LC3_B33
--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 at LC3_B33
--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 at LC2_B24
--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 at LC2_B24
--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 at LC3_B24
--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 at LC3_B24
--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 at LC4_B24
--operation mode is normal