Envoyer par SMS: Automatizované vyhodnocovanie HDL modelov