Challenges in verifying an integrated 3D design | IEEE Conference Publication | IEEE Xplore