CAD tools and methodologies for reliable 3D IC design, analysis, and optimization