Describir: Generovanie funkčných testov VLSI obvodov