Envoyer par SMS: Automatizované vyhodnocovanie VHDL modelov