A resource binding technique for TSV number minimization in high-level synthesis of 3D ICs | IEEE Conference Publication | IEEE Xplore