Zaslať SMS: Automatizované vyhodnocovanie HDL modelov