Describir: Automatizované vyhodnocovanie HDL modelov