Envoyer par SMS: Design for testability method at register transfer level