SMS versenden: Automatizované vyhodnocovanie VHDL modelov