Application of Lifting in Partial Design Analysis | IEEE Conference Publication | IEEE Xplore