Envoyer par SMS: Survey on Machine Learning Algorithms Enhancing the Functional Verification Process