Electrical and thermal analysis for design exchange formats in three dimensional integrated circuits | IEEE Conference Publication | IEEE Xplore