Invia SMS: Generovanie funkčných testov VLSI obvodov