Text this: Automatizované vyhodnocovanie VHDL modelov