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