# Proof of the Two-Terminal Via Placement Heuristic

A formal proof of the two terminal heuristic for placing intertier vias (e.g., TSVs) is described in this appendix. Consider the following expression that describes the critical point (i.e., the derivative of the delay is set equal to zero) for placing a via *v*_{j}, as illustrated in Fig. C.1,

${x}_{j}^{*}=-\left[\frac{{l}_{vj}\left({r}_{j}{c}_{vj}-{r}_{vj}{c}_{j+1}+{r}_{j+1}{c}_{j+1}-{r}_{j}{c}_{j+1}\right)+{R}_{uj}\left({c}_{j}-{c}_{j+1}\right)+\mathrm{\Delta}{x}_{j}\left({r}_{j}-{r}_{j+1}\right){c}_{j+1}+{C}_{dj}\left({r}_{j}-{r}_{j+1}\right)}{{r}_{j}{c}_{j}-2{r}_{j}{c}_{j+1}+{r}_{j+1}{c}_{j+1}}\right].$ (C.1)

Get *Three-Dimensional Integrated Circuit Design, 2nd Edition* now with the O’Reilly learning platform.

O’Reilly members experience live online training, plus books, videos, and digital content from nearly 200 publishers.