Silicon-package co-verification for 2.5D/3D applications | IEEE Conference Publication | IEEE Xplore