Simultaneous scheduling, binding and layer assignment for synthesis of vertically integrated 3D systems | IEEE Conference Publication | IEEE Xplore