Introducing redundant transformations for built-in self-testable data path allocation | IEEE Conference Publication | IEEE Xplore