Integrating Dynamic Thermal Via Planning With 3D Floorplanning - - PowerPoint PPT Presentation

integrating dynamic thermal via planning with 3d
SMART_READER_LITE
LIVE PREVIEW

Integrating Dynamic Thermal Via Planning With 3D Floorplanning - - PowerPoint PPT Presentation

Integrating Dynamic Thermal Via Planning With 3D Floorplanning Zhuoyuan Li, Xianlong Hong, Qiang Zhou, Shan Zeng, Jinian Bian EDA Lab, CS Dept, Tsinghua University Hannah Yang, Vijay Pitchumani, Strategic CAD lab, Intel Corporation Chung-Kuan


slide-1
SLIDE 1

Integrating Dynamic Thermal Via Planning With 3D Floorplanning

Zhuoyuan Li, Xianlong Hong, Qiang Zhou, Shan Zeng, Jinian Bian EDA Lab, CS Dept, Tsinghua University Hannah Yang, Vijay Pitchumani, Strategic CAD lab, Intel Corporation Chung-Kuan Cheng, CSE Dept, UCSD Thursday, April 13, 2006

slide-2
SLIDE 2

4/13/2006 ISPD 2006, San Jose CA 2

Outline

  • Background

Background

  • Previous Work

Previous Work

  • Thermal Via Planning

Thermal Via Planning

  • Thermal Model

Thermal Model

  • Heuristic Method & Divide

Heuristic Method & Divide-

  • and

and-

  • conquer Method

conquer Method

  • Our Contribution

Our Contribution

  • Our Solution

Our Solution

  • Analytical solution for detailed thermal via distribution

Analytical solution for detailed thermal via distribution

  • Integrating thermal via planning into 3D floorplanning

Integrating thermal via planning into 3D floorplanning

  • Experimental Results

Experimental Results

  • Conclusion

Conclusion

slide-3
SLIDE 3

4/13/2006 ISPD 2006, San Jose CA 3

Background

  • 3D Integration: Driving Forces

3D Integration: Driving Forces

  • Improved global

Improved global Interconnect Interconnect performance performance

  • Reduce

Reduce footprint footprint / Improve packing density / Improve packing density

“Mixed Signal Mixed Signal” ” Integration Integration

  • Challenges for 3D Integration

Challenges for 3D Integration

  • Heat Dissipation

Heat Dissipation

  • Reliability

Reliability

  • Design Complexity

Design Complexity

slide-4
SLIDE 4

4/13/2006 ISPD 2006, San Jose CA 4

Previous Work

  • UCLA, Prof. Jason

UCLA, Prof. Jason Cong Cong’ ’s s Group Group

  • Thermal

Thermal-

  • driven

driven 3D floorplanning, ICCAD 3D floorplanning, ICCAD’ ’04 04

  • 3D global routing with

3D global routing with thermal via planning thermal via planning, ASP , ASP-

  • DAC

DAC’ ’05 05

  • Post

Post-

  • floorplanning

floorplanning thermal via planning thermal via planning, ICCAD , ICCAD’ ’05 05

  • MEVA

MEVA-

  • 3D: Performance evaluation in 2D/3D designs, ASP

3D: Performance evaluation in 2D/3D designs, ASP-

  • DAC

DAC’ ’06 06

  • UMN, Prof. Sachin

UMN, Prof. Sachin Sapatnekar Sapatnekar’ ’s s Group Group

  • Thermal-driven 3D placement, ICCAD’03
  • Post

Post-

  • placement

placement thermal via planning thermal via planning, ISPD , ISPD’ ’05 05

  • Thermal

Thermal-

  • driven

driven 3D global routing, ASP 3D global routing, ASP-

  • DAC

DAC’ ’06 06

  • Gatech

Gatech, , thermal thermal/power noise/congestion optimization in 3D ICs /power noise/congestion optimization in 3D ICs (ISCAS (ISCAS’ ’04, ASP 04, ASP-

  • DAC

DAC’ ’04 & ASP 04 & ASP-

  • DAC

DAC’ ’05) 05)

  • MIT, 3D placement & routing tool for

MIT, 3D placement & routing tool for wirelength wirelength/performance and /performance and thermal thermal optimization

  • ptimization

(ASP (ASP-

  • DAC

DAC’ ’03 & ISPD 03 & ISPD’ ’04) 04)

  • U Wisconsin, Chip

U Wisconsin, Chip-

  • level 3D

level 3D Thermal Analysis Thermal Analysis Tool Tool (ISPD (ISPD’ ’03) 03)

slide-5
SLIDE 5

4/13/2006 ISPD 2006, San Jose CA 5

Thermal Model

  • Resistive Thermal Model

Resistive Thermal Model (CFD Research Corporation)

  • The 3D circuit stack is divided by a two

The 3D circuit stack is divided by a two-

  • dimensional array of tile

dimensional array of tile

  • stacks. Each tile stack is composed of several vertically
  • stacks. Each tile stack is composed of several vertically-
  • stacked tiles,

stacked tiles,

  • ne from each device layer.
  • ne from each device layer.
  • These tile stacks are connected by lateral thermal resistances.

These tile stacks are connected by lateral thermal resistances. Within Within each tile stack, a thermal resistor is modeled for each device l each tile stack, a thermal resistor is modeled for each device layer. ayer.

  • Through solving the linear system

Through solving the linear system RT = P RT = P, the temperature on each , the temperature on each node could be determined. node could be determined.

slide-6
SLIDE 6

4/13/2006 ISPD 2006, San Jose CA 6

Inter-layer Layer 4 Layer 3 Layer 2 Layer 1 Substrate Inter-layer Inter-layer Q Q Q Q

  • Thermal via number is in proportional to the

Thermal via number is in proportional to the heat flow inside that tile heat flow inside that tile

  • Thermal via number in the figure is

Thermal via number in the figure is

Thermal Via Planning

  • Thermal Vias

Thermal Vias

  • Lowering the thermal resistance between

Lowering the thermal resistance between different layers different layers

  • Thermal resistance:

Thermal resistance:

via layer e

R R R 1 1 1 + =

  • Heuristic Method for T

Heuristic Method for T-

  • Via Planning

Via Planning

k j k j

I I n n : : =

I4=Q I3=2Q I2=3Q I1=4Q

3 : 2 : 1 : :

2 3 4

= n n n

  • T

T-

  • Via number should be minimized and they are

Via number should be minimized and they are placed to hot areas to make the greatest impact. placed to hot areas to make the greatest impact.

slide-7
SLIDE 7

4/13/2006 ISPD 2006, San Jose CA 7

Thermal Via Planning

  • Heuristic Method (ASP

Heuristic Method (ASP-

  • DAC

DAC’ ’05 & ISPD 05 & ISPD’ ’05) 05)

  • 1. Initialize tile grids on floorplanning/placement results;
  • 1. Initialize tile grids on floorplanning/placement results;
  • 2. Temperature analysis by solving linear equations;
  • 2. Temperature analysis by solving linear equations;
  • 3. If temperature constraint is satisfied, exit;
  • 3. If temperature constraint is satisfied, exit;
  • 4. Update heat flow in each tile;
  • 4. Update heat flow in each tile;
  • 5. Assign thermal vias to each tile;
  • 5. Assign thermal vias to each tile;
  • 6. Update thermal resistance of each tile, Goto 2.
  • 6. Update thermal resistance of each tile, Goto 2.
  • Divide

Divide-

  • and

and-

  • conquer Method (ICCAD

conquer Method (ICCAD’ ’05) 05)

  • Given initial floorplanning results, determine vertical and hor

Given initial floorplanning results, determine vertical and horizontal izontal thermal via distribution sequentially; thermal via distribution sequentially;

  • Vertical thermal via distribution: analytical solution;

Vertical thermal via distribution: analytical solution;

  • Horizontal thermal via distribution with

Horizontal thermal via distribution with heuristic method heuristic method. .

  • Implemented in a multi

Implemented in a multi-

  • level global routing framework.

level global routing framework.

  • Drawbacks: (i) The heuristic method cannot generate optimal T

Drawbacks: (i) The heuristic method cannot generate optimal T-

  • Via

Via planning; (ii) It is too time consuming to be integrated into planning; (ii) It is too time consuming to be integrated into floorplanning floorplanning

slide-8
SLIDE 8

4/13/2006 ISPD 2006, San Jose CA 8

  • Analytical solution for thermal via planning

Analytical solution for thermal via planning

  • Heuristic method:

Heuristic method:

  • Divide

Divide-

  • and

and-

  • conquer method:

conquer method:

  • Our solution

Our solution

  • 1. Optimal solution for detailed thermal via distribution;
  • 1. Optimal solution for detailed thermal via distribution;
  • 2. Analytical solution with low computational complexity.
  • 2. Analytical solution with low computational complexity.

Our Contributions

j i j i

I I n n : : =

j i j i

I I n n : : =

j i j i j i j i

I I n n Horizontal I I n n Vertical : : : : : : = =

  • Integrate thermal via planning into hierarchical 3D

Integrate thermal via planning into hierarchical 3D floorplanning floorplanning

  • Inter

Inter-

  • layer partition problem to minimize total number of thermal

layer partition problem to minimize total number of thermal vias vias are formulated and solved. are formulated and solved.

  • Fast white space redistribution to generate

Fast white space redistribution to generate floorplans floorplans feasible for feasible for thermal via insertion. thermal via insertion.

slide-9
SLIDE 9

4/13/2006 ISPD 2006, San Jose CA 9

Our Solution: V-TV Distribution

  • Temperature rise on the

Temperature rise on the i i-

  • th layer

th layer

amb i l k l j j l k j j b i

T P R P R T + + =

∑ ∑ ∑

= = = 2 1

) (

s l K R × = α

layer i via i

K m K m K ) 1 ( − + =

  • Thermal conductivity calculation

Thermal conductivity calculation

  • The relationship between

The relationship between R R and and K K

) ( ) (

i i

m F R F T = =

slide-10
SLIDE 10

4/13/2006 ISPD 2006, San Jose CA 10

V-TV Distribution: Analytical Solution

  • Temperature

Temperature-

  • constrained vertical thermal via planning problem:

constrained vertical thermal via planning problem:

layer layer via amb k j j b k i k i j j i layer k i i

K K K T T P R P m R t s m − = ≤ + + +

∑ ∑ ∑ ∑

= = = =

λ λ

1 2 2

) 1 ( . . min

∑ ∑ ∑ ∑

= = = =

− − = ∆ + − ∆ + =

k j j b amb k i k i j j i layer k i i

P R T T T where P m R T m f

1 2 2

) ) 1 ( ( λ µ k i m f

i

≤ ≤ = ∂ ∂ 2 , /

  • The convex programming problem could be solved directly by

The convex programming problem could be solved directly by KKT KKT

  • ptimal condition.
  • ptimal condition.

, / ) 1 (

1 2 2 2

λ − − − =

=

I R T T I I R m

b amb k i i layer

k i I I m m

i i i i

≤ ≤ = + +

− −

2 , : 1 : 1

1 1

λ λ

=

=

k i l l i

P I where

slide-11
SLIDE 11

4/13/2006 ISPD 2006, San Jose CA 11

Our Solution: H-TV Distribution

  • Optimal V

Optimal V-

  • TV Distribution: Desired temperature rise on each layer

TV Distribution: Desired temperature rise on each layer

  • Vertical heat flow in a grid is the sum of heat flow from all o

Vertical heat flow in a grid is the sum of heat flow from all other grids ther grids

=

i ijk jk

H I

amb i l k l j j l k j j b i

T P R P R T + + =

∑ ∑ ∑

= = = 2 ' 1

) (

  • Desired thermal gradient for each tile

Desired thermal gradient for each tile

ik ik i i i

R I T T T = ∆ = −

−1

  • Heat Flow Analysis

Heat Flow Analysis

Ii,k+1 Pi,k Hi,j Ij,k+1 Pj,k Ii,k Ij,k

+

+ =

l il ij i k ki ijk

R R I P H 1 / 1 ) (

, 1

ij h i ij

l R R R + =

  • Heat flow from a grid to other gird is inversely

Heat flow from a grid to other gird is inversely proportional to the thermal resistance of the proportional to the thermal resistance of the flow path. flow path.

  • I

I is related to is related to R R so it should be updated frequently. so it should be updated frequently.

) (

ik

R f = ) (

ik

m g = ) (

ik

m f =

slide-12
SLIDE 12

4/13/2006 ISPD 2006, San Jose CA 12

H-TV Distribution: Analytical Solution

  • Temperature

Temperature-

  • constrained horizontal thermal via planning problem:

constrained horizontal thermal via planning problem:

N k T R R I P R I R t s m min

i N j N l ijl ijk j i ij ik ik ik N k ik

, , 1 / 1 / 1 ) ( . .

1 1 , 1 1

K = ∆ ≤ + × = ×

∑ ∑ ∑

= = + =

N s k l I P l I P m m

N j js j i ij N j jk j i ij is ik

≤ ≤ + + =

∑ ∑

= + = +

, 1 , : :

1 , 1 1 , 1

i N k N j ik jk h j i ij i N k ik

T N R l R I P R t s m min ∆ ≤ + +

∑ ∑ ∑

= = + = 1 1 , 1 1

/ 1 1 . .

is ik is ik

I I m m : : =

  • Simplified convex programming problem formulation:

Simplified convex programming problem formulation:

  • Nearly optimal solution for CP:

Nearly optimal solution for CP:

slide-13
SLIDE 13

4/13/2006 ISPD 2006, San Jose CA 13

Design Flow of 3D FP-TVP

  • Hierarchical 3D Floorplanning

Hierarchical 3D Floorplanning

  • Partition blocks into different layers

Partition blocks into different layers

  • Generate floorplans for all these layers

Generate floorplans for all these layers

  • This 3D floorplanning flow has been

This 3D floorplanning flow has been implemented for wirelength optimization implemented for wirelength optimization (ISCAS (ISCAS’ ’05) and thermal optimization 05) and thermal optimization (TODAES (TODAES’ ’06). 06).

  • Smaller solution space

Smaller solution space

  • More stable for thermal optimization

More stable for thermal optimization

  • Key Problem:

Key Problem:

  • Formulate and solve the inter

Formulate and solve the inter-

  • layer partitioning problem for thermal via

layer partitioning problem for thermal via planning. planning.

slide-14
SLIDE 14

4/13/2006 ISPD 2006, San Jose CA 14

Inter-layer Partitioning

  • Problem Formulation:

Problem Formulation:

k i k A A const P t s m

i k i i k i i

≤ ≤ ≤ ≤ =

∑ ∑

= =

1 , | / | 1 . . min

1 2

β β

k i k A A const P t s P

i k i i k l k l i i

≤ ≤ ≤ ≤ =

∑ ∑ ∑

= = =

1 , | / | 1 . . min

1 2

β β

k const R T T P R m

b amb k i k i l l layer k i i

− × − − =

∑ ∑ ∑

= = =

) ( ) (

2 2 2

λ

β β ≤ ≤ | / | 1 . . max

1 1

k A A t s P

k i k A A const P const P t s const P P P

i k i i k l k l i i k i i k l k l i i

≤ ≤ ≤ ≤ = − = + = +

∑ ∑ ∑ ∑ ∑ ∑

= = = = = =

2 , | / | 1 ' . . ' min

* 1 2 3 2 3

β β

Solving knapsack problem: determine P1

  • Solution Method:

Solution Method:

  • The inter

The inter-

  • layer partitioning problem could be solved through solving a

layer partitioning problem could be solved through solving a sequence of knapsack sub sequence of knapsack sub-

  • problems.

problems.

β β ≤ ≤ | / | 1 . . max

2 2

k A A t s P

slide-15
SLIDE 15

4/13/2006 ISPD 2006, San Jose CA 15

3D FP with T-Via Planning

  • Inter

Inter-

  • layer partitioning: determine desired temperature on each layer.

layer partitioning: determine desired temperature on each layer.

  • Floorplanning using SA engine based on CBL representation

Floorplanning using SA engine based on CBL representation

  • Cost function:

Cost function:

  • Thermal resistances are updated after horizontal thermal via pl

Thermal resistances are updated after horizontal thermal via planning anning and the maximal temperature is calculated by solving linear equa and the maximal temperature is calculated by solving linear equations. tions.

) (

max 2 1

T T w W w A − + + = Ψ

  • Thermal vias should be arranged in the white space between block

Thermal vias should be arranged in the white space between blocks. s.

  • White space resources may be

White space resources may be not enough for thermal via insertion not enough for thermal via insertion in hot area. in hot area.

  • A fast and simple white space redistribution method is proposed

A fast and simple white space redistribution method is proposed to deal to deal with it during with it during floorplanning floorplanning process. process.

slide-16
SLIDE 16

4/13/2006 ISPD 2006, San Jose CA 16

Experimental Results

  • Compare our algorithm with UCLA

Compare our algorithm with UCLA’ ’s algorithm in ICCAD s algorithm in ICCAD’ ’05 05

slide-17
SLIDE 17

4/13/2006 ISPD 2006, San Jose CA 17

Conclusion

  • Mathematical modeling and analytical solution for minimizing the

Mathematical modeling and analytical solution for minimizing thermal via rmal via number with maximal temperature constraint. number with maximal temperature constraint.

  • Optimal vertical thermal via distribution.

Optimal vertical thermal via distribution.

  • Nearly optimal horizontal thermal via distribution.

Nearly optimal horizontal thermal via distribution.

  • Thermal via planning is integrated into 3D floorplanning process

Thermal via planning is integrated into 3D floorplanning process with our with our two two-

  • stage approach.

stage approach.

  • Inter

Inter-

  • layer partitioning problem is formulated and solved for thermal

layer partitioning problem is formulated and solved for thermal via via number minimization. number minimization.

  • Fast white space redistribution method is proposed for thermal

Fast white space redistribution method is proposed for thermal via via insertion during floorplanning. insertion during floorplanning.

slide-18
SLIDE 18

Thank you!