Challenges in verifying an integrated 3D design. - Tsunwai Gary Yip; Chuan Yung Hung; Venu Iyengar (DATE, 2012)