Design methodologies and tools for vertically integrated circuits. - Charalampos Kalargaris (2017)