Text this: A method for redesign for testability at the RT level