Envoyer par SMS: Generovanie testov pre asynchrónne sekvenčné digitálne obvody