Theoretical and experimental investigations of connectivity in three-dimensional integrated circuits