thermal_top.map.eqn

基于SIIGX的PCIe的Kit

--C1_count[15] is thermal:inst|count[15]
C1_count[15] = DFFEAS(~GND, TB1_safe_q[9],  ,  , C1L732, C1L741,  ,  , C1L532);


--C1_count[24] is thermal:inst|count[24]
C1_count[24] = DFFEAS(~GND, TB1_safe_q[9],  ,  , C1L732, C1L381,  ,  , C1L532);


--C1_count[6] is thermal:inst|count[6]
C1_count[6] = DFFEAS(~GND, TB1_safe_q[9],  ,  , C1L732, C1L111,  ,  , C1L532);


--C1_count[5] is thermal:inst|count[5]
C1_count[5] = DFFEAS(~GND, TB1_safe_q[9],  ,  , C1L732, C1L701,  ,  , C1L532);


--C1L882 is thermal:inst|reduce_nor~183
C1L882 = C1_count[5] # C1_count[6] # C1_count[24] # C1_count[15];


--C1L982 is thermal:inst|reduce_nor~184
C1L982 = C1L882 # !C1L882 & ( C1_count[23] # C1_count[13] # C1_count[12] # C1_count[18] );


--C1L182 is thermal:inst|reduce_nor~2
C1L182 = C1L982 # !C1L982 & ( C1L782 # C1L582 # C1L482 # C1L382 );


--C1_rw_ctr[0] is thermal:inst|rw_ctr[0]
C1_rw_ctr[0] = DFFEAS(C1L71, TB1_safe_q[9], !start,  ,  ,  ,  ,  ,  );


--C1_rw_ctr[1] is thermal:inst|rw_ctr[1]
C1_rw_ctr[1] = DFFEAS(VCC, TB1_safe_q[9], !start,  , C1L81,  ,  ,  ,  );


--C1L1 is thermal:inst|Decoder~44
C1L1 = C1_rw_ctr[0] & C1_rw_ctr[1];


--C1L8 is thermal:inst|Select~8267
C1L8 = !C1L182 & C1L1;


--C1_state.state_eleven is thermal:inst|state.state_eleven
C1_state.state_eleven = DFFEAS(C1L02, TB1_safe_q[9], !start,  ,  ,  ,  ,  ,  );


--C1L952 is thermal:inst|data_o[0]~57
C1L952 = C1L8 & C1_state.state_eleven & start;


--C1_data_read[1] is thermal:inst|data_read[1]
C1_data_read[1] = DFFEAS(C1_data_read[0], TB1_safe_q[9],  ,  , C1L272,  ,  ,  ,  );


--C1_data_read[2] is thermal:inst|data_read[2]
C1_data_read[2] = DFFEAS(C1_data_read[1], TB1_safe_q[9],  ,  , C1L272,  ,  ,  ,  );


--C1_data_read[3] is thermal:inst|data_read[3]
C1_data_read[3] = DFFEAS(C1_data_read[2], TB1_safe_q[9],  ,  , C1L272,  ,  ,  ,  );


--C1_data_read[4] is thermal:inst|data_read[4]
C1_data_read[4] = DFFEAS(C1_data_read[3], TB1_safe_q[9],  ,  , C1L272,  ,  ,  ,  );


--C1_data_read[5] is thermal:inst|data_read[5]
C1_data_read[5] = DFFEAS(C1_data_read[4], TB1_safe_q[9],  ,  , C1L272,  ,  ,  ,  );


--C1_data_read[6] is thermal:inst|data_read[6]
C1_data_read[6] = DFFEAS(C1_data_read[5], TB1_safe_q[9],  ,  , C1L272,  ,  ,  ,  );


--C1_data_read[7] is thermal:inst|data_read[7]
C1_data_read[7] = DFFEAS(C1_data_read[6], TB1_safe_q[9],  ,  , C1L272,  ,  ,  ,  );


--SB1L51 is divide_by_10:inst24|lpm_divide:lpm_divide_component|lpm_divide_p2n:auto_generated|sign_div_unsign_73h:divider|alt_u_div_88f:divider|op_4~128
SB1L51 = !C1_data_o[7] $ (!C1_data_o[5] & !C1_data_o[6]);


--SB1L61 is divide_by_10:inst24|lpm_divide:lpm_divide_component|lpm_divide_p2n:auto_generated|sign_div_unsign_73h:divider|alt_u_div_88f:divider|op_4~129
SB1L61 = C1_data_o[7] & (C1_data_o[6] # C1_data_o[5]);


--SB1L71 is divide_by_10:inst24|lpm_divide:lpm_divide_component|lpm_divide_p2n:auto_generated|sign_div_unsign_73h:divider|alt_u_div_88f:divider|op_4~130
SB1L71 = !C1_data_o[5] $ C1_data_o[6];


--TB1_safe_q[5] is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|safe_q[5]
TB1_safe_q[5] = DFFEAS(TB1_counter_comb_bita5, clk,  ,  ,  ,  ,  ,  ,  );


--TB1_safe_q[4] is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|safe_q[4]
TB1_safe_q[4] = DFFEAS(TB1_counter_comb_bita4, clk,  ,  ,  ,  ,  ,  ,  );


--TB1_safe_q[3] is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|safe_q[3]
TB1_safe_q[3] = DFFEAS(TB1_counter_comb_bita3, clk,  ,  ,  ,  ,  ,  ,  );


--TB1_safe_q[2] is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|safe_q[2]
TB1_safe_q[2] = DFFEAS(TB1_counter_comb_bita2, clk,  ,  ,  ,  ,  ,  ,  );


--TB1_safe_q[1] is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|safe_q[1]
TB1_safe_q[1] = DFFEAS(TB1_counter_comb_bita1, clk,  ,  ,  ,  ,  ,  ,  );


--TB1_safe_q[0] is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|safe_q[0]
TB1_safe_q[0] = DFFEAS(TB1_counter_comb_bita0, clk,  ,  ,  ,  ,  ,  ,  );


--TB1_counter_comb_bita0 is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|counter_comb_bita0
TB1_counter_comb_bita0_adder_eqn = ( TB1_safe_q[0] ) + ( VCC ) + ( GND );
TB1_counter_comb_bita0 = SUM(TB1_counter_comb_bita0_adder_eqn);

--TB1L3 is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|counter_comb_bita0~COUT
TB1L3_adder_eqn = ( TB1_safe_q[0] ) + ( VCC ) + ( GND );
TB1L3 = CARRY(TB1L3_adder_eqn);


--TB1_counter_comb_bita1 is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|counter_comb_bita1
TB1_counter_comb_bita1_adder_eqn = ( GND ) + ( TB1_safe_q[1] ) + ( TB1L3 );
TB1_counter_comb_bita1 = SUM(TB1_counter_comb_bita1_adder_eqn);

--TB1L7 is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|counter_comb_bita1~COUT
TB1L7_adder_eqn = ( GND ) + ( TB1_safe_q[1] ) + ( TB1L3 );
TB1L7 = CARRY(TB1L7_adder_eqn);


--TB1_counter_comb_bita2 is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|counter_comb_bita2
TB1_counter_comb_bita2_adder_eqn = ( GND ) + ( TB1_safe_q[2] ) + ( TB1L7 );
TB1_counter_comb_bita2 = SUM(TB1_counter_comb_bita2_adder_eqn);

--TB1L11 is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|counter_comb_bita2~COUT
TB1L11_adder_eqn = ( GND ) + ( TB1_safe_q[2] ) + ( TB1L7 );
TB1L11 = CARRY(TB1L11_adder_eqn);


--TB1_counter_comb_bita3 is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|counter_comb_bita3
TB1_counter_comb_bita3_adder_eqn = ( GND ) + ( TB1_safe_q[3] ) + ( TB1L11 );
TB1_counter_comb_bita3 = SUM(TB1_counter_comb_bita3_adder_eqn);

--TB1L51 is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|counter_comb_bita3~COUT
TB1L51_adder_eqn = ( GND ) + ( TB1_safe_q[3] ) + ( TB1L11 );
TB1L51 = CARRY(TB1L51_adder_eqn);


--TB1_counter_comb_bita4 is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|counter_comb_bita4
TB1_counter_comb_bita4_adder_eqn = ( GND ) + ( TB1_safe_q[4] ) + ( TB1L51 );
TB1_counter_comb_bita4 = SUM(TB1_counter_comb_bita4_adder_eqn);

--TB1L91 is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|counter_comb_bita4~COUT
TB1L91_adder_eqn = ( GND ) + ( TB1_safe_q[4] ) + ( TB1L51 );
TB1L91 = CARRY(TB1L91_adder_eqn);


--TB1_counter_comb_bita5 is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|counter_comb_bita5
TB1_counter_comb_bita5_adder_eqn = ( GND ) + ( TB1_safe_q[5] ) + ( TB1L91 );
TB1_counter_comb_bita5 = SUM(TB1_counter_comb_bita5_adder_eqn);

--TB1L32 is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|counter_comb_bita5~COUT
TB1L32_adder_eqn = ( GND ) + ( TB1_safe_q[5] ) + ( TB1L91 );
TB1L32 = CARRY(TB1L32_adder_eqn);


--TB1_counter_comb_bita6 is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|counter_comb_bita6
TB1_counter_comb_bita6_adder_eqn = ( GND ) + ( TB1_safe_q[6] ) + ( TB1L32 );
TB1_counter_comb_bita6 = SUM(TB1_counter_comb_bita6_adder_eqn);

--TB1L72 is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|counter_comb_bita6~COUT
TB1L72_adder_eqn = ( GND ) + ( TB1_safe_q[6] ) + ( TB1L32 );
TB1L72 = CARRY(TB1L72_adder_eqn);


--NB1__clk0 is altpll0:inst10|altpll:altpll_component|_clk0
NB1__clk0 = PLL.CLK0(.FBIN(), .ENA(), .CLKSWITCH(), .ARESET(), .PFDENA(), .SCANCLK(), .SCANREAD(), .SCANWRITE(), .SCANDATA(), .INCLK(clk_100MHz), .INCLK());


--K1_hub_tdo is sld_hub:sld_hub_inst|hub_tdo
K1_hub_tdo = AMPP_FUNCTION(!A1L5, K1L11, !WB1_state[8], WB1L12);


--TB1_safe_q[8] is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|safe_q[8]
TB1_safe_q[8] = DFFEAS(TB1_counter_comb_bita8, clk,  ,  ,  ,  ,  ,  ,  );


--TB1_safe_q[7] is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|safe_q[7]
TB1_safe_q[7] = DFFEAS(TB1_counter_comb_bita7, clk,  ,  ,  ,  ,  ,  ,  );


--TB1_counter_comb_bita7 is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|counter_comb_bita7
TB1_counter_comb_bita7_adder_eqn = ( GND ) + ( TB1_safe_q[7] ) + ( TB1L72 );
TB1_counter_comb_bita7 = SUM(TB1_counter_comb_bita7_adder_eqn);

--TB1L13 is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|counter_comb_bita7~COUT
TB1L13_adder_eqn = ( GND ) + ( TB1_safe_q[7] ) + ( TB1L72 );
TB1L13 = CARRY(TB1L13_adder_eqn);


--TB1_counter_comb_bita8 is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|counter_comb_bita8
TB1_counter_comb_bita8_adder_eqn = ( GND ) + ( TB1_safe_q[8] ) + ( TB1L13 );
TB1_counter_comb_bita8 = SUM(TB1_counter_comb_bita8_adder_eqn);

--TB1L53 is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|counter_comb_bita8~COUT
TB1L53_adder_eqn = ( GND ) + ( TB1_safe_q[8] ) + ( TB1L13 );
TB1L53 = CARRY(TB1L53_adder_eqn);


--TB1_counter_comb_bita9 is lpm_counter_10bit:inst29|lpm_counter:lpm_counter_component|cntr_d67:auto_generated|counter_comb_bita9
TB1_counter_comb_bita9_adder_eqn = ( GND ) + ( TB1_safe_q[9] ) + ( TB1L53 );
TB1_counter_comb_bita9 = SUM(TB1_counter_comb_bita9_adder_eqn);


--C1_state.state_twelve is thermal:inst|state.state_twelve
C1_state.state_twelve = DFFEAS(C1_state.state_eleven, TB1_safe_q[9], !start,  , C1L8,  ,  ,  ,  );


--C1_state.state_zero is thermal:inst|state.state_zero
C1_state.state_zero = DFFEAS(C1L12, TB1_safe_q[9], !start,  ,  ,  ,  ,  ,  );


--C1_state.state_seven is thermal:inst|state.state_seven
C1_state.state_seven = DFFEAS(C1L32, TB1_safe_q[9], !start,  ,  ,  ,  ,  ,  );


--C1_state.state_eight is thermal:inst|state.state_eight
C1_state.state_eight = DFFEAS(C1L42, TB1_safe_q[9], !start,  ,  ,  ,  ,  ,  );


--C1_state.state_one is thermal:inst|state.state_one
C1_state.state_one = DFFEAS(C1L52, TB1_safe_q[9], !start,  ,  ,  ,  ,  ,  );


--C1L132 is thermal:inst|count[14]~1417
C1L132 = !C1_state.state_seven & !C1_state.state_eight & !C1_state.state_one;


--C1_state.state_three is thermal:inst|state.state_three
C1_state.state_three = DFFEAS(C1L62, TB1_safe_q[9], !start,  ,  ,  ,  ,  ,  );


--C1_state.state_ten is thermal:inst|state.state_ten
C1_state.state_ten = DFFEAS(C1L72, TB1_safe_q[9], !start,  ,  ,  ,  ,  ,  );


--C1_state.state_six is thermal:inst|state.state_six
C1_state.state_six = DFFEAS(C1L82, TB1_safe_q[9], !start,  ,  ,  ,  ,  ,  );


--C1L9 is thermal:inst|Select~8268
C1L9 = C1_state.state_six & ( !A1L89 # C1_clock_control ) # !C1_state.state_six & ( !A1L89 & (C1_state.state_ten) # A1L89 & C1_clock_control & (C1_state.state_ten # C1_state.state_three) );


--C1L01 is thermal:inst|Select~8269
C1L01 = !C1L132 # C1L9 # C1_state.state_zero # C1_state.state_twelve;


--C1_state.state_w_zero is thermal:inst|state.state_w_zero
C1_state.state_w_zero = DFFEAS(C1L92, TB1_safe_q[9], !start,  ,  ,  ,  ,  ,  );


--C1_state.state_w_three is thermal:inst|state.state_w_three
C1_state.state_w_three = DFFEAS(C1L03, TB1_safe_q[9], !start,  ,  ,  ,  ,  ,  );


--C1_state.state_w_six is thermal:inst|state.state_w_six
C1_state.state_w_six = DFFEAS(C1L13, TB1_safe_q[9], !start,  ,  ,  ,  ,  ,  );


--C1_state.state_w_nine is thermal:inst|state.state_w_nine
C1_state.state_w_nine = DFFEAS(C1L23, TB1_safe_q[9], !start,  ,  ,  ,  ,  ,  );


--C1_state.state_w_five is thermal:inst|state.state_w_five
C1_state.state_w_five = DFFEAS(C1L33, TB1_safe_q[9], !start,  ,  ,  ,  ,  ,  );


--C1_state.state_w_two is thermal:inst|state.state_w_two
C1_state.state_w_two = DFFEAS(C1L43, TB1_safe_q[9], !start,  ,  ,  ,  ,  ,  );


--C1L11 is thermal:inst|Select~8270
C1L11 = !C1_state.state_w_nine & !C1_state.state_w_five & !C1_state.state_w_two;


--C1_state.state_w_ten is thermal:inst|state.state_w_ten
C1_state.state_w_ten = DFFEAS(C1L53, TB1_safe_q[9], !start,  ,  ,  ,  ,  ,  );


--C1_state.state_w_eleven is thermal:inst|state.state_w_eleven
C1_state.state_w_eleven = DFFEAS(C1L63, TB1_safe_q[9], !start,  ,  ,  ,  ,  ,  );


--C1_state.state_w_one is thermal:inst|state.state_w_one
C1_state.state_w_one = DFFEAS(C1L73, TB1_safe_q[9], !start,  ,  ,  ,  ,  ,  );