Zaslať SMS: Automatizované vyhodnocovanie VHDL modelov