Verification Of Integrated Subsystems | IEEE Conference Publication | IEEE Xplore