thermal_top.map.eqn

基于SIIGX的PCIe的Kit

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


--C1L232 is thermal:inst|count[14]~1418
C1L232 = !C1_state.state_w_eleven & !C1_state.state_w_one & !C1_state.state_w_twelve;


--C1L972 is thermal:inst|reduce_nor~0
C1L972 = C1_state.state_w_ten & C1L232 # !C1_state.state_w_ten & C1L232 & ( !C1_state.state_w_zero # !C1L11 # C1_state.state_w_six # C1_state.state_w_three ) # C1_state.state_w_ten & !C1L232 # !C1_state.state_w_ten & !C1L232;


--C1L21 is thermal:inst|Select~8271
C1L21 = A1L89 & (C1_state.state_w_six # C1_state.state_w_three);


--C1L31 is thermal:inst|Select~8272
C1L31 = C1L21 & ( !C1_state.state_w_zero # !C1L232 # C1_clock_control ) # !C1L21 & ( !C1_state.state_w_zero # !C1L232 # C1_clock_control & C1_state.state_w_ten );


--C1L41 is thermal:inst|Select~8273
C1L41 = C1L31 & ( !C1L1 # C1_clock_control & C1L972 # C1L01 ) # !C1L31 & ( !C1L1 & C1_clock_control & (!C1L972) # C1L1 & (C1_clock_control & C1L972 # C1L01) );


--C1L072 is thermal:inst|data_read[0]~51
C1L072 = C1L1 & C1_state.state_eleven & start;


--C1L78 is thermal:inst|add~751
C1L78_adder_eqn = ( C1_count[0] ) + ( VCC ) + ( GND );
C1L78 = SUM(C1L78_adder_eqn);

--C1L88 is thermal:inst|add~752
C1L88_adder_eqn = ( C1_count[0] ) + ( VCC ) + ( GND );
C1L88 = CARRY(C1L88_adder_eqn);


--C1L19 is thermal:inst|add~755
C1L19_adder_eqn = ( C1_count[1] ) + ( VCC ) + ( C1L88 );
C1L19 = SUM(C1L19_adder_eqn);

--C1L29 is thermal:inst|add~756
C1L29_adder_eqn = ( C1_count[1] ) + ( VCC ) + ( C1L88 );
C1L29 = CARRY(C1L29_adder_eqn);


--C1L59 is thermal:inst|add~759
C1L59_adder_eqn = ( C1_count[2] ) + ( VCC ) + ( C1L29 );
C1L59 = SUM(C1L59_adder_eqn);

--C1L69 is thermal:inst|add~760
C1L69_adder_eqn = ( C1_count[2] ) + ( VCC ) + ( C1L29 );
C1L69 = CARRY(C1L69_adder_eqn);


--C1L99 is thermal:inst|add~763
C1L99_adder_eqn = ( C1_count[3] ) + ( VCC ) + ( C1L69 );
C1L99 = SUM(C1L99_adder_eqn);

--C1L001 is thermal:inst|add~764
C1L001_adder_eqn = ( C1_count[3] ) + ( VCC ) + ( C1L69 );
C1L001 = CARRY(C1L001_adder_eqn);


--C1L301 is thermal:inst|add~767
C1L301_adder_eqn = ( C1_count[4] ) + ( VCC ) + ( C1L001 );
C1L301 = SUM(C1L301_adder_eqn);

--C1L401 is thermal:inst|add~768
C1L401_adder_eqn = ( C1_count[4] ) + ( VCC ) + ( C1L001 );
C1L401 = CARRY(C1L401_adder_eqn);


--C1L701 is thermal:inst|add~771
C1L701_adder_eqn = ( C1_count[5] ) + ( VCC ) + ( C1L401 );
C1L701 = SUM(C1L701_adder_eqn);

--C1L801 is thermal:inst|add~772
C1L801_adder_eqn = ( C1_count[5] ) + ( VCC ) + ( C1L401 );
C1L801 = CARRY(C1L801_adder_eqn);


--C1L111 is thermal:inst|add~775
C1L111_adder_eqn = ( C1_count[6] ) + ( VCC ) + ( C1L801 );
C1L111 = SUM(C1L111_adder_eqn);

--C1L211 is thermal:inst|add~776
C1L211_adder_eqn = ( C1_count[6] ) + ( VCC ) + ( C1L801 );
C1L211 = CARRY(C1L211_adder_eqn);


--C1L511 is thermal:inst|add~779
C1L511_adder_eqn = ( C1_count[7] ) + ( VCC ) + ( C1L211 );
C1L511 = SUM(C1L511_adder_eqn);

--C1L611 is thermal:inst|add~780
C1L611_adder_eqn = ( C1_count[7] ) + ( VCC ) + ( C1L211 );
C1L611 = CARRY(C1L611_adder_eqn);


--C1L911 is thermal:inst|add~783
C1L911_adder_eqn = ( C1_count[8] ) + ( VCC ) + ( C1L611 );
C1L911 = SUM(C1L911_adder_eqn);

--C1L021 is thermal:inst|add~784
C1L021_adder_eqn = ( C1_count[8] ) + ( VCC ) + ( C1L611 );
C1L021 = CARRY(C1L021_adder_eqn);


--C1L51 is thermal:inst|Select~8274
C1L51 = !C1L1 & (C1_state.state_w_six # C1_state.state_w_three) # C1L1 & C1_state.state_three;


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


--C1L332 is thermal:inst|count[14]~1419
C1L332 = C1_state.state_two & ( C1_state.state_w_two # C1L1 ) # !C1_state.state_two & ( !C1L1 & (C1_state.state_w_two) # C1L1 & (C1_state.state_twelve # C1_state.state_eleven) );


--C1L432 is thermal:inst|count[14]~1420
C1L432 = C1_state.state_w_zero & ( !C1L1 # !C1_state.state_zero & !C1_state.state_ten & !C1_state.state_six ) # !C1_state.state_w_zero & ( C1L1 & !C1_state.state_zero & !C1_state.state_ten & !C1_state.state_six );


--C1L532 is thermal:inst|count[14]~1421
C1L532 = !C1L51 & (!C1L332 & (C1L432) # C1L332 & C1L182);


--C1L61 is thermal:inst|Select~8275
C1L61 = !C1L1 & C1L972;


--C1L632 is thermal:inst|count[14]~1422
C1L632 = !C1L972 & ( C1L1 & C1L132 & (!A1L89 # !C1_state.state_three) );


--C1L732 is thermal:inst|count[14]~1423
C1L732 = C1L61 & C1L632 & ( start ) # !C1L61 & C1L632 & ( start ) # C1L61 & !C1L632 & ( start & !C1_state.state_w_ten & C1L232 & !C1L21 );


--C1L321 is thermal:inst|add~787
C1L321_adder_eqn = ( C1_count[9] ) + ( VCC ) + ( C1L021 );
C1L321 = SUM(C1L321_adder_eqn);

--C1L421 is thermal:inst|add~788
C1L421_adder_eqn = ( C1_count[9] ) + ( VCC ) + ( C1L021 );
C1L421 = CARRY(C1L421_adder_eqn);


--C1L721 is thermal:inst|add~791
C1L721_adder_eqn = ( C1_count[10] ) + ( VCC ) + ( C1L421 );
C1L721 = SUM(C1L721_adder_eqn);

--C1L821 is thermal:inst|add~792
C1L821_adder_eqn = ( C1_count[10] ) + ( VCC ) + ( C1L421 );
C1L821 = CARRY(C1L821_adder_eqn);


--C1L131 is thermal:inst|add~795
C1L131_adder_eqn = ( C1_count[11] ) + ( VCC ) + ( C1L821 );
C1L131 = SUM(C1L131_adder_eqn);

--C1L231 is thermal:inst|add~796
C1L231_adder_eqn = ( C1_count[11] ) + ( VCC ) + ( C1L821 );
C1L231 = CARRY(C1L231_adder_eqn);


--C1L531 is thermal:inst|add~799
C1L531_adder_eqn = ( C1_count[12] ) + ( VCC ) + ( C1L231 );
C1L531 = SUM(C1L531_adder_eqn);

--C1L631 is thermal:inst|add~800
C1L631_adder_eqn = ( C1_count[12] ) + ( VCC ) + ( C1L231 );
C1L631 = CARRY(C1L631_adder_eqn);


--C1L931 is thermal:inst|add~803
C1L931_adder_eqn = ( C1_count[13] ) + ( VCC ) + ( C1L631 );
C1L931 = SUM(C1L931_adder_eqn);

--C1L041 is thermal:inst|add~804
C1L041_adder_eqn = ( C1_count[13] ) + ( VCC ) + ( C1L631 );
C1L041 = CARRY(C1L041_adder_eqn);


--C1L341 is thermal:inst|add~807
C1L341_adder_eqn = ( C1_count[14] ) + ( VCC ) + ( C1L041 );
C1L341 = SUM(C1L341_adder_eqn);

--C1L441 is thermal:inst|add~808
C1L441_adder_eqn = ( C1_count[14] ) + ( VCC ) + ( C1L041 );
C1L441 = CARRY(C1L441_adder_eqn);


--C1L741 is thermal:inst|add~811
C1L741_adder_eqn = ( C1_count[15] ) + ( VCC ) + ( C1L441 );
C1L741 = SUM(C1L741_adder_eqn);

--C1L841 is thermal:inst|add~812
C1L841_adder_eqn = ( C1_count[15] ) + ( VCC ) + ( C1L441 );
C1L841 = CARRY(C1L841_adder_eqn);


--C1L151 is thermal:inst|add~815
C1L151_adder_eqn = ( C1_count[16] ) + ( VCC ) + ( C1L841 );
C1L151 = SUM(C1L151_adder_eqn);

--C1L251 is thermal:inst|add~816
C1L251_adder_eqn = ( C1_count[16] ) + ( VCC ) + ( C1L841 );
C1L251 = CARRY(C1L251_adder_eqn);


--C1L551 is thermal:inst|add~819
C1L551_adder_eqn = ( C1_count[17] ) + ( VCC ) + ( C1L251 );
C1L551 = SUM(C1L551_adder_eqn);

--C1L651 is thermal:inst|add~820
C1L651_adder_eqn = ( C1_count[17] ) + ( VCC ) + ( C1L251 );
C1L651 = CARRY(C1L651_adder_eqn);


--C1L951 is thermal:inst|add~823
C1L951_adder_eqn = ( C1_count[18] ) + ( VCC ) + ( C1L651 );
C1L951 = SUM(C1L951_adder_eqn);

--C1L061 is thermal:inst|add~824
C1L061_adder_eqn = ( C1_count[18] ) + ( VCC ) + ( C1L651 );
C1L061 = CARRY(C1L061_adder_eqn);


--C1L361 is thermal:inst|add~827
C1L361_adder_eqn = ( C1_count[19] ) + ( VCC ) + ( C1L061 );
C1L361 = SUM(C1L361_adder_eqn);

--C1L461 is thermal:inst|add~828
C1L461_adder_eqn = ( C1_count[19] ) + ( VCC ) + ( C1L061 );
C1L461 = CARRY(C1L461_adder_eqn);


--C1L761 is thermal:inst|add~831
C1L761_adder_eqn = ( C1_count[20] ) + ( VCC ) + ( C1L461 );
C1L761 = SUM(C1L761_adder_eqn);

--C1L861 is thermal:inst|add~832
C1L861_adder_eqn = ( C1_count[20] ) + ( VCC ) + ( C1L461 );
C1L861 = CARRY(C1L861_adder_eqn);


--C1L171 is thermal:inst|add~835
C1L171_adder_eqn = ( C1_count[21] ) + ( VCC ) + ( C1L861 );
C1L171 = SUM(C1L171_adder_eqn);

--C1L271 is thermal:inst|add~836
C1L271_adder_eqn = ( C1_count[21] ) + ( VCC ) + ( C1L861 );
C1L271 = CARRY(C1L271_adder_eqn);


--C1L571 is thermal:inst|add~839
C1L571_adder_eqn = ( C1_count[22] ) + ( VCC ) + ( C1L271 );
C1L571 = SUM(C1L571_adder_eqn);

--C1L671 is thermal:inst|add~840
C1L671_adder_eqn = ( C1_count[22] ) + ( VCC ) + ( C1L271 );
C1L671 = CARRY(C1L671_adder_eqn);


--C1L971 is thermal:inst|add~843
C1L971_adder_eqn = ( C1_count[23] ) + ( VCC ) + ( C1L671 );
C1L971 = SUM(C1L971_adder_eqn);

--C1L081 is thermal:inst|add~844
C1L081_adder_eqn = ( C1_count[23] ) + ( VCC ) + ( C1L671 );
C1L081 = CARRY(C1L081_adder_eqn);


--C1L381 is thermal:inst|add~847
C1L381_adder_eqn = ( C1_count[24] ) + ( VCC ) + ( C1L081 );
C1L381 = SUM(C1L381_adder_eqn);

--C1L481 is thermal:inst|add~848
C1L481_adder_eqn = ( C1_count[24] ) + ( VCC ) + ( C1L081 );
C1L481 = CARRY(C1L481_adder_eqn);


--C1L781 is thermal:inst|add~851
C1L781_adder_eqn = ( C1_count[25] ) + ( VCC ) + ( C1L481 );
C1L781 = SUM(C1L781_adder_eqn);

--C1L881 is thermal:inst|add~852
C1L881_adder_eqn = ( C1_count[25] ) + ( VCC ) + ( C1L481 );
C1L881 = CARRY(C1L881_adder_eqn);


--C1L191 is thermal:inst|add~855
C1L191_adder_eqn = ( C1_count[26] ) + ( VCC ) + ( C1L881 );
C1L191 = SUM(C1L191_adder_eqn);