Describir: Návrh prostriedkov pre automatizované testovanie integrovaných obvodov