Invia SMS: Automatická syntéza funkčných testov VLSI obvodov