Design Through Testability - An Example