A novel design and verification framework for low vertical link density 3D network-on-chip based many core embedded systems - Ying, Haoyuan M. Sc. 1986- (Technische Universität Darmstadt, 2015)