High-level variable selection for partial-scan implementation | IEEE Conference Publication | IEEE Xplore