High-level variable selection for partial-scan implementation