Guaranteeing testability in re-encoding for low power | IEEE Conference Publication | IEEE Xplore