Low power and reliable design methodologies for 3D Ics