Text this: An approach for redesign for testability at the register-transfer level