Automatic synthesis of zero-aliasing space compactors with application to testing of embedded IP cores | Publicación