An effective model for evaluating vertical propagation delay in TSV-based 3-D ICs | IEEE Conference Publication | IEEE Xplore