taix_fee.map.eqn

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

-- Copyright (C) 1991-2005 Altera Corporation
-- Your use of Altera Corporation's design tools, logic functions 
-- and other software and tools, and its AMPP partner logic 
-- functions, and any output files any of the foregoing 
-- (including device programming or simulation files), and any 
-- associated documentation or information are expressly subject 
-- to the terms and conditions of the Altera Program License 
-- Subscription Agreement, Altera MegaCore Function License 
-- Agreement, or other applicable license agreement, including, 
-- without limitation, that your use is for the sole purpose of 
-- programming logic devices manufactured by Altera and sold by 
-- Altera or its authorized distributors.  Please refer to the 
-- applicable agreement for further details.
--C1_led_sel[0] is led_show:led|led_sel[0]
--operation mode is normal

C1_led_sel[0]_lut_out = C1_switch[2] # C1L397 # !C1_switch[0] # !C1_switch[1];
C1_led_sel[0] = DFFEA(C1_led_sel[0]_lut_out, C1_f1, , , , , );

--C1L317Q is led_show:led|led_sel[0]~177
--operation mode is normal

C1L317Q = C1_led_sel[0];


--C1_led_sel[1] is led_show:led|led_sel[1]
--operation mode is normal

C1_led_sel[1]_lut_out = C1_switch[2] # C1L5 # C1_switch[0] # !C1_switch[1];
C1_led_sel[1] = DFFEA(C1_led_sel[1]_lut_out, C1_f1, , , , , );

--C1L319Q is led_show:led|led_sel[1]~178
--operation mode is normal

C1L319Q = C1_led_sel[1];


--C1_led_sel[2] is led_show:led|led_sel[2]
--operation mode is normal

C1_led_sel[2]_lut_out = C1_switch[0] # C1L398 # C1_switch[1] # !C1_switch[2];
C1_led_sel[2] = DFFEA(C1_led_sel[2]_lut_out, C1_f1, , , , , );

--C1L321Q is led_show:led|led_sel[2]~179
--operation mode is normal

C1L321Q = C1_led_sel[2];


--C1_led_sel[3] is led_show:led|led_sel[3]
--operation mode is normal

C1_led_sel[3]_lut_out = C1_switch[1] # !C1L6 # !C1_switch[0];
C1_led_sel[3] = DFFEA(C1_led_sel[3]_lut_out, C1_f1, , , , , );

--C1L323Q is led_show:led|led_sel[3]~180
--operation mode is normal

C1L323Q = C1_led_sel[3];


--C1_led_sel[4] is led_show:led|led_sel[4]
--operation mode is normal

C1_led_sel[4]_lut_out = C1_switch[0] # C1_switch[1] # !C1L6;
C1_led_sel[4] = DFFEA(C1_led_sel[4]_lut_out, C1_f1, , , , , );

--C1L325Q is led_show:led|led_sel[4]~181
--operation mode is normal

C1L325Q = C1_led_sel[4];


--C1_led_sel[5] is led_show:led|led_sel[5]
--operation mode is normal

C1_led_sel[5]_lut_out = !C1L7 # !C1_switch[1] # !C1_switch[2];
C1_led_sel[5] = DFFEA(C1_led_sel[5]_lut_out, C1_f1, , , , , );

--C1L327Q is led_show:led|led_sel[5]~182
--operation mode is normal

C1L327Q = C1_led_sel[5];


--C1_led_sel[6] is led_show:led|led_sel[6]
--operation mode is normal

C1_led_sel[6]_lut_out = !C1L130;
C1_led_sel[6] = DFFEA(C1_led_sel[6]_lut_out, C1_f1, , , , , );

--C1L329Q is led_show:led|led_sel[6]~183
--operation mode is normal

C1L329Q = C1_led_sel[6];


--C1_led_sel[7] is led_show:led|led_sel[7]
--operation mode is normal

C1_led_sel[7]_lut_out = C1L398 # C1_switch[1] # !C1_switch[2] # !C1_switch[0];
C1_led_sel[7] = DFFEA(C1_led_sel[7]_lut_out, C1_f1, , , , , );

--C1L331Q is led_show:led|led_sel[7]~184
--operation mode is normal

C1L331Q = C1_led_sel[7];


--C1_led_seg[0] is led_show:led|led_seg[0]
--operation mode is normal

C1_led_seg[0]_lut_out = C1_switch[2] & C1L15 # !C1_switch[2] & (C1L23);
C1_led_seg[0] = DFFEA(C1_led_seg[0]_lut_out, C1_f1, , , , , );

--C1L272Q is led_show:led|led_seg[0]~399
--operation mode is normal

C1L272Q = C1_led_seg[0];


--C1_led_seg[1] is led_show:led|led_seg[1]
--operation mode is normal

C1_led_seg[1]_lut_out = C1_switch[2] & C1L31 # !C1_switch[2] & (C1L39);
C1_led_seg[1] = DFFEA(C1_led_seg[1]_lut_out, C1_f1, , , , , );

--C1L274Q is led_show:led|led_seg[1]~400
--operation mode is normal

C1L274Q = C1_led_seg[1];


--C1_led_seg[2] is led_show:led|led_seg[2]
--operation mode is normal

C1_led_seg[2]_lut_out = C1_switch[2] & C1L44 # !C1_switch[2] & (C1L52);
C1_led_seg[2] = DFFEA(C1_led_seg[2]_lut_out, C1_f1, , , , , );

--C1L276Q is led_show:led|led_seg[2]~401
--operation mode is normal

C1L276Q = C1_led_seg[2];


--C1_led_seg[3] is led_show:led|led_seg[3]
--operation mode is normal

C1_led_seg[3]_lut_out = C1_switch[2] & C1L60 # !C1_switch[2] & (C1L68);
C1_led_seg[3] = DFFEA(C1_led_seg[3]_lut_out, C1_f1, , , , , );

--C1L278Q is led_show:led|led_seg[3]~402
--operation mode is normal

C1L278Q = C1_led_seg[3];


--C1_led_seg[4] is led_show:led|led_seg[4]
--operation mode is normal

C1_led_seg[4]_lut_out = C1_switch[2] & C1L76 # !C1_switch[2] & (C1L84);
C1_led_seg[4] = DFFEA(C1_led_seg[4]_lut_out, C1_f1, , , , , );

--C1L280Q is led_show:led|led_seg[4]~403
--operation mode is normal

C1L280Q = C1_led_seg[4];


--C1_led_seg[5] is led_show:led|led_seg[5]
--operation mode is normal

C1_led_seg[5]_lut_out = C1_switch[2] & C1L92 # !C1_switch[2] & (C1L100);
C1_led_seg[5] = DFFEA(C1_led_seg[5]_lut_out, C1_f1, , , , , );

--C1L282Q is led_show:led|led_seg[5]~404
--operation mode is normal

C1L282Q = C1_led_seg[5];


--C1_led_seg[6] is led_show:led|led_seg[6]
--operation mode is normal

C1_led_seg[6]_lut_out = C1_switch[2] & C1L108 # !C1_switch[2] & (C1L112);
C1_led_seg[6] = DFFEA(C1_led_seg[6]_lut_out, C1_f1, , , , , );

--C1L284Q is led_show:led|led_seg[6]~405
--operation mode is normal

C1L284Q = C1_led_seg[6];


--C1_led_seg[7] is led_show:led|led_seg[7]
--operation mode is normal

C1_led_seg[7]_lut_out = C1_switch[2] & C1L114 & C1_led_seg[7] # !C1_switch[2] & (C1L116);
C1_led_seg[7] = DFFEA(C1_led_seg[7]_lut_out, C1_f1, , , , , );

--C1L286Q is led_show:led|led_seg[7]~406
--operation mode is normal

C1L286Q = C1_led_seg[7];


--C1_switch[2] is led_show:led|switch[2]
--operation mode is normal

C1_switch[2]_lut_out = !C1L132;
C1_switch[2] = DFFEA(C1_switch[2]_lut_out, C1_f1, , , , , );

--C1L411Q is led_show:led|switch[2]~187
--operation mode is normal

C1L411Q = C1_switch[2];


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

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

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

K1L17Q = K1_q[3];


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

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

--K1L15Q is km_counter:km_c|lpm_counter:km_H_rtl_0|alt_counter_f10ke:wysi_counter|q[2]~1
--operation mode is clrb_cntr

K1L15Q = K1_q[2];

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

K1L7 = CARRY(K1_q[2] & (K1L5));


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

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

--K1L13Q is km_counter:km_c|lpm_counter:km_H_rtl_0|alt_counter_f10ke:wysi_counter|q[1]~2
--operation mode is clrb_cntr

K1L13Q = K1_q[1];

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

K1L5 = CARRY(K1_q[1] & (K1L3));


--C1L397 is led_show:led|reduce_or~295
--operation mode is normal

C1L397 = K1_q[3] & (K1_q[2] # K1_q[1]);

--C1L401 is led_show:led|reduce_or~299
--operation mode is normal

C1L401 = K1_q[3] & (K1_q[2] # K1_q[1]);


--C1_switch[1] is led_show:led|switch[1]
--operation mode is normal

C1_switch[1]_lut_out = C1_switch[1] & (!C1_switch[0]) # !C1_switch[1] & C1_switch[0] & (C1L6 # C1L117);
C1_switch[1] = DFFEA(C1_switch[1]_lut_out, C1_f1, , , , , );

--C1L409Q is led_show:led|switch[1]~188
--operation mode is normal

C1L409Q = C1_switch[1];


--C1_switch[0] is led_show:led|switch[0]
--operation mode is normal

C1_switch[0]_lut_out = C1L118 # C1L398 & C1L119 # !C1_switch[0];
C1_switch[0] = DFFEA(C1_switch[0]_lut_out, C1_f1, , , , , );

--C1L407Q is led_show:led|switch[0]~189
--operation mode is normal

C1L407Q = C1_switch[0];


--C1L132 is led_show:led|Select~4944
--operation mode is normal

C1L132 = (C1_switch[2] # C1L397 # !C1_switch[0] # !C1_switch[1]) & CASCADE(C1L261);

--C1L133 is led_show:led|Select~4948
--operation mode is normal

C1L133 = (C1_switch[2] # C1L397 # !C1_switch[0] # !C1_switch[1]) & CASCADE(C1L261);


--C1_f1 is led_show:led|f1
--operation mode is normal

C1_f1_lut_out = !C1_f1;
C1_f1 = DFFEA(C1_f1_lut_out, a, , , A1L23, , );

--C1L269Q is led_show:led|f1~1
--operation mode is normal

C1L269Q = C1_f1;


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

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

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

K2L17Q = K2_q[3];


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

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

--K2L15Q is km_counter:km_c|lpm_counter:km_L_rtl_1|alt_counter_f10ke:wysi_counter|q[2]~1
--operation mode is clrb_cntr

K2L15Q = K2_q[2];

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

K2L7 = CARRY(K2_q[2] & (K2L5));


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

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

--K2L13Q is km_counter:km_c|lpm_counter:km_L_rtl_1|alt_counter_f10ke:wysi_counter|q[1]~2
--operation mode is clrb_cntr

K2L13Q = K2_q[1];

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

K2L5 = CARRY(K2_q[1] & (K2L3));


--C1L5 is led_show:led|Select~4793
--operation mode is normal

C1L5 = K2_q[3] & (K2_q[2] # K2_q[1]);

--C1L134 is led_show:led|Select~4949
--operation mode is normal

C1L134 = K2_q[3] & (K2_q[2] # K2_q[1]);


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

B1_fee_L[3]_lut_out = !B1L11 & (B1L55 # B1_fee_L[3] & !B1_fee_L_S);
B1_fee_L[3] = DFFEA(B1_fee_L[3]_lut_out, a, , , , , );

--B1L47Q is km_counter:km_c|fee_L[3]~511
--operation mode is normal

B1L47Q = B1_fee_L[3];


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

B1_fee_L[1]_lut_out = B1L56 & (!B1L10 # !B1L9 # !A1L32);
B1_fee_L[1] = DFFEA(B1_fee_L[1]_lut_out, a, , , , , );

--B1L43Q is km_counter:km_c|fee_L[1]~512
--operation mode is normal

B1L43Q = B1_fee_L[1];


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

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

--B1L45Q is km_counter:km_c|fee_L[2]~513
--operation mode is normal

B1L45Q = B1_fee_L[2];


--C1L398 is led_show:led|reduce_or~296
--operation mode is normal

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

--C1L402 is led_show:led|reduce_or~300
--operation mode is normal

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


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

B1_km_half[1]_lut_out = A1L34 & (B1_km_half[1] $ B1_km_half[0]);
B1_km_half[1] = DFFEA(B1_km_half[1]_lut_out, a, , , A1L24, , );

--B1L76Q is km_counter:km_c|km_half[1]~104
--operation mode is normal

B1L76Q = B1_km_half[1];


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

B1_km_half[2]_lut_out = !B1_reset_flag & (B1_km_half[2] $ C1L121);
B1_km_half[2] = DFFEA(B1_km_half[2]_lut_out, a, , , A1L24, , );

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

B1L78Q = B1_km_half[2];


--B1_km_half[3] is km_counter:km_c|km_half[3]
--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, a, , , A1L24, , );

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

B1L80Q = B1_km_half[3];


--C1L6 is led_show:led|Select~4794
--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
--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]
--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, a, , , A1L25, , );

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

B1L21Q = B1_fee_B[1];