Synthesis of single-output space compactors with application to scan-based IP cores