Thermal-reliable 3D clock-tree synthesis considering nonlinear electrical-thermal-coupled TSV model | IEEE Conference Publication | IEEE Xplore